Kroppsutvidgning

En kroppsutvidgning är inom matematik en kropp som innehåller en annan kropp. Ofta utgår man från en speciell kropp och utökar den med fler element till en större kropp, ett förfarande som exempelvis används vid konstruktion av splittringskroppar.

Kroppsutvidgningar kan generaliseras till ringutvidgningar.

Definitioner

En delkropp K till en kropp L är en delmängd till L som är sluten under kroppsoperationerna och inverstagning. L sägs omvänt vara en kroppsutvidgning till K.

Givet en kropp K kan man skapa kroppsutvidgningar genom att adjungera element från en kroppsutvidgning L. Om $\alpha _{1},...,\alpha _{n}$ är element från L så är kroppsutvidgningen $K(\alpha _{1},...,\alpha _{n})$ snittet av alla underkroppar till L som innehåller K och alla element $\alpha _{1},...,\alpha _{n}$. En kroppsutvidgning som skapas genom adjungering av ett enda element, $K(\alpha )$ kallas för en enkel utvidgning och elementet $\alpha$ för primitivt element.

En kroppsutvidgning L av K kan ses som ett vektorrum över K och kan klassas som ändlig- eller oändligdimensionell. Om L är en ändligdimensionell utvidgning så kallas dimensionen av L som vektorrum för utvidgningens gradtal, vilket betecknas $[K:L]$.

Givet en kroppsutvidgning L av en kropp K, sägs ett element $\alpha$ i L vara algebraiskt i K om det finns ett icke-konstant polynom f med koefficienter i K så att $f(\alpha )=0$. Ett element som inte är algebraiskt kallas transcendent. En kroppsutvidgning M av K sägs vara en algebraisk utvidgning om varje element i M är algebraiskt i K och en transcendent utvidgning annars.

Exempel

• De komplexa talen C är en enkel algebraiskt utvidgning av de reella talen R med gradtal 2, ty $\mathbb {C} =\mathbb {R} (i)$ och i är en rot till $x^{2}+1$.
• R är en utvidgningskropp till kroppen Q av rationella tal. Utvidgningen har oändlig transcendensgrad.
• Den algebraiska talkroppen $\mathbb {Q} ({\sqrt {3}})$ är en kvadratisk utvidgning till Q och kan realiseras genom $\mathbb {Q} ({\sqrt {3}})=\{a+b{\sqrt {3}}:a,b\in \mathbb {Q} \}.$
• En splittringskropp S till ett polynom p i polynomringen till en kropp K är en kroppsutvidgning till K sådan att p kan faktoriseras i linjära termer i S och $S=K(\alpha _{1},...,\alpha _{n})$ är nollställena till f i S. Exempelvis är $\mathbb {Q} ({\sqrt {2}})$ splittringskroppen till $x^{2}-2$ i $\mathbb {Q}$.

Egenskaper

Om L är en utvidgning av K delar L och K etta och nolla, den additiva gruppen $(K,+)$ är en undergrupp till $(L,+)$ och motsvarande för de multiplikativa grupperna. K och L har samma karakteristik.

Om $\alpha$ är algebraisk i K med minimalpolynom $m(x)$ gäller att

$K(\alpha )\cong {\frac {K[x]}{(m(x))}},$

d.v.s. utvidgningen är isomorf med en kvotring av polynomringen $K[x]$.

Om K har karakteristiken 0 är varje ändlig utvidgning en enkel utvidgning, den så kallade primitiva elementsatsen.

Referenser

• Roman, Steven (2006). Field Theory. Springer Verlag. ISBN 0-387-276777 
• Svensson, Per-Anders (2001). Abstrakt Algebra. Studentlitteratur. ISBN 91-44-01262-4