Ciklotominiai laukai ir abelinės Galois grupės
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Primityviajai n-tojo laipsnio vieneto šakniai zeta-n grupė Gal(Q(zeta-n)/Q) yra izomorfiška apverčiamųjų liekanų modulo n grupei pagal atvaizdį a↦(zeta-n↦zeta-n^a), o plėtinio laipsnis yra Eulerio phi(n).
Esminės žinios
Primityviajai n-tojo laipsnio vieneto šakniai zeta-n grupė Gal(Q(zeta-n)/Q) yra izomorfiška apverčiamųjų liekanų modulo n grupei pagal atvaizdį a↦(zeta-n↦zeta-n^a), o plėtinio laipsnis yra Eulerio phi(n). Kai n=5, grupė yra ketvirtosios eilės ciklinė grupė; kai n=8, ji yra C2×C2. Ciklotominiai polinomai yra neredukuojami virš Q; virš kito pagrindinio lauko grupė gali būti mažesnė.
Vertės ir lygtys
[Q(zeta_n):Q]=phi(n); Gal(Q(zeta_n)/Q) ≅ (Z/nZ)^×
- zeta_n
- Pirmykštė kompleksinė n-tojo laipsnio vieneto šaknis
- phi(n)
- Apverčiamųjų liekanų modulo n skaičius
Sąlygos ir taikymo ribos
- n yra teigiamas sveikasis skaičius, o pateiktame rezultate apie visą grupę bazinis kūnas yra Q.
- Teigiamos charakteristikos atveju x^n−1 separabilumui būtina, kad charakteristika nedalytų n.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinio vietas: 2.6/2.10 pavyzdžiai, p. 29: kubinių polinomų skaidymo kūnai ir šaknys; 3.8 pavyzdys, p. 37: x kubu minus 2 nenormalusis realusis kūnas; 4.7 pavyzdys, p. 49: kubinių polinomų A3/S3 kriterijus, pritaikytas užfiksuotame išspręstame pavyzdyje; ciklotominiai plėtiniai, p. 64–66; išsprendžiamumo teorema 5.34, p. 76–80. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atliktas išsamus įrodymo atkūrimas, programinis įrodymo pakartojimas ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir galiojimo srities patikra; kiekvienos grafo sąsajos patikros apimtis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-math-cyclotomic-galois-example
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas