On a comparison of Gauss sums with products of Lagrange resolvents
Let be a rational prime, be a finite extension of the field of -adic numbers, and let be a totally ramified cyclic extension of degree . Restrict the first ramification number of to about half of its possible values, where denotes the absolute ramification index of . Under this loose condition, we explicitly determine the -module structure of the ring of integers of , where denotes the -adic integers and denotes the Galois group Gal. In the process of determining this structure,...
0. Introduction. Since ℤ is a principal ideal domain, every finitely generated torsion-free ℤ-module has a finite ℤ-basis; in particular, any fractional ideal in a number field has an "integral basis". However, if K is an arbitrary number field the ring of integers, A, of K is a Dedekind domain but not necessarily a principal ideal domain. If L/K is a finite extension of number fields, then the fractional ideals of L are finitely generated and torsion-free (or, equivalently, finitely generated and...
Let be a finite abelian extension of , with the ring of algebraic integers of . We investigate the Galois structure of the unique fractional -ideal which (if it exists) is unimodular with respect to the trace form of .
Let be a CM number field, an odd prime totally split in , and let be the -adic analytic space parameterizing the isomorphism classes of -dimensional semisimple -adic representations of satisfying a selfduality condition “of type ”. We study an analogue of the infinite fern of Gouvêa-Mazur in this context and show that each irreducible component of the Zariski-closure of the modular points in has dimension at least . As important steps, and in any rank, we prove that any first order...