Rozszerzenie ciała

Rozszerzenie ciała – większe (w sensie inkluzji) ciało zawierające dane ciało. Na przykład ciało liczb rzeczywistych jest rozszerzeniem ciała liczb wymiernych; ciało liczb zespolonych jest rozszerzeniem ciał liczb rzeczywistych (więc także wymiernych). Rozszerzenia ciał są centralnym pojęciem teorii Galois. Wyróżnia się wiele rodzajów rozszerzeń ciał ze względu na ich własności.

Każde rozszerzenie L {\displaystyle L} ciała K , {\displaystyle K,} oznaczane zwyczajowo L / K {\displaystyle L/K} lub L : K {\displaystyle L:K} [a], jest przestrzenią liniową nad K . {\displaystyle K.} Wymiar tej przestrzeni oznacza się przez [ L : K ] {\displaystyle [L:K]} i nazywa stopniem rozszerzenia L K . {\displaystyle L\supseteq K.}

Rozszerzenie ciała o pierwiastki wielomianu

Z teorii równań algebraicznych wynika, że każdy niesprzeczny układ równań nad ciałem K {\displaystyle K} ma rozwiązanie w pewnym ciele L . {\displaystyle L.} W szczególności, jeżeli f {\displaystyle f} jest wielomianem o współczynnikach z ciała K , {\displaystyle K,} to istnieje rozszerzenie L {\displaystyle L} ciała K , {\displaystyle K,} które zawiera pierwiastek a {\displaystyle a} wielomianu f . {\displaystyle f.}

Mówimy, że ciało L {\displaystyle L} jest rozszerzeniem ciała K {\displaystyle K} o pierwiastek a {\displaystyle a} wielomianu f K [ x ] {\displaystyle f\in K[x]} wtedy i tylko wtedy, gdy L = K ( a ) {\displaystyle L=K(a)} [b].

Dla przykładu, ciało liczb zespolonych jest rozszerzeniem ciała liczb rzeczywistych o pierwiastek wielomianu h ( x ) = x 2 + 1. {\displaystyle h(x)=x^{2}+1.}

Jeśli L {\displaystyle L} jest rozszerzeniem ciała K {\displaystyle K} oraz a L , {\displaystyle a\in L,} to

K ( a ) = { f ( a ) g ( a ) L : f , g K [ x ] , g ( a ) 0 } . {\displaystyle K(a)=\left\{{\tfrac {f(a)}{g(a)}}\in L\colon \,f,g\in K[x],g(a)\neq 0\right\}.}

Rozszerzenie o pierwiastek danego wielomianu nie jest wyznaczone jednoznacznie w przypadku gdy wielomian jest rozkładalny. W przypadku gdy dany wielomian jest nierozkładalny, to rozszerzenia wyznacza się z dokładnością do izomorfizmu.

Ciało rozkładu wielomianu

Mówimy, że ciało L {\displaystyle L} jest ciałem rozkładu wielomianu f K [ x ] {\displaystyle f\in K[x]} wtedy i tylko wtedy, gdy wielomian f {\displaystyle f} rozkłada się w pierścieniu L [ x ] {\displaystyle L[x]} na czynniki liniowe oraz

L = K ( a 1 , , a m ) , {\displaystyle L=K(a_{1},\dots ,a_{m}),}

gdzie a 1 , , a m {\displaystyle a_{1},\dots ,a_{m}} są wszystkimi pierwiastkami f {\displaystyle f} w ciele L . {\displaystyle L.}

Dla każdego wielomianu stopnia dodatniego istnieje jego ciało rozkładu. Dowolne dwa ciała rozkładu tego wielomianu są izomorficzne.

Rozszerzenie algebraiczne

 Zobacz też: element algebraiczny i rozszerzenie algebraiczne.

Rozszerzenie L {\displaystyle L} ciała K {\displaystyle K} nazywamy algebraicznym wtedy i tylko wtedy, gdy każdy element a L {\displaystyle a\in L} jest algebraiczny nad K . {\displaystyle K.}

Dla przykładu, każdy element ciała skończonego jest algebraiczny nad podciałem prostym, zawartym w tym ciele.

Dla rozszerzenia L K {\displaystyle L\supseteq K} i a L {\displaystyle a\in L} następujące warunki są równoważne

  • a {\displaystyle a} jest algebraiczny nad K , {\displaystyle K,}
  • K [ a ] = K ( a ) , {\displaystyle K[a]=K(a),}
  • [ K ( a ) : K ] < . {\displaystyle [K(a):K]<\infty .}

Stopień rozszerzenia K ( a ) K {\displaystyle K(a)\supseteq K} nazywa się stopniem elementu algebraicznego a K . {\displaystyle a\in K.} Stopień ten jest równy stopniowi wielomianu nierozkładalnego f K [ x ] {\displaystyle f\in K[x]} takiemu, że f ( a ) = 0 , {\displaystyle f(a)=0,} a także minimalnemu stopniowi niezerowego wielomianu f K [ x ] {\displaystyle f\in K[x]} takiego, że f ( a ) = 0 {\displaystyle f(a)=0}

Rozszerzenie rozdzielcze

 Zobacz też: element rozdzielczy.

Rozszerzenie L {\displaystyle L} ciała K {\displaystyle K} nazywamy rozdzielczym wtedy i tylko wtedy, gdy każdy element a L {\displaystyle a\in L} jest rozdzielczy nad K . {\displaystyle K.}

Jeśli ciało K {\displaystyle K} ma charakterystykę równą 0 , {\displaystyle 0,} to każde jego rozszerzenie algebraiczne jest rozdzielcze. W szczególności, każde algebraiczne rozszerzenie ciała liczb wymiernych jest rozdzielcze.

Rozszerzenie czysto przestępne

Rozszerzenie L {\displaystyle L} ciała K {\displaystyle K} nazywamy czysto przestępnym wtedy i tylko wtedy, gdy istnieje zbiór algebraicznie niezależny A L , {\displaystyle A\subseteq L,} taki że K ( A ) = L . {\displaystyle K(A)=L.}

Rozszerzenia skończone

Rozszerzenie L {\displaystyle L} ciała K {\displaystyle K} nazywa się skończonym wtedy i tylko wtedy, gdy ma skończony stopień, tzn. [ L : K ] < . {\displaystyle [L:K]<\infty .}

Każde rozszerzenie skończone jest algebraiczne. Jeśli K 2 K 1 K {\displaystyle K_{2}\supseteq K_{1}\supseteq K} jest ciągiem rozszerzeń ciał, to rozszerzenie K 2 K {\displaystyle K_{2}\supseteq K} jest skończone wtedy i tylko wtedy, gdy rozszerzenia K 2 K 1 {\displaystyle K_{2}\supseteq K_{1}} i K 1 K {\displaystyle K_{1}\supseteq K} są skończone. Ponadto

[ K 2 : K ] = [ K 2 : K 1 ] [ K 1 : K ] . {\displaystyle [K_{2}:K]=[K_{2}:K_{1}]\cdot [K_{1}:K].}

Rozszerzenie normalne

 Osobny artykuł: Rozszerzenie normalne.

Rozszerzenie L {\displaystyle L} ciała K {\displaystyle K} nazywamy normalnym wtedy i tylko wtedy, gdy jest algebraiczne i dla każdego b L {\displaystyle b\in L} wielomian nierozkładalny f K [ x ] , {\displaystyle f\in K[x],} którego pierwiastkiem jest b {\displaystyle b} rozkłada się w L [ x ] {\displaystyle L[x]} na czynniki liniowe.

Uwagi

  1. Oznaczenie to nie będzie stosowane w dalszej części artykułu jako mylące (pokrywającej się z oznaczeniem struktur ilorazowych).
  2. W dalszej części artykułu K ( a ) {\displaystyle K(a)} będzie oznaczać najmniejsze (w sensie inkluzji) ciało zawierające zbiór K { a } , {\displaystyle K\cup \{a\},} natomiast przez K [ a ] {\displaystyle K[a]} najmniejszy (w sensie inkluzji) pierścień zawierający ten zbiór.

Bibliografia

Linki zewnętrzne

  • Eric W.E.W. Weisstein Eric W.E.W., Extension Field, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2024-03-27].
  • publikacja w otwartym dostępie – możesz ją przeczytać Extension of a field (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-03-27].