Properties

Label 45.45.252...929.1
Degree $45$
Signature $[45, 0]$
Discriminant $2.524\times 10^{108}$
Root discriminant \(256.41\)
Ramified primes $13,61$
Class number not computed
Class group not computed
Galois group $C_3\times C_{15}$ (as 45T2)

Related objects

Downloads

Learn more

Show commands: Magma / Oscar / PariGP / SageMath

Normalized defining polynomial

sage: x = polygen(QQ); K.<a> = NumberField(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921)
 
gp: K = bnfinit(y^45 - 12*y^44 - 80*y^43 + 1424*y^42 + 1516*y^41 - 74554*y^40 + 63158*y^39 + 2282501*y^38 - 4255902*y^37 - 45636421*y^36 + 116693559*y^35 + 630121996*y^34 - 1971613347*y^33 - 6193698077*y^32 + 22855343401*y^31 + 44007670585*y^30 - 190617019593*y^29 - 226920195907*y^28 + 1172746429282*y^27 + 842990049201*y^26 - 5394671280584*y^25 - 2206384597765*y^24 + 18666651459717*y^23 + 3871477687999*y^22 - 48596558981735*y^21 - 4036750693451*y^20 + 94693820108958*y^19 + 1546861746446*y^18 - 136570614884744*y^17 + 956863921562*y^16 + 143064103358001*y^15 + 102341290612*y^14 - 105649963477592*y^13 - 2816833651750*y^12 + 52484763220205*y^11 + 2919265367283*y^10 - 16311452643376*y^9 - 1104335997267*y^8 + 2857645920655*y^7 + 105919440856*y^6 - 255094574859*y^5 + 8466426668*y^4 + 8654209646*y^3 - 1026667213*y^2 + 14388119*y + 1507921, 1)
 
magma: R<x> := PolynomialRing(Rationals()); K<a> := NumberField(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921);
 
oscar: Qx, x = PolynomialRing(QQ); K, a = NumberField(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921)
 

\( x^{45} - 12 x^{44} - 80 x^{43} + 1424 x^{42} + 1516 x^{41} - 74554 x^{40} + 63158 x^{39} + \cdots + 1507921 \) Copy content Toggle raw display

sage: K.defining_polynomial()
 
gp: K.pol
 
magma: DefiningPolynomial(K);
 
oscar: defining_polynomial(K)
 

Invariants

Degree:  $45$
sage: K.degree()
 
gp: poldegree(K.pol)
 
magma: Degree(K);
 
oscar: degree(K)
 
Signature:  $[45, 0]$
sage: K.signature()
 
gp: K.sign
 
magma: Signature(K);
 
oscar: signature(K)
 
Discriminant:   \(252\!\cdots\!929\) \(\medspace = 13^{30}\cdot 61^{42}\) Copy content Toggle raw display
sage: K.disc()
 
gp: K.disc
 
magma: OK := Integers(K); Discriminant(OK);
 
oscar: OK = ring_of_integers(K); discriminant(OK)
 
Root discriminant:  \(256.41\)
sage: (K.disc().abs())^(1./K.degree())
 
gp: abs(K.disc)^(1/poldegree(K.pol))
 
magma: Abs(Discriminant(OK))^(1/Degree(K));
 
oscar: (1.0 * dK)^(1/degree(K))
 
Galois root discriminant:  $13^{2/3}61^{14/15}\approx 256.41105616096826$
Ramified primes:   \(13\), \(61\) Copy content Toggle raw display
sage: K.disc().support()
 
gp: factor(abs(K.disc))[,1]~
 
magma: PrimeDivisors(Discriminant(OK));
 
oscar: prime_divisors(discriminant((OK)))
 
Discriminant root field:  \(\Q\)
$\card{ \Gal(K/\Q) }$:  $45$
sage: K.automorphisms()
 
magma: Automorphisms(K);
 
oscar: automorphisms(K)
 
This field is Galois and abelian over $\Q$.
Conductor:  \(793=13\cdot 61\)
Dirichlet character group:    $\lbrace$$\chi_{793}(256,·)$, $\chi_{793}(1,·)$, $\chi_{793}(386,·)$, $\chi_{793}(131,·)$, $\chi_{793}(391,·)$, $\chi_{793}(9,·)$, $\chi_{793}(269,·)$, $\chi_{793}(16,·)$, $\chi_{793}(789,·)$, $\chi_{793}(22,·)$, $\chi_{793}(217,·)$, $\chi_{793}(666,·)$, $\chi_{793}(672,·)$, $\chi_{793}(625,·)$, $\chi_{793}(42,·)$, $\chi_{793}(300,·)$, $\chi_{793}(562,·)$, $\chi_{793}(302,·)$, $\chi_{793}(178,·)$, $\chi_{793}(443,·)$, $\chi_{793}(705,·)$, $\chi_{793}(196,·)$, $\chi_{793}(198,·)$, $\chi_{793}(74,·)$, $\chi_{793}(718,·)$, $\chi_{793}(81,·)$, $\chi_{793}(339,·)$, $\chi_{793}(469,·)$, $\chi_{793}(729,·)$, $\chi_{793}(347,·)$, $\chi_{793}(607,·)$, $\chi_{793}(352,·)$, $\chi_{793}(144,·)$, $\chi_{793}(484,·)$, $\chi_{793}(230,·)$, $\chi_{793}(321,·)$, $\chi_{793}(744,·)$, $\chi_{793}(367,·)$, $\chi_{793}(497,·)$, $\chi_{793}(757,·)$, $\chi_{793}(118,·)$, $\chi_{793}(503,·)$, $\chi_{793}(378,·)$, $\chi_{793}(508,·)$, $\chi_{793}(510,·)$$\rbrace$
This is not a CM field.

Integral basis (with respect to field generator \(a\))

$1$, $a$, $a^{2}$, $a^{3}$, $a^{4}$, $a^{5}$, $a^{6}$, $a^{7}$, $a^{8}$, $a^{9}$, $a^{10}$, $a^{11}$, $a^{12}$, $a^{13}$, $a^{14}$, $a^{15}$, $a^{16}$, $a^{17}$, $a^{18}$, $a^{19}$, $a^{20}$, $a^{21}$, $a^{22}$, $a^{23}$, $a^{24}$, $a^{25}$, $a^{26}$, $\frac{1}{11}a^{27}+\frac{3}{11}a^{26}+\frac{3}{11}a^{25}+\frac{2}{11}a^{24}-\frac{3}{11}a^{23}-\frac{4}{11}a^{22}+\frac{4}{11}a^{21}+\frac{5}{11}a^{20}+\frac{2}{11}a^{19}+\frac{5}{11}a^{18}-\frac{4}{11}a^{17}+\frac{3}{11}a^{16}+\frac{5}{11}a^{15}+\frac{5}{11}a^{14}-\frac{2}{11}a^{12}+\frac{5}{11}a^{11}+\frac{3}{11}a^{10}+\frac{2}{11}a^{8}-\frac{3}{11}a^{7}-\frac{2}{11}a^{6}-\frac{4}{11}a^{5}-\frac{1}{11}a^{4}-\frac{4}{11}a^{3}-\frac{3}{11}a^{2}-\frac{4}{11}a+\frac{2}{11}$, $\frac{1}{11}a^{28}+\frac{5}{11}a^{26}+\frac{4}{11}a^{25}+\frac{2}{11}a^{24}+\frac{5}{11}a^{23}+\frac{5}{11}a^{22}+\frac{4}{11}a^{21}-\frac{2}{11}a^{20}-\frac{1}{11}a^{19}+\frac{3}{11}a^{18}+\frac{4}{11}a^{17}-\frac{4}{11}a^{16}+\frac{1}{11}a^{15}-\frac{4}{11}a^{14}-\frac{2}{11}a^{13}-\frac{1}{11}a^{11}+\frac{2}{11}a^{10}+\frac{2}{11}a^{9}+\frac{2}{11}a^{8}-\frac{4}{11}a^{7}+\frac{2}{11}a^{6}-\frac{1}{11}a^{4}-\frac{2}{11}a^{3}+\frac{5}{11}a^{2}+\frac{3}{11}a+\frac{5}{11}$, $\frac{1}{11}a^{29}-\frac{2}{11}a^{25}-\frac{5}{11}a^{24}-\frac{2}{11}a^{23}+\frac{2}{11}a^{22}-\frac{4}{11}a^{20}+\frac{4}{11}a^{19}+\frac{1}{11}a^{18}+\frac{5}{11}a^{17}-\frac{3}{11}a^{16}+\frac{4}{11}a^{15}-\frac{5}{11}a^{14}-\frac{2}{11}a^{12}-\frac{1}{11}a^{11}-\frac{2}{11}a^{10}+\frac{2}{11}a^{9}-\frac{3}{11}a^{8}-\frac{5}{11}a^{7}-\frac{1}{11}a^{6}-\frac{3}{11}a^{5}+\frac{3}{11}a^{4}+\frac{3}{11}a^{3}-\frac{4}{11}a^{2}+\frac{3}{11}a+\frac{1}{11}$, $\frac{1}{11}a^{30}-\frac{2}{11}a^{26}-\frac{5}{11}a^{25}-\frac{2}{11}a^{24}+\frac{2}{11}a^{23}-\frac{4}{11}a^{21}+\frac{4}{11}a^{20}+\frac{1}{11}a^{19}+\frac{5}{11}a^{18}-\frac{3}{11}a^{17}+\frac{4}{11}a^{16}-\frac{5}{11}a^{15}-\frac{2}{11}a^{13}-\frac{1}{11}a^{12}-\frac{2}{11}a^{11}+\frac{2}{11}a^{10}-\frac{3}{11}a^{9}-\frac{5}{11}a^{8}-\frac{1}{11}a^{7}-\frac{3}{11}a^{6}+\frac{3}{11}a^{5}+\frac{3}{11}a^{4}-\frac{4}{11}a^{3}+\frac{3}{11}a^{2}+\frac{1}{11}a$, $\frac{1}{11}a^{31}+\frac{1}{11}a^{26}+\frac{4}{11}a^{25}-\frac{5}{11}a^{24}+\frac{5}{11}a^{23}-\frac{1}{11}a^{22}+\frac{1}{11}a^{21}-\frac{2}{11}a^{19}-\frac{4}{11}a^{18}-\frac{4}{11}a^{17}+\frac{1}{11}a^{16}-\frac{1}{11}a^{15}-\frac{3}{11}a^{14}-\frac{1}{11}a^{13}+\frac{5}{11}a^{12}+\frac{1}{11}a^{11}+\frac{3}{11}a^{10}-\frac{5}{11}a^{9}+\frac{3}{11}a^{8}+\frac{2}{11}a^{7}-\frac{1}{11}a^{6}-\frac{5}{11}a^{5}+\frac{5}{11}a^{4}-\frac{5}{11}a^{3}-\frac{5}{11}a^{2}+\frac{3}{11}a+\frac{4}{11}$, $\frac{1}{11}a^{32}+\frac{1}{11}a^{26}+\frac{3}{11}a^{25}+\frac{3}{11}a^{24}+\frac{2}{11}a^{23}+\frac{5}{11}a^{22}-\frac{4}{11}a^{21}+\frac{4}{11}a^{20}+\frac{5}{11}a^{19}+\frac{2}{11}a^{18}+\frac{5}{11}a^{17}-\frac{4}{11}a^{16}+\frac{3}{11}a^{15}+\frac{5}{11}a^{14}+\frac{5}{11}a^{13}+\frac{3}{11}a^{12}-\frac{2}{11}a^{11}+\frac{3}{11}a^{10}+\frac{3}{11}a^{9}+\frac{2}{11}a^{7}-\frac{3}{11}a^{6}-\frac{2}{11}a^{5}-\frac{4}{11}a^{4}-\frac{1}{11}a^{3}-\frac{5}{11}a^{2}-\frac{3}{11}a-\frac{2}{11}$, $\frac{1}{11}a^{33}-\frac{3}{11}a^{23}+\frac{3}{11}a^{13}-\frac{2}{11}a^{11}-\frac{1}{11}a^{3}+\frac{2}{11}a-\frac{2}{11}$, $\frac{1}{11}a^{34}-\frac{3}{11}a^{24}+\frac{3}{11}a^{14}-\frac{2}{11}a^{12}-\frac{1}{11}a^{4}+\frac{2}{11}a^{2}-\frac{2}{11}a$, $\frac{1}{11}a^{35}-\frac{3}{11}a^{25}+\frac{3}{11}a^{15}-\frac{2}{11}a^{13}-\frac{1}{11}a^{5}+\frac{2}{11}a^{3}-\frac{2}{11}a^{2}$, $\frac{1}{11}a^{36}-\frac{3}{11}a^{26}+\frac{3}{11}a^{16}-\frac{2}{11}a^{14}-\frac{1}{11}a^{6}+\frac{2}{11}a^{4}-\frac{2}{11}a^{3}$, $\frac{1}{11}a^{37}-\frac{2}{11}a^{26}-\frac{2}{11}a^{25}-\frac{5}{11}a^{24}+\frac{2}{11}a^{23}-\frac{1}{11}a^{22}+\frac{1}{11}a^{21}+\frac{4}{11}a^{20}-\frac{5}{11}a^{19}+\frac{4}{11}a^{18}+\frac{2}{11}a^{17}-\frac{2}{11}a^{16}+\frac{2}{11}a^{15}+\frac{4}{11}a^{14}+\frac{5}{11}a^{12}+\frac{4}{11}a^{11}-\frac{2}{11}a^{10}-\frac{5}{11}a^{8}+\frac{1}{11}a^{7}+\frac{5}{11}a^{6}+\frac{1}{11}a^{5}-\frac{5}{11}a^{4}-\frac{1}{11}a^{3}+\frac{2}{11}a^{2}-\frac{1}{11}a-\frac{5}{11}$, $\frac{1}{11}a^{38}+\frac{4}{11}a^{26}+\frac{1}{11}a^{25}-\frac{5}{11}a^{24}+\frac{4}{11}a^{23}+\frac{4}{11}a^{22}+\frac{1}{11}a^{21}+\frac{5}{11}a^{20}-\frac{3}{11}a^{19}+\frac{1}{11}a^{18}+\frac{1}{11}a^{17}-\frac{3}{11}a^{16}+\frac{3}{11}a^{15}-\frac{1}{11}a^{14}+\frac{5}{11}a^{13}-\frac{3}{11}a^{11}-\frac{5}{11}a^{10}-\frac{5}{11}a^{9}+\frac{5}{11}a^{8}-\frac{1}{11}a^{7}-\frac{3}{11}a^{6}-\frac{2}{11}a^{5}-\frac{3}{11}a^{4}+\frac{5}{11}a^{3}+\frac{4}{11}a^{2}-\frac{2}{11}a+\frac{4}{11}$, $\frac{1}{11}a^{39}+\frac{5}{11}a^{25}-\frac{4}{11}a^{24}+\frac{5}{11}a^{23}-\frac{5}{11}a^{22}-\frac{1}{11}a^{20}+\frac{4}{11}a^{19}+\frac{3}{11}a^{18}+\frac{2}{11}a^{17}+\frac{2}{11}a^{16}+\frac{1}{11}a^{15}-\frac{4}{11}a^{14}+\frac{5}{11}a^{12}-\frac{3}{11}a^{11}+\frac{5}{11}a^{10}+\frac{5}{11}a^{9}+\frac{2}{11}a^{8}-\frac{2}{11}a^{7}-\frac{5}{11}a^{6}+\frac{2}{11}a^{5}-\frac{2}{11}a^{4}-\frac{2}{11}a^{3}-\frac{1}{11}a^{2}-\frac{2}{11}a+\frac{3}{11}$, $\frac{1}{11}a^{40}+\frac{5}{11}a^{26}-\frac{4}{11}a^{25}+\frac{5}{11}a^{24}-\frac{5}{11}a^{23}-\frac{1}{11}a^{21}+\frac{4}{11}a^{20}+\frac{3}{11}a^{19}+\frac{2}{11}a^{18}+\frac{2}{11}a^{17}+\frac{1}{11}a^{16}-\frac{4}{11}a^{15}+\frac{5}{11}a^{13}-\frac{3}{11}a^{12}+\frac{5}{11}a^{11}+\frac{5}{11}a^{10}+\frac{2}{11}a^{9}-\frac{2}{11}a^{8}-\frac{5}{11}a^{7}+\frac{2}{11}a^{6}-\frac{2}{11}a^{5}-\frac{2}{11}a^{4}-\frac{1}{11}a^{3}-\frac{2}{11}a^{2}+\frac{3}{11}a$, $\frac{1}{6589}a^{41}-\frac{82}{6589}a^{40}+\frac{299}{6589}a^{39}+\frac{217}{6589}a^{38}-\frac{276}{6589}a^{37}-\frac{2}{599}a^{36}+\frac{20}{599}a^{35}-\frac{150}{6589}a^{34}-\frac{83}{6589}a^{33}-\frac{8}{6589}a^{32}+\frac{223}{6589}a^{31}-\frac{106}{6589}a^{30}+\frac{233}{6589}a^{29}+\frac{179}{6589}a^{28}+\frac{183}{6589}a^{27}-\frac{3111}{6589}a^{26}-\frac{1975}{6589}a^{25}-\frac{288}{599}a^{24}+\frac{1085}{6589}a^{23}-\frac{1737}{6589}a^{22}-\frac{143}{599}a^{21}+\frac{1009}{6589}a^{20}+\frac{812}{6589}a^{19}+\frac{2028}{6589}a^{18}-\frac{786}{6589}a^{17}-\frac{2232}{6589}a^{16}-\frac{2853}{6589}a^{15}-\frac{757}{6589}a^{14}-\frac{2340}{6589}a^{13}-\frac{59}{6589}a^{12}-\frac{1258}{6589}a^{11}-\frac{2998}{6589}a^{10}+\frac{3283}{6589}a^{9}-\frac{2395}{6589}a^{8}-\frac{2987}{6589}a^{7}+\frac{1971}{6589}a^{6}-\frac{1051}{6589}a^{5}+\frac{2572}{6589}a^{4}+\frac{2996}{6589}a^{3}-\frac{2069}{6589}a^{2}-\frac{549}{6589}a-\frac{1370}{6589}$, $\frac{1}{16887607}a^{42}+\frac{1176}{16887607}a^{41}+\frac{363764}{16887607}a^{40}+\frac{508738}{16887607}a^{39}+\frac{1173}{72479}a^{38}-\frac{56116}{16887607}a^{37}+\frac{161828}{16887607}a^{36}-\frac{16348}{1535237}a^{35}-\frac{45424}{1535237}a^{34}+\frac{368189}{16887607}a^{33}+\frac{398677}{16887607}a^{32}-\frac{90952}{16887607}a^{31}-\frac{472149}{16887607}a^{30}+\frac{737751}{16887607}a^{29}+\frac{331388}{16887607}a^{28}+\frac{1879}{16887607}a^{27}-\frac{439008}{1535237}a^{26}-\frac{540968}{16887607}a^{25}-\frac{7692668}{16887607}a^{24}+\frac{733273}{1535237}a^{23}-\frac{3252939}{16887607}a^{22}-\frac{4214491}{16887607}a^{21}-\frac{985700}{16887607}a^{20}+\frac{723359}{1535237}a^{19}-\frac{2287685}{16887607}a^{18}+\frac{5021143}{16887607}a^{17}-\frac{2684919}{16887607}a^{16}+\frac{4068384}{16887607}a^{15}+\frac{5527732}{16887607}a^{14}+\frac{353117}{16887607}a^{13}+\frac{597148}{1535237}a^{12}+\frac{6597377}{16887607}a^{11}-\frac{1524946}{16887607}a^{10}-\frac{5552221}{16887607}a^{9}-\frac{5323844}{16887607}a^{8}+\frac{6223066}{16887607}a^{7}+\frac{4395267}{16887607}a^{6}-\frac{1071600}{16887607}a^{5}+\frac{7303386}{16887607}a^{4}+\frac{5823266}{16887607}a^{3}-\frac{4238621}{16887607}a^{2}+\frac{6941644}{16887607}a-\frac{3500094}{16887607}$, $\frac{1}{55423825828261}a^{43}-\frac{1144799}{55423825828261}a^{42}+\frac{21233722}{5038529620751}a^{41}+\frac{1756808198246}{55423825828261}a^{40}+\frac{425335439340}{55423825828261}a^{39}-\frac{401703172080}{55423825828261}a^{38}-\frac{1374557004014}{55423825828261}a^{37}+\frac{2283058121291}{55423825828261}a^{36}+\frac{10207521068}{458048147341}a^{35}+\frac{1594776002168}{55423825828261}a^{34}+\frac{6168155580}{5038529620751}a^{33}-\frac{1921990259107}{55423825828261}a^{32}+\frac{2416850839266}{55423825828261}a^{31}+\frac{1378357741168}{55423825828261}a^{30}+\frac{2380143117270}{55423825828261}a^{29}+\frac{1441983625178}{55423825828261}a^{28}-\frac{1090779479349}{55423825828261}a^{27}+\frac{14878793572765}{55423825828261}a^{26}-\frac{1606400349997}{5038529620751}a^{25}-\frac{26478354856968}{55423825828261}a^{24}+\frac{14635658190860}{55423825828261}a^{23}-\frac{23354690752791}{55423825828261}a^{22}+\frac{13323770062968}{55423825828261}a^{21}-\frac{24387035578229}{55423825828261}a^{20}-\frac{5611711289507}{55423825828261}a^{19}-\frac{16301288426701}{55423825828261}a^{18}+\frac{8598561458126}{55423825828261}a^{17}+\frac{25060697379733}{55423825828261}a^{16}-\frac{242256512800}{55423825828261}a^{15}-\frac{1208063827849}{5038529620751}a^{14}-\frac{10061753890873}{55423825828261}a^{13}+\frac{1061004525279}{55423825828261}a^{12}-\frac{13070869957626}{55423825828261}a^{11}-\frac{20290443681735}{55423825828261}a^{10}+\frac{14932553963386}{55423825828261}a^{9}+\frac{25541975798583}{55423825828261}a^{8}+\frac{9259843119693}{55423825828261}a^{7}-\frac{22488848232835}{55423825828261}a^{6}+\frac{1705292860252}{55423825828261}a^{5}-\frac{12021269908057}{55423825828261}a^{4}-\frac{15088605315554}{55423825828261}a^{3}-\frac{9036857420122}{55423825828261}a^{2}+\frac{14284039851283}{55423825828261}a+\frac{22829998495251}{55423825828261}$, $\frac{1}{61\!\cdots\!47}a^{44}-\frac{19\!\cdots\!28}{61\!\cdots\!47}a^{43}+\frac{16\!\cdots\!04}{61\!\cdots\!47}a^{42}+\frac{30\!\cdots\!76}{61\!\cdots\!47}a^{41}+\frac{52\!\cdots\!41}{56\!\cdots\!77}a^{40}+\frac{15\!\cdots\!78}{61\!\cdots\!47}a^{39}+\frac{13\!\cdots\!94}{61\!\cdots\!47}a^{38}+\frac{19\!\cdots\!96}{61\!\cdots\!47}a^{37}-\frac{27\!\cdots\!04}{61\!\cdots\!47}a^{36}-\frac{17\!\cdots\!85}{61\!\cdots\!47}a^{35}+\frac{24\!\cdots\!41}{61\!\cdots\!47}a^{34}-\frac{94\!\cdots\!51}{61\!\cdots\!47}a^{33}-\frac{19\!\cdots\!68}{61\!\cdots\!47}a^{32}-\frac{23\!\cdots\!40}{61\!\cdots\!47}a^{31}+\frac{25\!\cdots\!08}{61\!\cdots\!47}a^{30}-\frac{15\!\cdots\!85}{61\!\cdots\!47}a^{29}-\frac{21\!\cdots\!29}{61\!\cdots\!47}a^{28}+\frac{23\!\cdots\!35}{61\!\cdots\!47}a^{27}+\frac{26\!\cdots\!88}{61\!\cdots\!47}a^{26}-\frac{30\!\cdots\!70}{61\!\cdots\!47}a^{25}-\frac{30\!\cdots\!23}{61\!\cdots\!47}a^{24}+\frac{14\!\cdots\!28}{61\!\cdots\!47}a^{23}+\frac{42\!\cdots\!32}{61\!\cdots\!47}a^{22}+\frac{58\!\cdots\!93}{61\!\cdots\!47}a^{21}+\frac{29\!\cdots\!98}{61\!\cdots\!47}a^{20}+\frac{10\!\cdots\!97}{61\!\cdots\!47}a^{19}-\frac{10\!\cdots\!52}{61\!\cdots\!47}a^{18}+\frac{15\!\cdots\!67}{61\!\cdots\!47}a^{17}+\frac{24\!\cdots\!54}{61\!\cdots\!47}a^{16}+\frac{23\!\cdots\!69}{61\!\cdots\!47}a^{15}-\frac{28\!\cdots\!12}{61\!\cdots\!47}a^{14}-\frac{15\!\cdots\!19}{56\!\cdots\!77}a^{13}+\frac{30\!\cdots\!70}{61\!\cdots\!47}a^{12}+\frac{70\!\cdots\!15}{56\!\cdots\!77}a^{11}+\frac{17\!\cdots\!14}{61\!\cdots\!47}a^{10}-\frac{14\!\cdots\!52}{61\!\cdots\!47}a^{9}+\frac{24\!\cdots\!60}{56\!\cdots\!77}a^{8}-\frac{46\!\cdots\!24}{61\!\cdots\!47}a^{7}-\frac{11\!\cdots\!68}{61\!\cdots\!47}a^{6}+\frac{23\!\cdots\!03}{61\!\cdots\!47}a^{5}-\frac{26\!\cdots\!80}{56\!\cdots\!77}a^{4}-\frac{82\!\cdots\!88}{61\!\cdots\!47}a^{3}-\frac{23\!\cdots\!04}{61\!\cdots\!47}a^{2}-\frac{34\!\cdots\!07}{61\!\cdots\!47}a-\frac{88\!\cdots\!64}{10\!\cdots\!53}$ Copy content Toggle raw display

sage: K.integral_basis()
 
gp: K.zk
 
magma: IntegralBasis(K);
 
oscar: basis(OK)
 

Monogenic:  Not computed
Index:  $1$
Inessential primes:  None

Class group and class number

not computed

sage: K.class_group().invariants()
 
gp: K.clgp
 
magma: ClassGroup(K);
 
oscar: class_group(K)
 

Unit group

sage: UK = K.unit_group()
 
magma: UK, fUK := UnitGroup(K);
 
oscar: UK, fUK = unit_group(OK)
 
Rank:  $44$
sage: UK.rank()
 
gp: K.fu
 
magma: UnitRank(K);
 
oscar: rank(UK)
 
Torsion generator:   \( -1 \)  (order $2$) Copy content Toggle raw display
sage: UK.torsion_generator()
 
gp: K.tu[2]
 
magma: K!f(TU.1) where TU,f is TorsionUnitGroup(K);
 
oscar: torsion_units_generator(OK)
 
Fundamental units:  not computed
sage: UK.fundamental_units()
 
gp: K.fu
 
magma: [K|fUK(g): g in Generators(UK)];
 
oscar: [K(fUK(a)) for a in gens(UK)]
 
Regulator:  not computed
sage: K.regulator()
 
gp: K.reg
 
magma: Regulator(K);
 
oscar: regulator(K)
 

Class number formula

\[ \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 $ not computed \end{aligned}\]

# self-contained SageMath code snippet to compute the analytic class number formula
 
x = polygen(QQ); K.<a> = NumberField(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921)
 
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))))
 
# self-contained Pari/GP code snippet to compute the analytic class number formula
 
K = bnfinit(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921, 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)))]
 
/* self-contained Magma code snippet to compute the analytic class number formula */
 
Qx<x> := PolynomialRing(QQ); K<a> := NumberField(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921);
 
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)));
 
# self-contained Oscar code snippet to compute the analytic class number formula
 
Qx, x = PolynomialRing(QQ); K, a = NumberField(x^45 - 12*x^44 - 80*x^43 + 1424*x^42 + 1516*x^41 - 74554*x^40 + 63158*x^39 + 2282501*x^38 - 4255902*x^37 - 45636421*x^36 + 116693559*x^35 + 630121996*x^34 - 1971613347*x^33 - 6193698077*x^32 + 22855343401*x^31 + 44007670585*x^30 - 190617019593*x^29 - 226920195907*x^28 + 1172746429282*x^27 + 842990049201*x^26 - 5394671280584*x^25 - 2206384597765*x^24 + 18666651459717*x^23 + 3871477687999*x^22 - 48596558981735*x^21 - 4036750693451*x^20 + 94693820108958*x^19 + 1546861746446*x^18 - 136570614884744*x^17 + 956863921562*x^16 + 143064103358001*x^15 + 102341290612*x^14 - 105649963477592*x^13 - 2816833651750*x^12 + 52484763220205*x^11 + 2919265367283*x^10 - 16311452643376*x^9 - 1104335997267*x^8 + 2857645920655*x^7 + 105919440856*x^6 - 255094574859*x^5 + 8466426668*x^4 + 8654209646*x^3 - 1026667213*x^2 + 14388119*x + 1507921);
 
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

$C_3\times C_{15}$ (as 45T2):

sage: K.galois_group(type='pari')
 
gp: polgalois(K.pol)
 
magma: G = GaloisGroup(K);
 
oscar: G, Gtx = galois_group(K); G, transitive_group_identification(G)
 
An abelian group of order 45
The 45 conjugacy class representatives for $C_3\times C_{15}$
Character table for $C_3\times C_{15}$

Intermediate fields

3.3.169.1, 3.3.628849.1, 3.3.628849.2, 3.3.3721.1, 5.5.13845841.1, 9.9.248679006649044049.1, 15.15.365924546437605291907270802025529.1, 15.15.1361605237294329291186954654336993409.1, 15.15.1361605237294329291186954654336993409.2, 15.15.9876832533361318095112441.1

Fields in the database are given up to isomorphism. Isomorphic intermediate fields are shown with their multiplicities.

sage: K.subfields()[1:-1]
 
gp: L = nfsubfields(K); L[2..length(b)]
 
magma: L := Subfields(K); L[2..#L];
 
oscar: subfields(K)[2:end-1]
 

Frobenius cycle types

$p$ $2$ $3$ $5$ $7$ $11$ $13$ $17$ $19$ $23$ $29$ $31$ $37$ $41$ $43$ $47$ $53$ $59$
Cycle type $15^{3}$ $15^{3}$ $15^{3}$ $15^{3}$ ${\href{/padicField/11.3.0.1}{3} }^{15}$ R $15^{3}$ $15^{3}$ $15^{3}$ ${\href{/padicField/29.3.0.1}{3} }^{15}$ $15^{3}$ $15^{3}$ $15^{3}$ $15^{3}$ ${\href{/padicField/47.3.0.1}{3} }^{15}$ ${\href{/padicField/53.5.0.1}{5} }^{9}$ $15^{3}$

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

# to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7$ in Sage:
 
p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)]
 
\\ to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7$ in Pari:
 
p = 7; pfac = idealprimedec(K, p); vector(length(pfac), j, [pfac[j][3], pfac[j][4]])
 
// to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7 in Magma:
 
p := 7; [<pr[2], Valuation(Norm(pr[1]), p)> : pr in Factorization(p*Integers(K))];
 
# to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_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

$p$LabelPolynomial $e$ $f$ $c$ Galois group Slope content
\(13\) Copy content Toggle raw display 13.9.6.1$x^{9} + 6 x^{7} + 72 x^{6} + 12 x^{5} + 54 x^{4} - 2125 x^{3} + 288 x^{2} - 2160 x + 13928$$3$$3$$6$$C_3^2$$[\ ]_{3}^{3}$
13.9.6.1$x^{9} + 6 x^{7} + 72 x^{6} + 12 x^{5} + 54 x^{4} - 2125 x^{3} + 288 x^{2} - 2160 x + 13928$$3$$3$$6$$C_3^2$$[\ ]_{3}^{3}$
13.9.6.1$x^{9} + 6 x^{7} + 72 x^{6} + 12 x^{5} + 54 x^{4} - 2125 x^{3} + 288 x^{2} - 2160 x + 13928$$3$$3$$6$$C_3^2$$[\ ]_{3}^{3}$
13.9.6.1$x^{9} + 6 x^{7} + 72 x^{6} + 12 x^{5} + 54 x^{4} - 2125 x^{3} + 288 x^{2} - 2160 x + 13928$$3$$3$$6$$C_3^2$$[\ ]_{3}^{3}$
13.9.6.1$x^{9} + 6 x^{7} + 72 x^{6} + 12 x^{5} + 54 x^{4} - 2125 x^{3} + 288 x^{2} - 2160 x + 13928$$3$$3$$6$$C_3^2$$[\ ]_{3}^{3}$
\(61\) Copy content Toggle raw display Deg $45$$15$$3$$42$