Racing along the VORONOI Highway:
For the determination of the principal factorization type
of a pure cubic number field
L = Q(R1/3)
with radicand
R = mn2
we use the
Algorithm of VORONOI
[1].
This is a method of finding the
period of all lattice minima
in the
discrete embedding
of the maximal order of L.
The period starts with the trivial unit 1
and terminates with the fundamental unit
e0 < 1
of L.
The other elements of the period are
algebraic integers with small norms
below the Minkowski bound.
Generators of primitive ambiguous principal ideals of L are also algebraic integers with small norms. Hence there is a considerable probability to find these generators among the lattice minima of the period of the maximal order and the rare fields where this is not the case are called exotic fields. Indeed, it can be proved for extensive classes of pure cubic number fields that generators of primitive ambiguous principal ideals different from radicals must appear as lattice minima in the period of the maximal order or of a special suborder:
Particularly obstinate fields:
A general statement for the maximal order of the remaining fields of Dedekind's 1st type with radicands R congruent 2,-2,4,-4 modulo 9 is not possible. For these fields a distinguished suborder exists only in the case of a quadratic part n > 1.
But in the treatment of fields with radicands R congruent 2,-2,4,-4 modulo 9 we are aided by the lucky fact that here the principal factorization type GAMMA is excluded, since the radicand R has at least one prime factor p incongruent 1,-1 modulo 9 and p <> 3. For the principal factorization types BETA and GAMMA there exists a common criterion in the form of a congruence condition for the coefficients of the fundamental unit e0. Hence we can separate the types ALPHA and BETA for R congruent 2,-2,4,-4 modulo 9 similarly as the types ALPHA and GAMMA for R congruent 0 modulo 3 and R congruent 1,-1 modulo 9. For the most recent results see my series Joint Research 2002.
Bibliography:
Back to Daniel C. Mayer's Home Page.