Galois'n laajennus

Wikipedia
Loikkaa: valikkoon, hakuun

Kuntateoriassa Galois'n laajennus on algebrallinen laajennus E/F, joka toteuttaa tiettyjä ominaisuuksia. Voidaan myös sanoa lyhyemmin, että laajennus on Galois. Galois'n laajennuksen merkittävyys käy ilmi siitä, että laajennuksella on Galois'n ryhmä ja se toteuttaa Galois'n teorian peruslauseen.

Galois'n laajennuksen määritelmä on seuraava: kuntalaajennus E/F on Galois, jos automorfismien ryhmän Aut(E/F) kiintokunta on sama kuin kunta F.

Emil Artinin tuloksen perusteella Galois'n laajennus voidaan konstruoida seuraavasti: Olkoon E on annettu kunta, G on äärellinen ryhmä E:n automorfismeja ja F on G:n kiintokunta. Tällöin E/F on E:n Galois'n laajennus.

Galois'n laajennusten karakterisointi[muokkaa | muokkaa wikitekstiä]

Tärkeä Emil Artinin tulos on seuraava: Äärellinen laajennus E/F on Galois, jos ja vain jos jokin seuraavista on voimassa