Properties

Label 14.2.692...965.1
Degree 1414
Signature [2,6][2, 6]
Discriminant 6.929×10276.929\times 10^{27}
Root discriminant 97.4197.41
Ramified primes 3,5,19,31,255053,57858284817233,5,19,31,255053,5785828481723
Class number 11 (GRH)
Class group trivial (GRH)
Galois group S14S_{14} (as 14T63)

Related objects

Downloads

Learn more

Show commands: Magma / Oscar / Pari/GP / SageMath

Normalized defining polynomial

Copy content comment:Define the number field
 
Copy content sage:x = polygen(QQ); K.<a> = NumberField(x^14 - 9*x + 3)
 
Copy content gp:K = bnfinit(y^14 - 9*y + 3, 1)
 
Copy content magma:R<x> := PolynomialRing(Rationals()); K<a> := NumberField(x^14 - 9*x + 3);
 
Copy content oscar:Qx, x = polynomial_ring(QQ); K, a = number_field(x^14 - 9*x + 3)
 

x149x+3 x^{14} - 9x + 3 Copy content Toggle raw display

Copy content comment:Defining polynomial
 
Copy content sage:K.defining_polynomial()
 
Copy content gp:K.pol
 
Copy content magma:DefiningPolynomial(K);
 
Copy content oscar:defining_polynomial(K)
 

Invariants

Degree:  1414
Copy content comment:Degree over Q
 
Copy content sage:K.degree()
 
Copy content gp:poldegree(K.pol)
 
Copy content magma:Degree(K);
 
Copy content oscar:degree(K)
 
Signature:  [2,6][2, 6]
Copy content comment:Signature
 
Copy content sage:K.signature()
 
Copy content gp:K.sign
 
Copy content magma:Signature(K);
 
Copy content oscar:signature(K)
 
Discriminant:   69287932371571039185612739656928793237157103918561273965 =313519312550535785828481723\medspace = 3^{13}\cdot 5\cdot 19\cdot 31\cdot 255053\cdot 5785828481723 Copy content Toggle raw display
Copy content comment:Discriminant
 
Copy content sage:K.disc()
 
Copy content gp:K.disc
 
Copy content magma:OK := Integers(K); Discriminant(OK);
 
Copy content oscar:OK = ring_of_integers(K); discriminant(OK)
 
Root discriminant:  97.4197.41
Copy content sage:(K.disc().abs())^(1./K.degree())
 
Copy content gp:abs(K.disc)^(1/poldegree(K.pol))
 
Copy content magma:Abs(Discriminant(OK))^(1/Degree(K));
 
Copy content oscar:(1.0 * dK)^(1/degree(K))
 
Galois root discriminant:  313/1451/2191/2311/22550531/257858284817231/2182844461715.13423^{13/14}5^{1/2}19^{1/2}31^{1/2}255053^{1/2}5785828481723^{1/2}\approx 182844461715.1342
Ramified primes:   33, 55, 1919, 3131, 255053255053, 57858284817235785828481723 Copy content Toggle raw display
Copy content comment:Ramified primes
 
Copy content sage:K.disc().support()
 
Copy content gp:factor(abs(K.disc))[,1]~
 
Copy content magma:PrimeDivisors(Discriminant(OK));
 
Copy content oscar:prime_divisors(discriminant((OK)))
 
Discriminant root field:  Q(13037 ⁣ ⁣78365\Q(\sqrt{13037\!\cdots\!78365})
Aut(K/Q)\Aut(K/\Q):   C1C_1
Copy content comment:Autmorphisms
 
Copy content sage:K.automorphisms()
 
Copy content magma:Automorphisms(K);
 
Copy content oscar:automorphisms(K)
 
This field is not Galois over Q\Q.
This is not a CM field.

Integral basis (with respect to field generator aa)

11, aa, a2a^{2}, a3a^{3}, a4a^{4}, a5a^{5}, a6a^{6}, a7a^{7}, a8a^{8}, a9a^{9}, a10a^{10}, a11a^{11}, a12a^{12}, a13a^{13} Copy content Toggle raw display

Copy content comment:Integral basis
 
Copy content sage:K.integral_basis()
 
Copy content gp:K.zk
 
Copy content magma:IntegralBasis(K);
 
Copy content oscar:basis(OK)
 

Monogenic:  Yes
Index:  11
Inessential primes:  None

Class group and class number

Ideal class group:  Trivial group, which has order 11 (assuming GRH)
Copy content comment:Class group
 
Copy content sage:K.class_group().invariants()
 
Copy content gp:K.clgp
 
Copy content magma:ClassGroup(K);
 
Copy content oscar:class_group(K)
 
Narrow class group:  C2C_{2}, which has order 22 (assuming GRH)
Copy content comment:Narrow class group
 
Copy content sage:K.narrow_class_group().invariants()
 
Copy content gp:bnfnarrow(K)
 
Copy content magma:NarrowClassGroup(K);
 

Unit group

Copy content comment:Unit group
 
Copy content sage:UK = K.unit_group()
 
Copy content magma:UK, fUK := UnitGroup(K);
 
Copy content oscar:UK, fUK = unit_group(OK)
 
Rank:  77
Copy content comment:Unit rank
 
Copy content sage:UK.rank()
 
Copy content gp:K.fu
 
Copy content magma:UnitRank(K);
 
Copy content oscar:rank(UK)
 
Torsion generator:   1 -1  (order 22) Copy content Toggle raw display
Copy content comment:Generator for roots of unity
 
Copy content sage:UK.torsion_generator()
 
Copy content gp:K.tu[2]
 
Copy content magma:K!f(TU.1) where TU,f is TorsionUnitGroup(K);
 
Copy content oscar:torsion_units_generator(OK)
 
Fundamental units:   3a13+4a12+5a10+6a96a85a7+2a616a517a4+10a36a212a+133a^{13}+4a^{12}+5a^{10}+6a^{9}-6a^{8}-5a^{7}+2a^{6}-16a^{5}-17a^{4}+10a^{3}-6a^{2}-12a+13, 9a13+2a1216a11+12a10+16a925a8+6a7+34a638a514a4+74a331a260a+299a^{13}+2a^{12}-16a^{11}+12a^{10}+16a^{9}-25a^{8}+6a^{7}+34a^{6}-38a^{5}-14a^{4}+74a^{3}-31a^{2}-60a+29, 30a13+36a12+41a11+49a10+50a9+64a8+65a7+91a6+91a5+122a4+116a3+150a2+156a7030a^{13}+36a^{12}+41a^{11}+49a^{10}+50a^{9}+64a^{8}+65a^{7}+91a^{6}+91a^{5}+122a^{4}+116a^{3}+150a^{2}+156a-70, 14a137a12+3a11+a1015a9+36a850a7+64a697a5+128a4136a3+144a2171a+4314a^{13}-7a^{12}+3a^{11}+a^{10}-15a^{9}+36a^{8}-50a^{7}+64a^{6}-97a^{5}+128a^{4}-136a^{3}+144a^{2}-171a+43, 94a13+24a12+15a112a10+7a93a82a7+8a616a5+28a440a3+47a251a78794a^{13}+24a^{12}+15a^{11}-2a^{10}+7a^{9}-3a^{8}-2a^{7}+8a^{6}-16a^{5}+28a^{4}-40a^{3}+47a^{2}-51a-787, 6a1321a12+32a1121a10+a9+39a859a7+64a613a553a4+139a3156a2+114a86a^{13}-21a^{12}+32a^{11}-21a^{10}+a^{9}+39a^{8}-59a^{7}+64a^{6}-13a^{5}-53a^{4}+139a^{3}-156a^{2}+114a-8, 39a1322a12+14a11+63a10+7a984a834a7+99a6+55a5144a4126a3+166a2+222a51139a^{13}-22a^{12}+14a^{11}+63a^{10}+7a^{9}-84a^{8}-34a^{7}+99a^{6}+55a^{5}-144a^{4}-126a^{3}+166a^{2}+222a-511 Copy content Toggle raw display (assuming GRH)
Copy content comment:Fundamental units
 
Copy content sage:UK.fundamental_units()
 
Copy content gp:K.fu
 
Copy content magma:[K|fUK(g): g in Generators(UK)];
 
Copy content oscar:[K(fUK(a)) for a in gens(UK)]
 
Regulator:  586657278.452 586657278.452 (assuming GRH)
Copy content comment:Regulator
 
Copy content sage:K.regulator()
 
Copy content gp:K.reg
 
Copy content magma:Regulator(K);
 
Copy content oscar:regulator(K)
 

Class number formula

lims1(s1)ζK(s)=(2r1(2π)r2RhwD(22(2π)6586657278.452126928793237157103918561273965(0.867291056845 \begin{aligned}\lim_{s\to 1} (s-1)\zeta_K(s) =\mathstrut & \frac{2^{r_1}\cdot (2\pi)^{r_2}\cdot R\cdot h}{w\cdot\sqrt{|D|}}\cr \approx\mathstrut &\frac{2^{2}\cdot(2\pi)^{6}\cdot 586657278.452 \cdot 1}{2\cdot\sqrt{6928793237157103918561273965}}\cr\approx \mathstrut & 0.867291056845 \end{aligned} (assuming GRH)

Copy content comment:Analytic class number formula
 
Copy content sage:# self-contained SageMath code snippet to compute the analytic class number formula x = polygen(QQ); K.<a> = NumberField(x^14 - 9*x + 3) DK = K.disc(); r1,r2 = K.signature(); RK = K.regulator(); RR = RK.parent() hK = K.class_number(); wK = K.unit_group().torsion_generator().order(); 2^r1 * (2*RR(pi))^r2 * RK * hK / (wK * RR(sqrt(abs(DK))))
 
Copy content gp:\\ self-contained Pari/GP code snippet to compute the analytic class number formula K = bnfinit(x^14 - 9*x + 3, 1); [polcoeff (lfunrootres (lfuncreate (K))[1][1][2], -1), 2^K.r1 * (2*Pi)^K.r2 * K.reg * K.no / (K.tu[1] * sqrt (abs (K.disc)))]
 
Copy content magma:/* self-contained Magma code snippet to compute the analytic class number formula */ Qx<x> := PolynomialRing(Rationals()); K<a> := NumberField(x^14 - 9*x + 3); OK := Integers(K); DK := Discriminant(OK); UK, fUK := UnitGroup(OK); clK, fclK := ClassGroup(OK); r1,r2 := Signature(K); RK := Regulator(K); RR := Parent(RK); hK := #clK; wK := #TorsionSubgroup(UK); 2^r1 * (2*Pi(RR))^r2 * RK * hK / (wK * Sqrt(RR!Abs(DK)));
 
Copy content oscar:# self-contained Oscar code snippet to compute the analytic class number formula Qx, x = PolynomialRing(QQ); K, a = NumberField(x^14 - 9*x + 3); OK = ring_of_integers(K); DK = discriminant(OK); UK, fUK = unit_group(OK); clK, fclK = class_group(OK); r1,r2 = signature(K); RK = regulator(K); RR = parent(RK); hK = order(clK); wK = torsion_units_order(K); 2^r1 * (2*pi)^r2 * RK * hK / (wK * sqrt(RR(abs(DK))))
 

Galois group

S14S_{14} (as 14T63):

Copy content comment:Galois group
 
Copy content sage:K.galois_group(type='pari')
 
Copy content gp:polgalois(K.pol)
 
Copy content magma:G = GaloisGroup(K);
 
Copy content oscar:G, Gtx = galois_group(K); G, transitive_group_identification(G)
 
A non-solvable group of order 87178291200
The 135 conjugacy class representatives for S14S_{14}
Character table for S14S_{14}

Intermediate fields

The extension is primitive: there are no intermediate fields between this field and Q\Q.
Copy content comment:Intermediate fields
 
Copy content sage:K.subfields()[1:-1]
 
Copy content gp:L = nfsubfields(K); L[2..length(b)]
 
Copy content magma:L := Subfields(K); L[2..#L];
 
Copy content oscar:subfields(K)[2:end-1]
 

Sibling fields

Degree 28 sibling: data not computed
Minimal sibling: This field is its own minimal sibling

Frobenius cycle types

pp 22 33 55 77 1111 1313 1717 1919 2323 2929 3131 3737 4141 4343 4747 5353 5959
Cycle type 7,5,2{\href{/padicField/2.7.0.1}{7} }{,}\,{\href{/padicField/2.5.0.1}{5} }{,}\,{\href{/padicField/2.2.0.1}{2} } R R 6,5,3{\href{/padicField/7.6.0.1}{6} }{,}\,{\href{/padicField/7.5.0.1}{5} }{,}\,{\href{/padicField/7.3.0.1}{3} } 7,4,2,1{\href{/padicField/11.7.0.1}{7} }{,}\,{\href{/padicField/11.4.0.1}{4} }{,}\,{\href{/padicField/11.2.0.1}{2} }{,}\,{\href{/padicField/11.1.0.1}{1} } 34,12{\href{/padicField/13.3.0.1}{3} }^{4}{,}\,{\href{/padicField/13.1.0.1}{1} }^{2} 52,2,12{\href{/padicField/17.5.0.1}{5} }^{2}{,}\,{\href{/padicField/17.2.0.1}{2} }{,}\,{\href{/padicField/17.1.0.1}{1} }^{2} R 9,3,2{\href{/padicField/23.9.0.1}{9} }{,}\,{\href{/padicField/23.3.0.1}{3} }{,}\,{\href{/padicField/23.2.0.1}{2} } 4,32,2,12{\href{/padicField/29.4.0.1}{4} }{,}\,{\href{/padicField/29.3.0.1}{3} }^{2}{,}\,{\href{/padicField/29.2.0.1}{2} }{,}\,{\href{/padicField/29.1.0.1}{1} }^{2} R 14{\href{/padicField/37.14.0.1}{14} } 7,4,2,1{\href{/padicField/41.7.0.1}{7} }{,}\,{\href{/padicField/41.4.0.1}{4} }{,}\,{\href{/padicField/41.2.0.1}{2} }{,}\,{\href{/padicField/41.1.0.1}{1} } 8,5,1{\href{/padicField/43.8.0.1}{8} }{,}\,{\href{/padicField/43.5.0.1}{5} }{,}\,{\href{/padicField/43.1.0.1}{1} } 62,12{\href{/padicField/47.6.0.1}{6} }^{2}{,}\,{\href{/padicField/47.1.0.1}{1} }^{2} 6,42{\href{/padicField/53.6.0.1}{6} }{,}\,{\href{/padicField/53.4.0.1}{4} }^{2} 10,22{\href{/padicField/59.10.0.1}{10} }{,}\,{\href{/padicField/59.2.0.1}{2} }^{2}

In the table, R denotes a ramified prime. Cycle lengths which are repeated in a cycle type are indicated by exponents.

Copy content comment:Frobenius cycle types
 
Copy content sage:# to obtain a list of [e_i,f_i] for the factorization of the ideal pO_K for p=7 in Sage: p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)]
 
Copy content gp:\\ to obtain a list of [e_i,f_i] for the factorization of the ideal pO_K for p=7 in Pari: p = 7; pfac = idealprimedec(K, p); vector(length(pfac), j, [pfac[j][3], pfac[j][4]])
 
Copy content magma:// to obtain a list of [e_i,f_i] for the factorization of the ideal pO_K for p=7 in Magma: p := 7; [<pr[2], Valuation(Norm(pr[1]), p)> : pr in Factorization(p*Integers(K))];
 
Copy content oscar:# to obtain a list of [e_i,f_i] for the factorization of the ideal pO_K for p=7 in Oscar: p = 7; pfac = factor(ideal(ring_of_integers(K), p)); [(e, valuation(norm(pr),p)) for (pr,e) in pfac]
 

Local algebras for ramified primes

ppLabelPolynomial ee ff cc Galois group Slope content
33 Copy content Toggle raw display 3.1.14.13a1.1x14+3x^{14} + 31414111313F7×C2F_7 \times C_2[ ]146[\ ]_{14}^{6}
55 Copy content Toggle raw display Q5\Q_{5}x+3x + 3111100Trivial[ ][\ ]
5.1.2.1a1.1x2+5x^{2} + 5221111C2C_2[ ]2[\ ]_{2}
5.2.1.0a1.1x2+4x+2x^{2} + 4 x + 2112200C2C_2[ ]2[\ ]^{2}
5.9.1.0a1.1x9+2x3+x+3x^{9} + 2 x^{3} + x + 3119900C9C_9[ ]9[\ ]^{9}
1919 Copy content Toggle raw display 19.1.2.1a1.1x2+19x^{2} + 19221111C2C_2[ ]2[\ ]_{2}
19.3.1.0a1.1x3+4x+17x^{3} + 4 x + 17113300C3C_3[ ]3[\ ]^{3}
19.9.1.0a1.1x9+11x3+14x2+16x+17x^{9} + 11 x^{3} + 14 x^{2} + 16 x + 17119900C9C_9[ ]9[\ ]^{9}
3131 Copy content Toggle raw display 31.1.2.1a1.2x2+93x^{2} + 93221111C2C_2[ ]2[\ ]_{2}
31.2.1.0a1.1x2+29x+3x^{2} + 29 x + 3112200C2C_2[ ]2[\ ]^{2}
31.10.1.0a1.1x10+30x5+26x4+13x3+13x2+13x+3x^{10} + 30 x^{5} + 26 x^{4} + 13 x^{3} + 13 x^{2} + 13 x + 311101000C10C_{10}[ ]10[\ ]^{10}
255053255053 Copy content Toggle raw display Deg 22221111C2C_2[ ]2[\ ]_{2}
Deg 44114400C4C_4[ ]4[\ ]^{4}
Deg 88118800C8C_8[ ]8[\ ]^{8}
57858284817235785828481723 Copy content Toggle raw display Q5785828481723\Q_{5785828481723}xx111100Trivial[ ][\ ]
Q5785828481723\Q_{5785828481723}xx111100Trivial[ ][\ ]
Q5785828481723\Q_{5785828481723}xx111100Trivial[ ][\ ]
Deg 22221111C2C_2[ ]2[\ ]_{2}
Deg 99119900C9C_9[ ]9[\ ]^{9}

Spectrum of ring of integers

(0)(0)(2)(3)(5)(7)(11)(13)(17)(19)(23)(29)(31)(37)(41)(43)(47)(53)(59)