On 3-class groups of non-Galois cubic fields
In this paper we introduce multiplicative lattices in and determine finite unions of suitable simplices as fundamental domains for sublattices of finite index. For this we define cyclic non-negative bases in arbitrary lattices. These bases are then used to calculate Shintani cones in totally real algebraic number fields. We mainly concentrate our considerations to lattices in two and three dimensions corresponding to cubic and quartic fields.
Let be a number field generated by a complex root of a monic irreducible polynomial , , is a square free rational integer. We prove that if or and , then the number field is monogenic. If or , then the number field is not monogenic.
Let be a square free integer and . In the present work we determine all the fields such that the -class group, , of is of type or .
We study a certain finitely generated multiplicative subgroup of the Hilbert class field of a quartic CM field. It consists of special values of certain theta functions of genus 2 and is analogous to the group of Siegel units. Questions of integrality of these specials values are related to the arithmetic of the Siegel moduli space.
Let ϵ be a totally real cubic algebraic unit. Assume that the cubic number field ℚ(ϵ) is Galois. Let ϵ, ϵ' and ϵ'' be the three real conjugates of ϵ. We tackle the problem of whether {ϵ,ϵ'} is a system of fundamental units of the cubic order ℤ[ϵ,ϵ',ϵ'']. Given two units of a totally real cubic order, we explain how one can prove that they form a system of fundamental units of this order. Several explicit families of totally real cubic orders defined by parametrized families of cubic polynomials...
We study the capitulation of -ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields , where and are different primes. For each of the three quadratic extensions inside the absolute genus field of , we determine a fundamental system of units and then compute the capitulation kernel of . The generators of the groups and are also determined from which we deduce that is smaller than the relative genus field . Then we prove that each...