Wednesday, 30 June 2010

nt.number theory - Generators of the Principal Unit Group in Local Fields of Characteristic 0

Let p be a prime, L be a finite, totally ramified-extension of Qp, and U be the group of principal units in the ring of integers of L. Then U is a finitely generated mathbbZp-module under exponentiation. I'm looking for an explicit set of generators for U under this action; is there a resource where I can find this information?



Thanks Robin but am I afraid I need more control on the set of generators. In particular, I'm interested if G is a set of generators of the value m = max {vL(g1):ginG}

No comments:

Post a Comment