„Galois-elmélet” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
FoBe (vitalap | szerkesztései) →Alapfogalmai: horgonyok |
|||
8. sor:
*Egy ''L''|''K'' [[testbővítés]] ''normális'', hogy, ha ''f'' ''K'' fölötti irreducibilis polinom, akkor ''f'' vagy irreducibilis marad ''L'' fölött is, vagy elsőfokú tényezők szorzatára bomlik. Ezek pontosan a felbontási testek.
*Egy testbővítés ''szeparábilis'', ha megkapható olyan elemmel vett bővítésként, aminek főpolinomjának nincs többszörös gyöke egy bővebb test fölött sem. Ezek az elemek szeparábilisek.
{{horgony|Galois-bővítés}}
*Egy testbővítés Galois-bővítés, ha véges fokú, normális és szeparábilis. Ekvivalensen, a többszörös gyök nélküli polinomok felbontási testei Galois-bővítések.
*Egy [[test (algebra)|test]] ''tökéletes'', ha minden bővítése szeparábilis. A véges testek és a nulla karakterisztikájú testek mind tökéletes testek.
{{horgony|Galois-csoport}}
*Egy ''L''|''K'' testbővítés relatív automorfizmusai ''L''-nek azok az [[automorfizmus]]ai, amik fixen hagyják ''K''-t. Ezek az automorfizmusok csoportot alkotnak; ezt a csoportot a továbbiakban Gal(''L''|''K'') jelöli.
*Relatív automorfizmusok egy ''H'' csoportja által fixen hagyott testet Fix(''H'')-val jelöljük.
|