sage: x = polygen(QQ); K.<a> = NumberField(x^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861)
gp: K = bnfinit(y^38 - 342*y^36 - 494*y^35 + 49571*y^34 + 131024*y^33 - 3935147*y^32 - 14319996*y^31 + 187333407*y^30 + 847596384*y^29 - 5581898660*y^28 - 30311258771*y^27 + 106432357475*y^26 + 694403262546*y^25 - 1319990424275*y^24 - 10588090616078*y^23 + 11003488266809*y^22 + 110692914430763*y^21 - 67774979212045*y^20 - 811070932087692*y^19 + 375013687116124*y^18 + 4205390929184442*y^17 - 2088691296591085*y^16 - 15265383022918127*y^15 + 9967315841901733*y^14 + 37228914395189218*y^13 - 33369608975838046*y^12 - 55529864053483792*y^11 + 69626900587988757*y^10 + 39381849534000508*y^9 - 81482325904062986*y^8 + 2939626320084510*y^7 + 44420642090413847*y^6 - 17432350286733448*y^5 - 6273911703229422*y^4 + 4327841312665199*y^3 - 44929929487917*y^2 - 220961136770617*y + 3147242965861, 1)
magma: R<x> := PolynomialRing(Rationals()); K<a> := NumberField(x^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861);
oscar: Qx, x = PolynomialRing(QQ); K, a = NumberField(x^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861)
\( x^{38} - 342 x^{36} - 494 x^{35} + 49571 x^{34} + 131024 x^{33} - 3935147 x^{32} - 14319996 x^{31} + \cdots + 3147242965861 \)
sage: K.defining_polynomial()
magma: DefiningPolynomial(K);
oscar: defining_polynomial(K)
Degree: | | $38$ |
|
Signature: | | $[38, 0]$ |
|
Discriminant: | |
\(259\!\cdots\!953\)
\(\medspace = 3^{19}\cdot 19^{73}\)
|
magma: OK := Integers(K); Discriminant(OK);
oscar: OK = ring_of_integers(K); discriminant(OK)
|
Root discriminant: | | \(495.58\) | 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: | | $3^{1/2}19^{73/38}\approx 495.5798017530623$
|
Ramified primes: | |
\(3\), \(19\)
|
gp: factor(abs(K.disc))[,1]~
magma: PrimeDivisors(Discriminant(OK));
oscar: prime_divisors(discriminant((OK)))
|
Discriminant root field: | | \(\Q(\sqrt{57}) \)
|
$\card{ \Gal(K/\Q) }$: | | $38$ |
|
This field is Galois and abelian over $\Q$. |
Conductor: | | \(1083=3\cdot 19^{2}\) |
Dirichlet character group:
| |
$\lbrace$$\chi_{1083}(512,·)$, $\chi_{1083}(1,·)$, $\chi_{1083}(514,·)$, $\chi_{1083}(1027,·)$, $\chi_{1083}(1025,·)$, $\chi_{1083}(398,·)$, $\chi_{1083}(911,·)$, $\chi_{1083}(400,·)$, $\chi_{1083}(913,·)$, $\chi_{1083}(284,·)$, $\chi_{1083}(797,·)$, $\chi_{1083}(286,·)$, $\chi_{1083}(799,·)$, $\chi_{1083}(170,·)$, $\chi_{1083}(683,·)$, $\chi_{1083}(172,·)$, $\chi_{1083}(685,·)$, $\chi_{1083}(56,·)$, $\chi_{1083}(569,·)$, $\chi_{1083}(58,·)$, $\chi_{1083}(571,·)$, $\chi_{1083}(455,·)$, $\chi_{1083}(968,·)$, $\chi_{1083}(457,·)$, $\chi_{1083}(970,·)$, $\chi_{1083}(341,·)$, $\chi_{1083}(854,·)$, $\chi_{1083}(343,·)$, $\chi_{1083}(856,·)$, $\chi_{1083}(1082,·)$, $\chi_{1083}(227,·)$, $\chi_{1083}(740,·)$, $\chi_{1083}(229,·)$, $\chi_{1083}(742,·)$, $\chi_{1083}(113,·)$, $\chi_{1083}(626,·)$, $\chi_{1083}(115,·)$, $\chi_{1083}(628,·)$$\rbrace$
|
This is not a CM field. |
$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}$, $a^{27}$, $a^{28}$, $a^{29}$, $a^{30}$, $a^{31}$, $a^{32}$, $a^{33}$, $a^{34}$, $a^{35}$, $a^{36}$, $\frac{1}{68\!\cdots\!89}a^{37}+\frac{19\!\cdots\!15}{68\!\cdots\!89}a^{36}-\frac{28\!\cdots\!78}{68\!\cdots\!89}a^{35}+\frac{28\!\cdots\!37}{68\!\cdots\!89}a^{34}+\frac{10\!\cdots\!25}{68\!\cdots\!89}a^{33}+\frac{93\!\cdots\!71}{68\!\cdots\!89}a^{32}+\frac{56\!\cdots\!92}{23\!\cdots\!73}a^{31}+\frac{27\!\cdots\!99}{68\!\cdots\!89}a^{30}-\frac{17\!\cdots\!40}{68\!\cdots\!89}a^{29}-\frac{24\!\cdots\!38}{68\!\cdots\!89}a^{28}-\frac{57\!\cdots\!95}{68\!\cdots\!89}a^{27}+\frac{60\!\cdots\!30}{68\!\cdots\!89}a^{26}-\frac{26\!\cdots\!19}{68\!\cdots\!89}a^{25}+\frac{28\!\cdots\!34}{68\!\cdots\!89}a^{24}-\frac{86\!\cdots\!63}{68\!\cdots\!89}a^{23}+\frac{12\!\cdots\!68}{68\!\cdots\!89}a^{22}-\frac{13\!\cdots\!84}{68\!\cdots\!89}a^{21}-\frac{25\!\cdots\!66}{68\!\cdots\!89}a^{20}+\frac{28\!\cdots\!00}{68\!\cdots\!89}a^{19}+\frac{18\!\cdots\!14}{68\!\cdots\!89}a^{18}-\frac{13\!\cdots\!26}{68\!\cdots\!89}a^{17}+\frac{33\!\cdots\!71}{68\!\cdots\!89}a^{16}+\frac{20\!\cdots\!33}{68\!\cdots\!89}a^{15}+\frac{28\!\cdots\!82}{68\!\cdots\!89}a^{14}+\frac{96\!\cdots\!65}{68\!\cdots\!89}a^{13}-\frac{87\!\cdots\!34}{68\!\cdots\!89}a^{12}-\frac{26\!\cdots\!47}{68\!\cdots\!89}a^{11}-\frac{27\!\cdots\!18}{68\!\cdots\!89}a^{10}+\frac{15\!\cdots\!64}{68\!\cdots\!89}a^{9}-\frac{30\!\cdots\!25}{68\!\cdots\!89}a^{8}-\frac{20\!\cdots\!83}{68\!\cdots\!89}a^{7}-\frac{43\!\cdots\!83}{68\!\cdots\!89}a^{6}+\frac{24\!\cdots\!90}{68\!\cdots\!89}a^{5}-\frac{23\!\cdots\!32}{68\!\cdots\!89}a^{4}-\frac{10\!\cdots\!22}{68\!\cdots\!89}a^{3}-\frac{31\!\cdots\!61}{68\!\cdots\!89}a^{2}+\frac{29\!\cdots\!84}{68\!\cdots\!89}a+\frac{31\!\cdots\!65}{68\!\cdots\!89}$
not computed
sage: K.class_group().invariants()
sage: UK = K.unit_group()
magma: UK, fUK := UnitGroup(K);
oscar: UK, fUK = unit_group(OK)
Rank: | | $37$
|
|
Torsion generator: | |
\( -1 \)
(order $2$)
| sage: UK.torsion_generator()
magma: K!f(TU.1) where TU,f is TorsionUnitGroup(K);
oscar: torsion_units_generator(OK)
|
Fundamental units: | | not computed
| sage: UK.fundamental_units()
magma: [K|fUK(g): g in Generators(UK)];
oscar: [K(fUK(a)) for a in gens(UK)]
|
Regulator: | | not computed
|
|
\[
\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^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861) 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^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861, 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^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861); 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^38 - 342*x^36 - 494*x^35 + 49571*x^34 + 131024*x^33 - 3935147*x^32 - 14319996*x^31 + 187333407*x^30 + 847596384*x^29 - 5581898660*x^28 - 30311258771*x^27 + 106432357475*x^26 + 694403262546*x^25 - 1319990424275*x^24 - 10588090616078*x^23 + 11003488266809*x^22 + 110692914430763*x^21 - 67774979212045*x^20 - 811070932087692*x^19 + 375013687116124*x^18 + 4205390929184442*x^17 - 2088691296591085*x^16 - 15265383022918127*x^15 + 9967315841901733*x^14 + 37228914395189218*x^13 - 33369608975838046*x^12 - 55529864053483792*x^11 + 69626900587988757*x^10 + 39381849534000508*x^9 - 81482325904062986*x^8 + 2939626320084510*x^7 + 44420642090413847*x^6 - 17432350286733448*x^5 - 6273911703229422*x^4 + 4327841312665199*x^3 - 44929929487917*x^2 - 220961136770617*x + 3147242965861); 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))))
$C_{38}$ (as 38T1):
sage: K.galois_group(type='pari')
magma: G = GaloisGroup(K);
oscar: G, Gtx = galois_group(K); G, transitive_group_identification(G)
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]
$p$ |
$2$ |
$3$ |
$5$ |
$7$ |
$11$ |
$13$ |
$17$ |
$19$ |
$23$ |
$29$ |
$31$ |
$37$ |
$41$ |
$43$ |
$47$ |
$53$ |
$59$ |
Cycle type |
$19^{2}$ |
R |
$38$ |
$19^{2}$ |
$38$ |
$38$ |
$38$ |
R |
$38$ |
$19^{2}$ |
$38$ |
$38$ |
$19^{2}$ |
$19^{2}$ |
$38$ |
$19^{2}$ |
$19^{2}$ |
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]
|