60.3-1 ZumbroichBase
β£ ZumbroichBase ( n, m ) | ( function ) |
Let n and m be positive integers, such that m divides n. ZumbroichBase
returns the set of exponents for which E(n)^
belongs to the (generalized) Zumbroich basis of the cyclotomic field , viewed as a vector space over .
This basis is defined as follows. Let denote the set of prime divisors of n, , and with . Let E
for any positive integer , and .
Then the basis is
\[
B_{{n,m}} = \bigotimes_{{p \in P}}
\bigotimes_{{k = \mu_p}}^{{\nu_p-1}}
\{ e_{{p^{{k+1}}}}^j \}_{{j \in J_{{k,p}}}}
\]
where
| ; | |
| ; | |
| ; | |
| ; | |
Β
is equal to the basis of over the rationals which is introduced inΒ [Zum89]. Also the conversion of arbitrary sums of roots of unity into its basis representation, and the reduction to the minimal cyclotomic field are described in this thesis. (Note that the notation here is slightly different from that there.)
consists of roots of unity, it is an integral basis (that is, exactly the integral elements in have integral coefficients w.r.t.Β , cf.Β IsIntegralCyclotomic
(18.1-4)), it is a normal basis for squarefree and closed under complex conjugation for odd .
Note: For , we have ZumbroichBase(n, 1) = 2 * ZumbroichBase(n/2, 1)
and List( ZumbroichBase(n, 1), x -> E(n)^x ) = List( ZumbroichBase(n/2, 1), x -> E(n/2)^x )
.
gap> ZumbroichBase( 15, 1 ); ZumbroichBase( 12, 3 );
[ 1, 2, 4, 7, 8, 11, 13, 14 ]
[ 0, 3 ]
gap> ZumbroichBase( 10, 2 ); ZumbroichBase( 32, 4 );
[ 2, 4, 6, 8 ]
[ 0, 1, 2, 3, 4, 5, 6, 7 ]