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(g−1):ginG}
No comments:
Post a Comment