Normalized defining polynomial
\( x^{36} - 15 x^{35} + 102 x^{34} - 437 x^{33} + 1473 x^{32} - 4506 x^{31} + 12677 x^{30} + \cdots + 3663748864 \)
Invariants
| Degree: | $36$ |
| |
| Signature: | $(0, 18)$ |
| |
| Discriminant: |
\(301\!\cdots\!784\)
\(\medspace = 2^{18}\cdot 3^{42}\cdot 7^{18}\cdot 31^{12}\cdot 67^{12}\)
|
| |
| Root discriminant: | \(172.00\) |
| |
| Galois root discriminant: | $2^{3/2}3^{7/6}7^{3/4}31^{1/2}67^{1/2}\approx 1998.6108262880957$ | ||
| Ramified primes: |
\(2\), \(3\), \(7\), \(31\), \(67\)
|
| |
| Discriminant root field: | \(\Q\) | ||
| $\Aut(K/\Q)$: | $C_2^2$ |
| |
| This field is not Galois over $\Q$. | |||
| This is a CM field. | |||
| Reflex fields: | unavailable$^{131072}$ | ||
Integral basis (with respect to field generator \(a\))
$1$, $a$, $a^{2}$, $a^{3}$, $a^{4}$, $a^{5}$, $a^{6}$, $\frac{1}{2}a^{7}-\frac{1}{2}a$, $\frac{1}{2}a^{8}-\frac{1}{2}a^{2}$, $\frac{1}{2}a^{9}-\frac{1}{2}a^{3}$, $\frac{1}{2}a^{10}-\frac{1}{2}a^{4}$, $\frac{1}{2}a^{11}-\frac{1}{2}a^{5}$, $\frac{1}{4}a^{12}-\frac{1}{4}a^{11}-\frac{1}{4}a^{9}-\frac{1}{4}a^{8}-\frac{1}{4}a^{6}-\frac{1}{4}a^{5}-\frac{1}{2}a^{4}+\frac{1}{4}a^{3}-\frac{1}{4}a^{2}-\frac{1}{2}a$, $\frac{1}{4}a^{13}-\frac{1}{4}a^{11}-\frac{1}{4}a^{10}-\frac{1}{4}a^{8}-\frac{1}{4}a^{7}-\frac{1}{2}a^{6}+\frac{1}{4}a^{5}-\frac{1}{4}a^{4}-\frac{1}{2}a^{3}+\frac{1}{4}a^{2}-\frac{1}{2}a$, $\frac{1}{4}a^{14}-\frac{1}{4}a^{2}$, $\frac{1}{4}a^{15}-\frac{1}{4}a^{3}$, $\frac{1}{8}a^{16}-\frac{1}{8}a^{15}-\frac{1}{4}a^{10}-\frac{1}{4}a^{8}-\frac{1}{2}a^{5}+\frac{1}{8}a^{4}+\frac{1}{8}a^{3}-\frac{1}{4}a^{2}$, $\frac{1}{8}a^{17}-\frac{1}{8}a^{15}-\frac{1}{4}a^{11}-\frac{1}{4}a^{10}-\frac{1}{4}a^{9}-\frac{1}{4}a^{8}-\frac{1}{2}a^{6}-\frac{3}{8}a^{5}+\frac{1}{4}a^{4}-\frac{1}{8}a^{3}-\frac{1}{4}a^{2}$, $\frac{1}{8}a^{18}-\frac{1}{8}a^{15}+\frac{3}{8}a^{6}-\frac{3}{8}a^{3}$, $\frac{1}{8}a^{19}-\frac{1}{8}a^{15}-\frac{1}{4}a^{10}-\frac{1}{4}a^{8}-\frac{1}{8}a^{7}-\frac{1}{2}a^{5}-\frac{1}{4}a^{4}+\frac{1}{8}a^{3}-\frac{1}{4}a^{2}-\frac{1}{2}a$, $\frac{1}{16}a^{20}-\frac{1}{16}a^{19}-\frac{1}{16}a^{17}-\frac{1}{16}a^{16}-\frac{1}{8}a^{15}-\frac{1}{8}a^{14}-\frac{1}{8}a^{12}-\frac{1}{8}a^{11}-\frac{1}{4}a^{10}-\frac{1}{8}a^{9}+\frac{1}{16}a^{8}+\frac{1}{16}a^{7}+\frac{1}{8}a^{6}-\frac{5}{16}a^{5}+\frac{5}{16}a^{4}+\frac{1}{4}a^{3}-\frac{1}{2}a^{2}$, $\frac{1}{16}a^{21}-\frac{1}{16}a^{19}-\frac{1}{16}a^{18}-\frac{1}{16}a^{16}-\frac{1}{8}a^{14}-\frac{1}{8}a^{13}+\frac{1}{8}a^{11}+\frac{1}{8}a^{10}-\frac{1}{16}a^{9}-\frac{1}{8}a^{8}+\frac{3}{16}a^{7}+\frac{1}{16}a^{6}-\frac{1}{8}a^{5}+\frac{7}{16}a^{4}+\frac{1}{4}a^{2}-\frac{1}{2}a$, $\frac{1}{16}a^{22}-\frac{1}{16}a^{16}-\frac{1}{4}a^{11}+\frac{3}{16}a^{10}-\frac{1}{4}a^{8}-\frac{1}{2}a^{6}+\frac{1}{4}a^{5}+\frac{5}{16}a^{4}-\frac{1}{2}a^{3}+\frac{1}{4}a^{2}-\frac{1}{2}a$, $\frac{1}{16}a^{23}-\frac{1}{16}a^{17}-\frac{1}{16}a^{11}-\frac{1}{4}a^{8}+\frac{1}{16}a^{5}+\frac{1}{4}a^{2}$, $\frac{1}{32}a^{24}-\frac{1}{32}a^{22}-\frac{1}{16}a^{19}-\frac{1}{32}a^{18}-\frac{1}{16}a^{17}+\frac{1}{32}a^{16}-\frac{1}{8}a^{14}-\frac{1}{32}a^{12}-\frac{1}{4}a^{11}+\frac{5}{32}a^{10}-\frac{1}{4}a^{9}-\frac{1}{8}a^{8}-\frac{3}{16}a^{7}-\frac{15}{32}a^{6}-\frac{3}{16}a^{5}-\frac{5}{32}a^{4}-\frac{1}{4}a^{3}-\frac{1}{4}a^{2}+\frac{1}{4}a$, $\frac{1}{32}a^{25}-\frac{1}{32}a^{23}+\frac{1}{32}a^{19}-\frac{1}{16}a^{18}-\frac{1}{32}a^{17}-\frac{1}{16}a^{16}-\frac{1}{8}a^{15}-\frac{1}{8}a^{14}-\frac{1}{32}a^{13}-\frac{1}{8}a^{12}-\frac{7}{32}a^{11}-\frac{1}{4}a^{10}-\frac{1}{8}a^{8}-\frac{1}{32}a^{7}-\frac{5}{16}a^{6}-\frac{7}{32}a^{5}-\frac{3}{16}a^{4}-\frac{3}{8}a^{3}-\frac{1}{4}a^{2}-\frac{1}{2}a$, $\frac{1}{32}a^{26}-\frac{1}{32}a^{22}-\frac{1}{32}a^{20}-\frac{1}{16}a^{19}-\frac{1}{16}a^{18}-\frac{1}{16}a^{17}-\frac{1}{32}a^{16}-\frac{1}{32}a^{14}-\frac{1}{8}a^{13}-\frac{1}{8}a^{12}+\frac{1}{8}a^{11}-\frac{3}{32}a^{10}-\frac{1}{4}a^{9}-\frac{7}{32}a^{8}-\frac{1}{16}a^{7}+\frac{3}{16}a^{6}+\frac{7}{16}a^{5}-\frac{11}{32}a^{4}+\frac{1}{4}a^{3}-\frac{1}{4}a^{2}-\frac{1}{4}a$, $\frac{1}{64}a^{27}+\frac{1}{64}a^{23}-\frac{1}{32}a^{22}-\frac{1}{64}a^{21}-\frac{1}{32}a^{20}-\frac{1}{32}a^{19}+\frac{1}{32}a^{18}-\frac{3}{64}a^{17}-\frac{1}{32}a^{16}+\frac{7}{64}a^{15}-\frac{1}{16}a^{14}+\frac{1}{16}a^{13}+\frac{1}{16}a^{12}+\frac{11}{64}a^{11}-\frac{7}{32}a^{10}+\frac{9}{64}a^{9}-\frac{1}{32}a^{8}+\frac{7}{32}a^{7}+\frac{13}{32}a^{6}-\frac{9}{64}a^{5}-\frac{7}{32}a^{4}+\frac{1}{4}a^{3}+\frac{1}{8}a^{2}+\frac{1}{4}a$, $\frac{1}{64}a^{28}-\frac{1}{64}a^{24}-\frac{1}{32}a^{23}+\frac{1}{64}a^{22}-\frac{1}{32}a^{21}-\frac{1}{32}a^{20}-\frac{1}{32}a^{19}-\frac{1}{64}a^{18}+\frac{1}{32}a^{17}-\frac{3}{64}a^{16}-\frac{1}{16}a^{15}-\frac{1}{16}a^{14}+\frac{1}{16}a^{13}-\frac{3}{64}a^{12}-\frac{7}{32}a^{11}-\frac{1}{64}a^{10}-\frac{1}{32}a^{9}+\frac{3}{32}a^{8}+\frac{7}{32}a^{7}-\frac{27}{64}a^{6}-\frac{9}{32}a^{5}-\frac{15}{32}a^{4}-\frac{3}{8}a^{3}-\frac{1}{2}a^{2}+\frac{1}{4}a$, $\frac{1}{64}a^{29}-\frac{1}{64}a^{25}+\frac{1}{64}a^{23}-\frac{1}{32}a^{21}-\frac{1}{32}a^{20}+\frac{3}{64}a^{19}+\frac{1}{64}a^{17}+\frac{1}{32}a^{16}+\frac{1}{16}a^{15}-\frac{1}{16}a^{14}-\frac{3}{64}a^{13}-\frac{1}{64}a^{11}+\frac{1}{16}a^{10}-\frac{5}{32}a^{9}-\frac{5}{32}a^{8}-\frac{15}{64}a^{7}-\frac{1}{32}a^{5}-\frac{3}{32}a^{4}+\frac{1}{8}a^{3}+\frac{1}{4}a^{2}+\frac{1}{4}a$, $\frac{1}{128}a^{30}-\frac{1}{128}a^{27}+\frac{1}{128}a^{26}+\frac{1}{128}a^{24}+\frac{3}{128}a^{23}+\frac{1}{64}a^{22}+\frac{3}{128}a^{21}-\frac{1}{128}a^{20}-\frac{1}{64}a^{19}-\frac{1}{128}a^{18}+\frac{1}{128}a^{17}-\frac{1}{16}a^{16}-\frac{3}{128}a^{15}-\frac{1}{128}a^{14}-\frac{1}{32}a^{13}+\frac{11}{128}a^{12}+\frac{29}{128}a^{11}-\frac{15}{64}a^{10}+\frac{17}{128}a^{9}-\frac{23}{128}a^{8}+\frac{3}{64}a^{7}-\frac{3}{32}a^{6}-\frac{33}{128}a^{5}+\frac{9}{32}a^{4}-\frac{1}{8}a^{3}+\frac{3}{16}a^{2}$, $\frac{1}{128}a^{31}-\frac{1}{128}a^{28}-\frac{1}{128}a^{27}+\frac{1}{128}a^{25}-\frac{1}{128}a^{24}+\frac{3}{128}a^{22}+\frac{1}{128}a^{21}+\frac{1}{64}a^{20}-\frac{5}{128}a^{19}+\frac{1}{128}a^{18}+\frac{3}{64}a^{17}+\frac{5}{128}a^{16}+\frac{1}{128}a^{15}-\frac{3}{32}a^{14}+\frac{3}{128}a^{13}-\frac{7}{128}a^{12}-\frac{5}{32}a^{11}-\frac{31}{128}a^{10}+\frac{23}{128}a^{9}-\frac{3}{64}a^{8}-\frac{57}{128}a^{6}-\frac{25}{64}a^{5}+\frac{3}{16}a^{4}+\frac{5}{16}a^{3}-\frac{3}{8}a^{2}$, $\frac{1}{49664}a^{32}+\frac{53}{49664}a^{31}+\frac{19}{6208}a^{30}+\frac{73}{49664}a^{29}+\frac{17}{6208}a^{28}-\frac{129}{49664}a^{27}-\frac{547}{49664}a^{26}+\frac{169}{24832}a^{25}-\frac{63}{49664}a^{24}-\frac{347}{49664}a^{23}+\frac{259}{24832}a^{22}+\frac{1483}{49664}a^{21}+\frac{913}{49664}a^{20}+\frac{1545}{24832}a^{19}+\frac{1473}{49664}a^{18}-\frac{2771}{49664}a^{17}-\frac{93}{12416}a^{16}+\frac{1541}{49664}a^{15}+\frac{4955}{49664}a^{14}-\frac{323}{24832}a^{13}-\frac{4501}{49664}a^{12}+\frac{2603}{49664}a^{11}+\frac{4159}{24832}a^{10}+\frac{1881}{49664}a^{9}-\frac{5853}{24832}a^{8}+\frac{3629}{49664}a^{7}-\frac{15173}{49664}a^{6}-\frac{10243}{24832}a^{5}-\frac{1827}{6208}a^{4}-\frac{2989}{6208}a^{3}-\frac{669}{3104}a^{2}+\frac{53}{776}a-\frac{81}{194}$, $\frac{1}{5860352}a^{33}-\frac{27}{2930176}a^{32}-\frac{21427}{5860352}a^{31}-\frac{283}{5860352}a^{30}-\frac{28627}{5860352}a^{29}+\frac{11315}{5860352}a^{28}-\frac{287}{366272}a^{27}+\frac{79431}{5860352}a^{26}+\frac{72799}{5860352}a^{25}-\frac{41035}{2930176}a^{24}-\frac{68277}{5860352}a^{23}+\frac{28701}{5860352}a^{22}+\frac{205}{12416}a^{21}+\frac{50123}{5860352}a^{20}-\frac{249617}{5860352}a^{19}-\frac{263}{2930176}a^{18}-\frac{306439}{5860352}a^{17}+\frac{55701}{5860352}a^{16}+\frac{30827}{1465088}a^{15}+\frac{362733}{5860352}a^{14}+\frac{253577}{5860352}a^{13}-\frac{141239}{2930176}a^{12}+\frac{1262009}{5860352}a^{11}-\frac{651077}{5860352}a^{10}+\frac{598723}{5860352}a^{9}+\frac{312167}{5860352}a^{8}+\frac{10487}{1465088}a^{7}-\frac{697427}{5860352}a^{6}-\frac{20405}{2930176}a^{5}+\frac{48513}{183136}a^{4}+\frac{189281}{732544}a^{3}-\frac{175943}{366272}a^{2}-\frac{21321}{91568}a+\frac{4399}{22892}$, $\frac{1}{11720704}a^{34}-\frac{1}{11720704}a^{33}+\frac{19}{11720704}a^{32}+\frac{7529}{5860352}a^{31}+\frac{17127}{5860352}a^{30}+\frac{181}{24832}a^{29}-\frac{82217}{11720704}a^{28}+\frac{88339}{11720704}a^{27}-\frac{88761}{5860352}a^{26}+\frac{134325}{11720704}a^{25}+\frac{2529}{11720704}a^{24}-\frac{21871}{732544}a^{23}+\frac{62201}{11720704}a^{22}-\frac{344705}{11720704}a^{21}-\frac{38735}{5860352}a^{20}+\frac{27309}{11720704}a^{19}-\frac{697993}{11720704}a^{18}-\frac{130969}{5860352}a^{17}+\frac{396861}{11720704}a^{16}-\frac{1335747}{11720704}a^{15}+\frac{256143}{5860352}a^{14}+\frac{155391}{11720704}a^{13}-\frac{326945}{11720704}a^{12}-\frac{255265}{2930176}a^{11}-\frac{534715}{5860352}a^{10}-\frac{307187}{5860352}a^{9}+\frac{1201487}{11720704}a^{8}+\frac{2658381}{11720704}a^{7}+\frac{3341883}{11720704}a^{6}+\frac{70455}{5860352}a^{5}+\frac{424213}{1465088}a^{4}+\frac{525803}{1465088}a^{3}+\frac{172753}{732544}a^{2}+\frac{84339}{183136}a-\frac{18901}{45784}$, $\frac{1}{38\cdots 84}a^{35}+\frac{13\cdots 51}{19\cdots 92}a^{34}-\frac{48\cdots 69}{95\cdots 96}a^{33}-\frac{12\cdots 97}{38\cdots 84}a^{32}-\frac{74\cdots 91}{95\cdots 96}a^{31}-\frac{48\cdots 95}{19\cdots 92}a^{30}+\frac{16\cdots 79}{38\cdots 84}a^{29}+\frac{10\cdots 41}{95\cdots 96}a^{28}-\frac{20\cdots 69}{38\cdots 84}a^{27}+\frac{29\cdots 31}{38\cdots 84}a^{26}-\frac{75\cdots 11}{95\cdots 96}a^{25}-\frac{68\cdots 13}{38\cdots 84}a^{24}+\frac{70\cdots 21}{38\cdots 84}a^{23}-\frac{29\cdots 85}{19\cdots 92}a^{22}+\frac{78\cdots 79}{38\cdots 84}a^{21}+\frac{58\cdots 55}{38\cdots 84}a^{20}+\frac{84\cdots 49}{19\cdots 92}a^{19}-\frac{62\cdots 41}{38\cdots 84}a^{18}-\frac{22\cdots 53}{38\cdots 84}a^{17}+\frac{20\cdots 55}{47\cdots 48}a^{16}+\frac{48\cdots 61}{39\cdots 72}a^{15}+\frac{72\cdots 17}{38\cdots 84}a^{14}+\frac{18\cdots 23}{47\cdots 48}a^{13}+\frac{39\cdots 33}{38\cdots 84}a^{12}-\frac{80\cdots 21}{19\cdots 92}a^{11}+\frac{52\cdots 79}{24\cdots 92}a^{10}-\frac{63\cdots 51}{38\cdots 84}a^{9}-\frac{14\cdots 73}{19\cdots 92}a^{8}+\frac{23\cdots 67}{19\cdots 92}a^{7}+\frac{71\cdots 11}{38\cdots 84}a^{6}+\frac{82\cdots 29}{19\cdots 92}a^{5}+\frac{17\cdots 51}{23\cdots 24}a^{4}+\frac{31\cdots 27}{47\cdots 48}a^{3}-\frac{57\cdots 45}{24\cdots 92}a^{2}+\frac{21\cdots 77}{59\cdots 56}a+\frac{51\cdots 45}{14\cdots 64}$
| Monogenic: | No | |
| Index: | Not computed | |
| Inessential primes: | $2$ |
Class group and class number
| Ideal class group: | not computed |
| |
| Narrow class group: | not computed |
| |
| Relative class number: | data not computed |
Unit group
| Rank: | $17$ |
| |
| Torsion generator: |
\( -\frac{331161847268640872733161222247267662449560971474337341911207659275148371964513629483864322413255235}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{35} + \frac{2379027446025736846467265035575211376469885392075216246596657865673988150991554664572481561988368283}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{34} - \frac{7658772558613388802397894128692554732136009370985843173961780016719709867661643552910915196611511369}{542772644822543093824789849392560298708335025842004215037313818241419927534756750198638396884697975939848192} a^{33} + \frac{123300610614050715193575424206043456543598725458009780012348952823356984256427132505082642971920054651}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{32} - \frac{98929976528665266411168708110233055484205257628682880561834754199836500548473759819178857725517229969}{542772644822543093824789849392560298708335025842004215037313818241419927534756750198638396884697975939848192} a^{31} + \frac{590200837251534686754755163400019047243605713773317352009468598130633684459824065148917090779601646973}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{30} - \frac{3240492087851992280835943589837747168970431611285842951952471289141152597478832802701942033379619609981}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{29} + \frac{2011929675918606327951908083355116882615917769125106569742046724742363430899721555809074543161489095577}{542772644822543093824789849392560298708335025842004215037313818241419927534756750198638396884697975939848192} a^{28} - \frac{19971118098110254963067357697764280665232230818845403002015789491352462590277678016416610497324885319353}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{27} + \frac{50583162757696391854410529190828274673566510430671823377508230739805172813469856499139754913398726408907}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{26} - \frac{25076591826288662773212080907285637469531148537356774495392257990160518271230110129270918537443375212967}{542772644822543093824789849392560298708335025842004215037313818241419927534756750198638396884697975939848192} a^{25} + \frac{211541360447080035548233277771341657603403208208754281411056243570312793331430266217105850994626095232555}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{24} - \frac{565668139968512772990360368541495193711040421862410917475345319847579083272540490093040687975114820601371}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{23} + \frac{7963608685803018419459379633644310443743892985564491555983107793815063806907030921158398802734718911945}{18399072705848918434738638962459671142655424604813702204654705703098980594398533905038589724905016133554176} a^{22} - \frac{1684843339158039504851190893946585447195294196163570923314100810529021345781120348872807081077063384121457}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{21} + \frac{188945844866398673818586809502186123068057039348094791112446556574171060665797031542247302777038322073439}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{20} + \frac{2473122448833358363107667591029085145868375889637476002376634396479202646094074353242751943049632384826309}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{19} + \frac{24313051638468193237132596407403900575175803282446924531102197777519741617621585006853980656497001571635}{22382377106084251291743911315157125719931341271835225362363456422326594949886876296851067912771050554220544} a^{18} + \frac{29481908315149364008127670162807944853646540492325229070723682834697686022753295248589654495710199803365475}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{17} - \frac{9427228281175512203445396299770088946113003527673485190361174975770231916365596621455879868970641489018591}{271386322411271546912394924696280149354167512921002107518656909120709963767378375099319198442348987969924096} a^{16} - \frac{69654150861742342955743547191153580301611153042682651893639557597131802867927807394306591793742180836134363}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{15} + \frac{878805546895644447978819943320345350579352153904969076295283204497579605845413805889387573105541547399308669}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{14} - \frac{144717154558671786742883816081802027060652794686608340293841287797361816820659590840678528533731238441668925}{271386322411271546912394924696280149354167512921002107518656909120709963767378375099319198442348987969924096} a^{13} - \frac{3217343799351421111152199496627571262356808547524094769366759746153332985552161333357750966443337550146090191}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{12} + \frac{2923396053711694522278967514589998653301115384949838912445941293911839177807381603372147288981908165419070475}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{11} + \frac{858506228224767293917148313168280034503065023243974946362082649397930524689877735353132008735196705516727705}{271386322411271546912394924696280149354167512921002107518656909120709963767378375099319198442348987969924096} a^{10} - \frac{40921898781809385098749494807050162185363985094139328308410727825526423550995871972599728940827440150629778927}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{9} + \frac{20245408207123416381727017943410159399912598170091950791405307856799118267437260785594646692989411105799138711}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{8} + \frac{10175720335906271094523297156685229574416006391591521832627932963861639937663301081123977107841575394870500223}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{7} - \frac{85980399387502974026362477054121321215465047599099258432994448430527138196157185791174800424824559804504267881}{2171090579290172375299159397570241194833340103368016860149255272965679710139027000794553587538791903759392768} a^{6} + \frac{8090768025593165634404148225566670709565037227103355097664914463654464410076728992961846453849290512882073617}{1085545289645086187649579698785120597416670051684008430074627636482839855069513500397276793769395951879696384} a^{5} + \frac{4111407814062518459523717558783487247703368887747185142477386518238162221020188023578452131621351014778557199}{135693161205635773456197462348140074677083756460501053759328454560354981883689187549659599221174493984962048} a^{4} - \frac{4985322732289449162596642246473324466155239025453231151754028015181590423298437729824453934882208332887632629}{271386322411271546912394924696280149354167512921002107518656909120709963767378375099319198442348987969924096} a^{3} - \frac{3909302796244136598400351761516979377450254243653763744416683216172130309429211882119685603770939232825091529}{135693161205635773456197462348140074677083756460501053759328454560354981883689187549659599221174493984962048} a^{2} - \frac{69084107741548820606374999094038542875770746289432059240454054907486948070285773864283821024670949070883291}{33923290301408943364049365587035018669270939115125263439832113640088745470922296887414899805293623496240512} a + \frac{30866460409739006953400723773899288935436370425626178572195681537439166373748645356029522801771326525232817}{8480822575352235841012341396758754667317734778781315859958028410022186367730574221853724951323405874060128} \)
(order $6$)
|
| |
| Fundamental units: | not computed |
| |
| Regulator: | not computed |
|
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 = \mathstrut &\frac{2^{0}\cdot(2\pi)^{18}\cdot R \cdot h}{6\cdot\sqrt{301047689812153559468949278808203982205593781388513760108410233287654372163190784}}\cr\mathstrut & \text{
Galois group
$C_2^2:D_6^2$ (as 36T807):
| A solvable group of order 576 |
| The 60 conjugacy class representatives for $C_2^2:D_6^2$ |
| Character table for $C_2^2:D_6^2$ |
Intermediate fields
Fields in the database are given up to isomorphism. Isomorphic intermediate fields are shown with their multiplicities.
Sibling fields
| Degree 36 siblings: | deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, deg 36, some data not computed |
| Minimal sibling: | This field is its own minimal sibling |
Frobenius cycle types
| $p$ | $2$ | $3$ | $5$ | $7$ | $11$ | $13$ | $17$ | $19$ | $23$ | $29$ | $31$ | $37$ | $41$ | $43$ | $47$ | $53$ | $59$ |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cycle type | R | R | ${\href{/padicField/5.6.0.1}{6} }^{6}$ | R | ${\href{/padicField/11.6.0.1}{6} }^{6}$ | ${\href{/padicField/13.6.0.1}{6} }^{4}{,}\,{\href{/padicField/13.3.0.1}{3} }^{4}$ | ${\href{/padicField/17.12.0.1}{12} }^{2}{,}\,{\href{/padicField/17.6.0.1}{6} }^{2}$ | ${\href{/padicField/19.12.0.1}{12} }^{2}{,}\,{\href{/padicField/19.6.0.1}{6} }^{2}$ | ${\href{/padicField/23.6.0.1}{6} }^{6}$ | ${\href{/padicField/29.6.0.1}{6} }^{6}$ | R | ${\href{/padicField/37.6.0.1}{6} }^{6}$ | ${\href{/padicField/41.6.0.1}{6} }^{6}$ | ${\href{/padicField/43.4.0.1}{4} }^{6}{,}\,{\href{/padicField/43.2.0.1}{2} }^{4}{,}\,{\href{/padicField/43.1.0.1}{1} }^{4}$ | ${\href{/padicField/47.4.0.1}{4} }^{6}{,}\,{\href{/padicField/47.2.0.1}{2} }^{6}$ | ${\href{/padicField/53.4.0.1}{4} }^{6}{,}\,{\href{/padicField/53.2.0.1}{2} }^{6}$ | ${\href{/padicField/59.2.0.1}{2} }^{18}$ |
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 |
|---|---|---|---|---|---|---|---|
|
\(2\)
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.1.0a1.1 | $x^{2} + x + 1$ | $1$ | $2$ | $0$ | $C_2$ | $$[\ ]^{2}$$ | |
| 2.2.2.6a1.5 | $x^{4} + 2 x^{3} + 7 x^{2} + 6 x + 7$ | $2$ | $2$ | $6$ | $C_2^2$ | $$[3]^{2}$$ | |
| 2.2.2.6a1.5 | $x^{4} + 2 x^{3} + 7 x^{2} + 6 x + 7$ | $2$ | $2$ | $6$ | $C_2^2$ | $$[3]^{2}$$ | |
| 2.2.2.6a1.5 | $x^{4} + 2 x^{3} + 7 x^{2} + 6 x + 7$ | $2$ | $2$ | $6$ | $C_2^2$ | $$[3]^{2}$$ | |
|
\(3\)
| 3.3.6.21a2.1 | $x^{18} + 12 x^{16} + 6 x^{15} + 60 x^{14} + 60 x^{13} + 175 x^{12} + 240 x^{11} + 360 x^{10} + 500 x^{9} + 552 x^{8} + 600 x^{7} + 565 x^{6} + 432 x^{5} + 324 x^{4} + 178 x^{3} + 84 x^{2} + 36 x + 10$ | $6$ | $3$ | $21$ | $S_3 \times C_6$ | not computed |
| 3.3.6.21a2.1 | $x^{18} + 12 x^{16} + 6 x^{15} + 60 x^{14} + 60 x^{13} + 175 x^{12} + 240 x^{11} + 360 x^{10} + 500 x^{9} + 552 x^{8} + 600 x^{7} + 565 x^{6} + 432 x^{5} + 324 x^{4} + 178 x^{3} + 84 x^{2} + 36 x + 10$ | $6$ | $3$ | $21$ | $S_3 \times C_6$ | not computed | |
|
\(7\)
| 7.3.1.0a1.1 | $x^{3} + 6 x^{2} + 4$ | $1$ | $3$ | $0$ | $C_3$ | $$[\ ]^{3}$$ |
| 7.3.1.0a1.1 | $x^{3} + 6 x^{2} + 4$ | $1$ | $3$ | $0$ | $C_3$ | $$[\ ]^{3}$$ | |
| 7.3.1.0a1.1 | $x^{3} + 6 x^{2} + 4$ | $1$ | $3$ | $0$ | $C_3$ | $$[\ ]^{3}$$ | |
| 7.3.1.0a1.1 | $x^{3} + 6 x^{2} + 4$ | $1$ | $3$ | $0$ | $C_3$ | $$[\ ]^{3}$$ | |
| 7.3.4.9a1.1 | $x^{12} + 24 x^{11} + 216 x^{10} + 880 x^{9} + 1584 x^{8} + 1728 x^{7} + 3552 x^{6} + 1152 x^{5} + 3456 x^{4} + 256 x^{3} + 1536 x^{2} + 7 x + 256$ | $4$ | $3$ | $9$ | $D_4 \times C_3$ | $$[\ ]_{4}^{6}$$ | |
| 7.3.4.9a1.1 | $x^{12} + 24 x^{11} + 216 x^{10} + 880 x^{9} + 1584 x^{8} + 1728 x^{7} + 3552 x^{6} + 1152 x^{5} + 3456 x^{4} + 256 x^{3} + 1536 x^{2} + 7 x + 256$ | $4$ | $3$ | $9$ | $D_4 \times C_3$ | $$[\ ]_{4}^{6}$$ | |
|
\(31\)
| 31.6.1.0a1.1 | $x^{6} + 19 x^{3} + 16 x^{2} + 8 x + 3$ | $1$ | $6$ | $0$ | $C_6$ | $$[\ ]^{6}$$ |
| 31.6.1.0a1.1 | $x^{6} + 19 x^{3} + 16 x^{2} + 8 x + 3$ | $1$ | $6$ | $0$ | $C_6$ | $$[\ ]^{6}$$ | |
| 31.6.2.6a1.2 | $x^{12} + 38 x^{9} + 32 x^{8} + 16 x^{7} + 367 x^{6} + 608 x^{5} + 560 x^{4} + 370 x^{3} + 160 x^{2} + 48 x + 40$ | $2$ | $6$ | $6$ | $C_6\times C_2$ | $$[\ ]_{2}^{6}$$ | |
| 31.6.2.6a1.2 | $x^{12} + 38 x^{9} + 32 x^{8} + 16 x^{7} + 367 x^{6} + 608 x^{5} + 560 x^{4} + 370 x^{3} + 160 x^{2} + 48 x + 40$ | $2$ | $6$ | $6$ | $C_6\times C_2$ | $$[\ ]_{2}^{6}$$ | |
|
\(67\)
| 67.6.1.0a1.1 | $x^{6} + 63 x^{3} + 49 x^{2} + 55 x + 2$ | $1$ | $6$ | $0$ | $C_6$ | $$[\ ]^{6}$$ |
| 67.6.1.0a1.1 | $x^{6} + 63 x^{3} + 49 x^{2} + 55 x + 2$ | $1$ | $6$ | $0$ | $C_6$ | $$[\ ]^{6}$$ | |
| 67.6.2.6a1.2 | $x^{12} + 126 x^{9} + 98 x^{8} + 110 x^{7} + 3973 x^{6} + 6174 x^{5} + 9331 x^{4} + 5642 x^{3} + 3221 x^{2} + 220 x + 71$ | $2$ | $6$ | $6$ | $C_6\times C_2$ | $$[\ ]_{2}^{6}$$ | |
| 67.6.2.6a1.2 | $x^{12} + 126 x^{9} + 98 x^{8} + 110 x^{7} + 3973 x^{6} + 6174 x^{5} + 9331 x^{4} + 5642 x^{3} + 3221 x^{2} + 220 x + 71$ | $2$ | $6$ | $6$ | $C_6\times C_2$ | $$[\ ]_{2}^{6}$$ |