Citat:
Ursprungligen postat av spudwish
Tja, det räcker ju att adjungera en av de komplexa rötterna, eftersom om (-1)^(1/3) är i utvidgningen så är (-1)^(m/3) det också. Det jag invänder mig mot är att denna utvidgning splittrar ett större polynom, och därför inte är "minimalt" s.a.s.
Nu förstår jag inte. Vilket större polynom skulle denna utvidgning splittra?
Splittringskroppen är den "minsta" utvidgningen så att x^3 + 1 kan delas upp i linjära faktorer. Det är uppenbart att e^(i * pi/3) i sin kropp för att detta ska gå, så därför kan inte splittringskroppen vara mindre än Q(e^(i*pi/3)). Eftersom x^3 + 1 faktiskt går att faktorisera i Q(e^(i*pi/3)), så måste alltså detta vara splittringskroppen.