Normalized defining polynomial
\( x^{45} - 4 x^{44} - 182 x^{43} + 580 x^{42} + 15229 x^{41} - 35784 x^{40} - 771497 x^{39} + \cdots - 2280393187 \)
Invariants
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}{3}a^{27}-\frac{1}{3}a^{21}+\frac{1}{3}a^{19}-\frac{1}{3}a^{15}+\frac{1}{3}a^{13}+\frac{1}{3}a^{9}+\frac{1}{3}a^{7}+\frac{1}{3}a^{6}+\frac{1}{3}a^{4}-\frac{1}{3}a^{3}+\frac{1}{3}a^{2}+\frac{1}{3}a-\frac{1}{3}$, $\frac{1}{3}a^{28}-\frac{1}{3}a^{22}+\frac{1}{3}a^{20}-\frac{1}{3}a^{16}+\frac{1}{3}a^{14}+\frac{1}{3}a^{10}+\frac{1}{3}a^{8}+\frac{1}{3}a^{7}+\frac{1}{3}a^{5}-\frac{1}{3}a^{4}+\frac{1}{3}a^{3}+\frac{1}{3}a^{2}-\frac{1}{3}a$, $\frac{1}{3}a^{29}-\frac{1}{3}a^{23}+\frac{1}{3}a^{21}-\frac{1}{3}a^{17}+\frac{1}{3}a^{15}+\frac{1}{3}a^{11}+\frac{1}{3}a^{9}+\frac{1}{3}a^{8}+\frac{1}{3}a^{6}-\frac{1}{3}a^{5}+\frac{1}{3}a^{4}+\frac{1}{3}a^{3}-\frac{1}{3}a^{2}$, $\frac{1}{3}a^{30}-\frac{1}{3}a^{24}+\frac{1}{3}a^{22}-\frac{1}{3}a^{18}+\frac{1}{3}a^{16}+\frac{1}{3}a^{12}+\frac{1}{3}a^{10}+\frac{1}{3}a^{9}+\frac{1}{3}a^{7}-\frac{1}{3}a^{6}+\frac{1}{3}a^{5}+\frac{1}{3}a^{4}-\frac{1}{3}a^{3}$, $\frac{1}{3}a^{31}-\frac{1}{3}a^{25}+\frac{1}{3}a^{23}-\frac{1}{3}a^{19}+\frac{1}{3}a^{17}+\frac{1}{3}a^{13}+\frac{1}{3}a^{11}+\frac{1}{3}a^{10}+\frac{1}{3}a^{8}-\frac{1}{3}a^{7}+\frac{1}{3}a^{6}+\frac{1}{3}a^{5}-\frac{1}{3}a^{4}$, $\frac{1}{3}a^{32}-\frac{1}{3}a^{26}+\frac{1}{3}a^{24}-\frac{1}{3}a^{20}+\frac{1}{3}a^{18}+\frac{1}{3}a^{14}+\frac{1}{3}a^{12}+\frac{1}{3}a^{11}+\frac{1}{3}a^{9}-\frac{1}{3}a^{8}+\frac{1}{3}a^{7}+\frac{1}{3}a^{6}-\frac{1}{3}a^{5}$, $\frac{1}{3}a^{33}+\frac{1}{3}a^{25}+\frac{1}{3}a^{21}-\frac{1}{3}a^{19}-\frac{1}{3}a^{13}+\frac{1}{3}a^{12}+\frac{1}{3}a^{10}+\frac{1}{3}a^{8}-\frac{1}{3}a^{7}+\frac{1}{3}a^{4}-\frac{1}{3}a^{3}+\frac{1}{3}a^{2}+\frac{1}{3}a-\frac{1}{3}$, $\frac{1}{3}a^{34}+\frac{1}{3}a^{26}+\frac{1}{3}a^{22}-\frac{1}{3}a^{20}-\frac{1}{3}a^{14}+\frac{1}{3}a^{13}+\frac{1}{3}a^{11}+\frac{1}{3}a^{9}-\frac{1}{3}a^{8}+\frac{1}{3}a^{5}-\frac{1}{3}a^{4}+\frac{1}{3}a^{3}+\frac{1}{3}a^{2}-\frac{1}{3}a$, $\frac{1}{3}a^{35}+\frac{1}{3}a^{23}-\frac{1}{3}a^{19}+\frac{1}{3}a^{14}-\frac{1}{3}a^{13}+\frac{1}{3}a^{12}+\frac{1}{3}a^{10}+\frac{1}{3}a^{9}-\frac{1}{3}a^{7}-\frac{1}{3}a^{5}-\frac{1}{3}a^{3}+\frac{1}{3}a^{2}-\frac{1}{3}a+\frac{1}{3}$, $\frac{1}{9}a^{36}+\frac{1}{9}a^{35}-\frac{1}{9}a^{34}-\frac{1}{9}a^{33}+\frac{1}{9}a^{32}-\frac{1}{9}a^{31}-\frac{1}{9}a^{30}-\frac{1}{9}a^{29}-\frac{1}{9}a^{28}+\frac{1}{9}a^{26}-\frac{2}{9}a^{23}-\frac{1}{9}a^{22}+\frac{4}{9}a^{21}+\frac{4}{9}a^{20}-\frac{2}{9}a^{19}-\frac{1}{9}a^{18}+\frac{1}{3}a^{17}+\frac{1}{3}a^{16}-\frac{1}{3}a^{15}+\frac{4}{9}a^{14}-\frac{4}{9}a^{13}-\frac{1}{3}a^{12}-\frac{1}{9}a^{11}+\frac{1}{9}a^{10}+\frac{2}{9}a^{9}+\frac{1}{9}a^{8}-\frac{1}{3}a^{7}+\frac{2}{9}a^{6}+\frac{4}{9}a^{5}+\frac{2}{9}a^{4}-\frac{4}{9}a^{3}+\frac{4}{9}a^{2}+\frac{1}{9}a-\frac{1}{9}$, $\frac{1}{9}a^{37}+\frac{1}{9}a^{35}-\frac{1}{9}a^{33}+\frac{1}{9}a^{32}+\frac{1}{9}a^{28}+\frac{1}{9}a^{27}-\frac{4}{9}a^{26}-\frac{1}{3}a^{25}+\frac{1}{9}a^{24}+\frac{4}{9}a^{23}-\frac{4}{9}a^{22}-\frac{1}{3}a^{21}+\frac{1}{9}a^{19}-\frac{2}{9}a^{18}+\frac{1}{3}a^{16}-\frac{2}{9}a^{15}-\frac{2}{9}a^{14}+\frac{1}{9}a^{13}-\frac{4}{9}a^{12}-\frac{4}{9}a^{11}+\frac{1}{9}a^{10}-\frac{4}{9}a^{9}-\frac{1}{9}a^{8}-\frac{1}{9}a^{7}-\frac{4}{9}a^{6}+\frac{1}{9}a^{5}-\frac{1}{9}a^{3}-\frac{1}{3}a^{2}+\frac{1}{9}a-\frac{2}{9}$, $\frac{1}{9}a^{38}-\frac{1}{9}a^{35}-\frac{1}{9}a^{33}-\frac{1}{9}a^{32}+\frac{1}{9}a^{31}+\frac{1}{9}a^{30}-\frac{1}{9}a^{29}-\frac{1}{9}a^{28}-\frac{1}{9}a^{27}-\frac{4}{9}a^{26}-\frac{2}{9}a^{25}+\frac{4}{9}a^{24}+\frac{1}{9}a^{23}+\frac{1}{9}a^{22}-\frac{4}{9}a^{21}+\frac{1}{3}a^{20}-\frac{1}{3}a^{19}+\frac{1}{9}a^{18}+\frac{1}{3}a^{17}-\frac{2}{9}a^{16}+\frac{4}{9}a^{15}+\frac{1}{3}a^{14}-\frac{1}{3}a^{13}-\frac{4}{9}a^{12}-\frac{1}{9}a^{11}-\frac{2}{9}a^{10}-\frac{1}{3}a^{9}-\frac{2}{9}a^{8}+\frac{2}{9}a^{7}-\frac{1}{9}a^{6}-\frac{4}{9}a^{5}-\frac{1}{3}a^{4}+\frac{4}{9}a^{3}-\frac{1}{3}a^{2}+\frac{1}{9}$, $\frac{1}{9}a^{39}+\frac{1}{9}a^{35}+\frac{1}{9}a^{34}+\frac{1}{9}a^{33}-\frac{1}{9}a^{32}+\frac{1}{9}a^{30}+\frac{1}{9}a^{29}+\frac{1}{9}a^{28}-\frac{1}{9}a^{27}-\frac{4}{9}a^{26}-\frac{2}{9}a^{25}+\frac{4}{9}a^{24}-\frac{4}{9}a^{23}-\frac{2}{9}a^{22}+\frac{1}{9}a^{21}+\frac{4}{9}a^{20}-\frac{1}{9}a^{19}-\frac{4}{9}a^{18}-\frac{2}{9}a^{17}-\frac{2}{9}a^{16}-\frac{2}{9}a^{14}+\frac{4}{9}a^{13}-\frac{1}{9}a^{12}-\frac{2}{9}a^{10}+\frac{1}{3}a^{8}-\frac{1}{9}a^{7}-\frac{2}{9}a^{6}+\frac{1}{9}a^{5}+\frac{1}{3}a^{4}+\frac{2}{9}a^{3}+\frac{4}{9}a^{2}+\frac{2}{9}a+\frac{2}{9}$, $\frac{1}{5139}a^{40}+\frac{3}{571}a^{39}+\frac{157}{5139}a^{38}+\frac{11}{571}a^{37}-\frac{25}{571}a^{36}-\frac{712}{5139}a^{35}-\frac{394}{5139}a^{34}+\frac{782}{5139}a^{33}+\frac{223}{5139}a^{32}-\frac{61}{571}a^{31}+\frac{13}{571}a^{30}+\frac{319}{5139}a^{29}-\frac{499}{5139}a^{28}-\frac{143}{5139}a^{27}-\frac{2380}{5139}a^{26}-\frac{742}{5139}a^{25}+\frac{637}{1713}a^{24}-\frac{239}{5139}a^{23}-\frac{279}{571}a^{22}+\frac{146}{5139}a^{21}-\frac{77}{5139}a^{20}+\frac{2506}{5139}a^{19}+\frac{643}{1713}a^{18}-\frac{14}{5139}a^{17}-\frac{1358}{5139}a^{16}+\frac{1616}{5139}a^{15}-\frac{125}{571}a^{14}-\frac{718}{1713}a^{13}+\frac{1835}{5139}a^{12}-\frac{2549}{5139}a^{11}-\frac{188}{1713}a^{10}+\frac{1948}{5139}a^{9}+\frac{449}{5139}a^{8}-\frac{856}{1713}a^{7}-\frac{1859}{5139}a^{6}-\frac{1634}{5139}a^{5}-\frac{64}{1713}a^{4}+\frac{115}{1713}a^{3}-\frac{1049}{5139}a^{2}-\frac{449}{5139}a-\frac{616}{5139}$, $\frac{1}{5139}a^{41}-\frac{1}{5139}a^{39}-\frac{143}{5139}a^{38}-\frac{43}{5139}a^{37}+\frac{224}{5139}a^{36}-\frac{584}{5139}a^{35}+\frac{236}{5139}a^{33}+\frac{94}{1713}a^{32}+\frac{94}{5139}a^{31}+\frac{5}{1713}a^{30}-\frac{547}{5139}a^{29}+\frac{256}{1713}a^{28}-\frac{232}{5139}a^{27}-\frac{2147}{5139}a^{26}-\frac{895}{5139}a^{25}+\frac{125}{5139}a^{24}-\frac{1768}{5139}a^{23}+\frac{1136}{5139}a^{22}+\frac{1120}{5139}a^{21}+\frac{17}{5139}a^{20}+\frac{1645}{5139}a^{19}+\frac{145}{1713}a^{18}-\frac{409}{5139}a^{17}+\frac{1738}{5139}a^{16}-\frac{644}{1713}a^{15}+\frac{842}{1713}a^{14}-\frac{1675}{5139}a^{13}+\frac{239}{571}a^{12}+\frac{484}{1713}a^{11}+\frac{2330}{5139}a^{10}-\frac{62}{1713}a^{9}-\frac{1558}{5139}a^{8}+\frac{11}{571}a^{7}-\frac{547}{5139}a^{6}+\frac{530}{5139}a^{5}-\frac{147}{571}a^{4}+\frac{485}{5139}a^{3}-\frac{2389}{5139}a^{2}-\frac{542}{1713}a+\frac{644}{5139}$, $\frac{1}{981549}a^{42}+\frac{3}{109061}a^{41}+\frac{74}{981549}a^{40}+\frac{46964}{981549}a^{39}-\frac{46945}{981549}a^{38}-\frac{14777}{327183}a^{37}+\frac{7426}{327183}a^{36}-\frac{142256}{981549}a^{35}-\frac{89840}{981549}a^{34}+\frac{59023}{981549}a^{33}-\frac{12385}{109061}a^{32}-\frac{31199}{981549}a^{31}-\frac{69023}{981549}a^{30}+\frac{137828}{981549}a^{29}+\frac{1922}{981549}a^{28}+\frac{49384}{981549}a^{27}+\frac{161765}{981549}a^{26}+\frac{14168}{327183}a^{25}+\frac{207742}{981549}a^{24}-\frac{265517}{981549}a^{23}+\frac{190064}{981549}a^{22}-\frac{462415}{981549}a^{21}+\frac{109387}{981549}a^{20}+\frac{156857}{981549}a^{19}-\frac{15720}{109061}a^{18}-\frac{381505}{981549}a^{17}+\frac{130432}{981549}a^{16}+\frac{488392}{981549}a^{15}+\frac{33863}{109061}a^{14}-\frac{153287}{327183}a^{13}+\frac{288514}{981549}a^{12}+\frac{232358}{981549}a^{11}+\frac{158035}{981549}a^{10}+\frac{386192}{981549}a^{9}-\frac{62537}{981549}a^{8}+\frac{99434}{327183}a^{7}-\frac{24243}{109061}a^{6}-\frac{213485}{981549}a^{5}+\frac{41180}{109061}a^{4}-\frac{354554}{981549}a^{3}+\frac{4264}{327183}a^{2}+\frac{42406}{981549}a+\frac{91669}{981549}$, $\frac{1}{635062203}a^{43}-\frac{113}{635062203}a^{42}+\frac{14057}{635062203}a^{41}-\frac{37504}{635062203}a^{40}-\frac{511703}{70562467}a^{39}+\frac{2358713}{211687401}a^{38}-\frac{32408963}{635062203}a^{37}-\frac{8891665}{635062203}a^{36}+\frac{20228819}{635062203}a^{35}+\frac{98001590}{635062203}a^{34}-\frac{33253706}{211687401}a^{33}-\frac{6412873}{635062203}a^{32}+\frac{510347}{3324933}a^{31}+\frac{87336925}{635062203}a^{30}+\frac{6406796}{211687401}a^{29}+\frac{74722783}{635062203}a^{28}+\frac{1580413}{211687401}a^{27}+\frac{253270265}{635062203}a^{26}+\frac{68465075}{635062203}a^{25}+\frac{40320527}{635062203}a^{24}-\frac{143848424}{635062203}a^{23}-\frac{164349569}{635062203}a^{22}-\frac{121405972}{635062203}a^{21}+\frac{85734034}{635062203}a^{20}-\frac{12536910}{70562467}a^{19}+\frac{59954213}{211687401}a^{18}+\frac{5269182}{70562467}a^{17}-\frac{240818641}{635062203}a^{16}-\frac{164671610}{635062203}a^{15}+\frac{73225948}{635062203}a^{14}+\frac{4978212}{70562467}a^{13}-\frac{223988698}{635062203}a^{12}-\frac{152169004}{635062203}a^{11}+\frac{267789406}{635062203}a^{10}-\frac{134177899}{635062203}a^{9}-\frac{16454174}{70562467}a^{8}-\frac{34711259}{211687401}a^{7}+\frac{122065793}{635062203}a^{6}-\frac{1416741}{70562467}a^{5}+\frac{41805829}{211687401}a^{4}+\frac{7389673}{70562467}a^{3}+\frac{199109609}{635062203}a^{2}-\frac{80971457}{211687401}a-\frac{167540222}{635062203}$, $\frac{1}{69\!\cdots\!33}a^{44}+\frac{57\!\cdots\!46}{69\!\cdots\!33}a^{43}-\frac{67\!\cdots\!70}{23\!\cdots\!11}a^{42}+\frac{21\!\cdots\!75}{23\!\cdots\!11}a^{41}-\frac{17\!\cdots\!10}{23\!\cdots\!11}a^{40}+\frac{79\!\cdots\!88}{23\!\cdots\!11}a^{39}-\frac{17\!\cdots\!78}{23\!\cdots\!11}a^{38}+\frac{90\!\cdots\!26}{77\!\cdots\!37}a^{37}+\frac{24\!\cdots\!74}{77\!\cdots\!37}a^{36}+\frac{22\!\cdots\!72}{69\!\cdots\!33}a^{35}-\frac{40\!\cdots\!67}{69\!\cdots\!33}a^{34}-\frac{27\!\cdots\!76}{69\!\cdots\!33}a^{33}-\frac{44\!\cdots\!79}{23\!\cdots\!11}a^{32}+\frac{70\!\cdots\!88}{69\!\cdots\!33}a^{31}-\frac{39\!\cdots\!99}{69\!\cdots\!33}a^{30}+\frac{79\!\cdots\!49}{69\!\cdots\!33}a^{29}+\frac{10\!\cdots\!40}{69\!\cdots\!33}a^{28}+\frac{96\!\cdots\!99}{69\!\cdots\!33}a^{27}+\frac{19\!\cdots\!03}{77\!\cdots\!37}a^{26}-\frac{26\!\cdots\!44}{69\!\cdots\!33}a^{25}-\frac{97\!\cdots\!02}{69\!\cdots\!33}a^{24}-\frac{17\!\cdots\!56}{69\!\cdots\!33}a^{23}+\frac{29\!\cdots\!90}{69\!\cdots\!33}a^{22}+\frac{28\!\cdots\!10}{69\!\cdots\!33}a^{21}-\frac{16\!\cdots\!37}{23\!\cdots\!11}a^{20}-\frac{14\!\cdots\!95}{69\!\cdots\!33}a^{19}+\frac{19\!\cdots\!19}{69\!\cdots\!33}a^{18}-\frac{99\!\cdots\!55}{23\!\cdots\!11}a^{17}+\frac{16\!\cdots\!10}{69\!\cdots\!33}a^{16}+\frac{29\!\cdots\!53}{69\!\cdots\!33}a^{15}-\frac{50\!\cdots\!42}{23\!\cdots\!11}a^{14}+\frac{77\!\cdots\!55}{77\!\cdots\!37}a^{13}-\frac{29\!\cdots\!72}{23\!\cdots\!11}a^{12}-\frac{50\!\cdots\!75}{69\!\cdots\!33}a^{11}+\frac{19\!\cdots\!18}{69\!\cdots\!33}a^{10}-\frac{42\!\cdots\!51}{23\!\cdots\!11}a^{9}-\frac{45\!\cdots\!53}{69\!\cdots\!33}a^{8}-\frac{13\!\cdots\!77}{69\!\cdots\!33}a^{7}-\frac{18\!\cdots\!80}{69\!\cdots\!33}a^{6}-\frac{24\!\cdots\!32}{69\!\cdots\!33}a^{5}+\frac{12\!\cdots\!21}{69\!\cdots\!33}a^{4}+\frac{44\!\cdots\!70}{23\!\cdots\!11}a^{3}-\frac{24\!\cdots\!40}{69\!\cdots\!33}a^{2}-\frac{10\!\cdots\!10}{23\!\cdots\!11}a+\frac{14\!\cdots\!00}{69\!\cdots\!33}$
Monogenic: | Not computed | |
Index: | $1$ | |
Inessential primes: | None |
Class group and class number
not computed
Unit group
Rank: | $44$ | sage: UK.rank()
gp: K.fu
magma: UnitRank(K);
oscar: rank(UK)
| |
Torsion generator: | \( -1 \) (order $2$) | 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 $
Galois group
A cyclic group of order 45 |
The 45 conjugacy class representatives for $C_{45}$ |
Character table for $C_{45}$ |
Intermediate fields
3.3.361.1, 5.5.2825761.1, \(\Q(\zeta_{19})^+\), 15.15.138338254038795273955595483867881.1 |
Fields in the database are given up to isomorphism. Isomorphic intermediate fields are shown with their multiplicities.
Frobenius cycle types
$p$ | $2$ | $3$ | $5$ | $7$ | $11$ | $13$ | $17$ | $19$ | $23$ | $29$ | $31$ | $37$ | $41$ | $43$ | $47$ | $53$ | $59$ |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Cycle type | $45$ | ${\href{/padicField/3.9.0.1}{9} }^{5}$ | $45$ | $15^{3}$ | $15^{3}$ | $45$ | $45$ | R | $45$ | $45$ | $15^{3}$ | ${\href{/padicField/37.5.0.1}{5} }^{9}$ | R | $45$ | $45$ | $45$ | $45$ |
In the table, R denotes a ramified prime. Cycle lengths which are repeated in a cycle type are indicated by exponents.
Local algebras for ramified primes
$p$ | Label | Polynomial | $e$ | $f$ | $c$ | Galois group | Slope content |
---|---|---|---|---|---|---|---|
\(19\) | Deg $45$ | $9$ | $5$ | $40$ | |||
\(41\) | Deg $45$ | $5$ | $9$ | $36$ |