The "Bible" of Algebraic Numbers:
In his famous "Zahlbericht"  HILBERT (1862 - 1943) states a series of theorems (nrs. 90 to 94) on relatively cyclic fields that forms the basis for the impressive building of classfield theory, which has been braught to perfection by Weber, Takagi, Artin, Furtwängler, and Hasse.
Three of these theorems and certain extensions are essential for my classification of cubic fields according to their ambiguous principal ideals and shall be expressed here in different formulations.
We assume that K | k is a cyclic relative extension of algebraic number fields with relative Galois group G = Gal(K | k) generated by a substitution S, i. e., G = < S >.
As a theorem on numbers with relative norm 1: Any number A in K with relative norm Nk( A ) = 1 with respect to k is the symbolic ( 1 - S )th power of an algebraic integer B in K, A = B1 - S.
As a theorem of homological algebra: Kx * ker( Nk ) / ( Kx )1 - S = H1( G, Kx ) = 1. The 1st cohomology group of G in Kx is trivial. (* denotes the intersection)
Generalization: Now let K | k be a GALOIS relative extension of algebraic number fields.
Any 1-cochain of G in Kx, ( AS )S in G in ( Kx )G, which is a crossed homomorphism, i. e., AST = AS ATS for all S,T in G, can be represented as a 1-coboundary of G in Kx, ( AS )S in G = ( B1 - S )S in G with an algebraic integer B of K.
Assumptions: From now on let the relative degree [ K : k ] be a prime number p. In the case p = 2, suppose that the number of real conjugate fields of K is twice the number of real conjugate fields of k.
As a theorem on the existence of a unit with relative norm 1, that cannot be represented as a quotient of two relatively conjugate units: In K there exists a unit H with relative norm Nk( H ) = 1 with respect to k, which is not the symbolic ( 1 - S )th power of a unit in K.
As a theorem of homological algebra: UK * ker( Nk ) / UK1 - S = H1( G, UK ) < > 1. The 1st cohomology group of G in UK is not trivial. (* denotes the intersection and UK * ker( Nk ) will be abbreviated as EK|k)
Fundamental theorem on relatively cyclic fields with the relative different 1. Let the relative different of K with respect to k be Dk = (1). Then we have the following facts: There exists an ideal j in k, which is not a principal ideal in k, but becomes principal in K: j = ( A ). The p-th power of this ideal is a principal ideal already in k, jp = ( Nk( A ) ), and therefore its class has order p, [ j ]p = 1. Another formulation: neither the principalization kernel PK * Ik / Pk of K | k nor the p-elementary class group Ck,p of k are trivial, and K is an (unramified) HILBERT classfield of k. (* denotes the intersection)
Application to Cubic Fields:
The normal field N of a non-Galois cubic field K is cyclic of prime degree [ N : k ] = 3 over its quadratic subfield k. A fundamental unit e in the subgroup E0 of EN|k generated by all subfield units of N ("old units" in the terminology of A. Scholz) with positive norm can be represented as a quotient of relatively conjugates of an algebraic integer in N, according to Hilbert's Theorem 90. For the shape of this algebraic integer of N we have several possibilities (cfr.  ):
|e = A1-S||e = B1-S||e = E1-S||e = H1-S||e = Z1-S|
|(A) = a||(B) = L1-T||E in EN|k||Nk(H) = eta||Nk(Z) = zeta|
In the first two cases, the fundamental unit e of the cubic field K can be represented as a quotient e = X1 - S of relatively conjugates in the normal field N only by means of a non-unit X.
1. e = A1 - S with a non-unit A of N, whose principal ideal (A) = a is an extension ideal of an ideal a of k but not of a principal ideal of k (more detailed: AON = aON with the maximal order ON of N). According to a definition of Moriya, e is an element of the group E1 of relative units of the 1st kind of N | k and the principal ideal (A) = a lies in the capitulation kernel PN * Ik / Pk of N | k. (* denotes the intersection)
2. e = B1 - S with a non-unit B of N, whose principal ideal (B) = L1 - T is composed in a characteristic manner of the prime ideals L1,L1T,...,Ls,LsT of N lying over the finitely many prime ideals l1,...,ls of K that split in N | K and divide the relative different of N | k: L is a certain product of these overlying prime ideals and of their squares. Hence the principal ideal (B) = L1 - T belongs to the group DN|k-Ik / Ik of relatively ambiguous principal ideals of N | k and thus it lies in the kernel of the norm of N | K. Here we define DN|k- = PN * < L11 - T,...,Ls1 - T >. (* denotes the intersection)
In the last three cases, the fundamental unit e of the cubic field K can be represented as a quotient e = Y1 - S of relatively conjugates in the normal field N with the aid of a unit Y.
3. e = E1 - S with a relative unit E of N | k. Then we have e = a3 / N(a) with an absolutely ambiguous principal ideal (a) of K in the group PKG / PQ, where G = < S >. The relative unit E itself could have a representation of the form E = b1 - S with the non-unit b = 1 / S2(a), in this case.
4. e = H1 - S with a unit H, that has the fundamental unit of k as its norm N(H) = eta, if k is real quadratic and thus K is a totally real cubic field. Therefore neither can e contribute to generating EN|k modulo UN1 - S, since e lies in UN1 - S, nor can H, since H is not a relative unit.
5. e = Z1 - S with a unit Z with norm N(Z) = zeta, the primitive 3rd root of unity in the cyclotomic field k = Q(zeta), in the case of a pure cubic field K. As before, neither can e contribute to generating EN|k modulo UN1 - S, since e belongs to UN1 - S, nor can Z, since Z is not a relative unit.
Back to Daniel C. Mayer's Home Page.