[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Conversion to Number Fields

Although in theory an abelian extension "uniquely" defines a number field and therefore all its properties, not all of them are directly accessible (in Magma at least). The functions listed here perform the conversion to a number field, the most important being of course the function that computes defining equations.

EquationOrder(A) : FldAb -> RngOrd
    SetVerbose("ClassField", n):        Maximum: 5
Given an abelian extension A of a number field, using the algorithm of Fieker ([Fie00], [Coh00]) defining equations for A are computed. For each cyclic factor of prime power degree, one polynomial will be constructed. Depending on the size of the cyclic factors encountered, this may be a very lengthy process.
NumberField(A) : FldAb -> FldNum
Converts the abelian extension A into a number field. This is equivalent to NumberField(EquationOrder(A)).
MaximalOrder(A) : FldAb -> RngOrd
    Al: MonStgElt                       Default: "Kummer"
    Partial: BoolElt                    Default: false
Computes the maximal order of the abelian extension A. The result is the same as that given by Maximal-Order(-Equation-Order(A)) but this functions uses the special structure of A and should be much faster in general.

The first step involves computing the maximal orders of each component.

If Al eq "Kummer" the maximal order computation uses Kummer theory to compute maximal orders of kummer extensions known to each component then intersects these with the component to gain the maximal order of that component [Sut12].

If Al eq "Round2", the ordinary round 2 maximal order function is used on the components.

If Al eq "Discriminant", the discriminant of the components is passed into the maximal order computation.

In the second step, the components are combined into an approximation of the full maximal order of A.

If Partial is true, the computations stop at this point, otherwise Maximal-Order is again called and the discriminant of A is passed in.

Components(A) : FldAb -> [RngOrd]
    SetVerbose("ClassField", n):        Maximum: 5
A list of relative extensions is determined. One extension per cyclic factor is computed.
Generators(A) : FldAb -> [ ], [ ], [ ]
The first return value is a sequence of generating elements for NumberField(A), the second contains the same elements but viewed as elements of the Kummer extension used in the construction. The third list contains the images of the second list under the action of a generator of the automorphism group corresponding to this cyclic factor.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012