Rozszerzenie normalne

Rozszerzenie normalne – w teorii ciał rozszerzenie ciała o zbiór pierwiastków pewnej rodziny wielomianów.

Definicja

Jerzy Browkin wyprowadza pojęcie rozszerzenia normalnego ciała w następujący sposób. Niech dane będzie pewne wyjściowe ciało oznaczane $K.$ Można dla niego skonstruować pierścień wielomianów, oznaczany z kolei $K[x].$ Następnie z tegoż pierścienia wybrać można dowolny podzbiór wielomianów, dla której to rodziny wielomianów z kolei matematyk wprowadza oznaczenie $F.$ W końcu zbiór wszystkich pierwiastków wielomianów rodziny $F$ autor oznacza przez $A$ Dowolny element $a$ wzięty z $A$ jest więc pierwiastkiem pewnego wielomianu należącego do $K[x]$Szablon:Odn. Jako pierwiastek takiego wielomianu stanowi element algebraiczny nad ciałem $K$Szablon:Odn. Tak więc zbiór $A$ zawiera te elementy domknięcia algebraicznego $a(K),$ dla których istnieje należący do $F$ wielomian $f,$ który znika dla tych elementów, co zapisuje się jako $A=\{a\in a(K):\mathrm{\exists }f\in Ff(a)=0\}$Szablon:Odn.

Ciało rozkładu wielomianów należących do $F$ nazywa się wtedy rozszerzeniem normalnym ciała $K.$ Inaczej mówiąc, ciało $L$ stanowi rozszerzenie normalne ciała $K$ wtedy i tylko wtedy, gdy $\mathrm{\exists }FF\subset K[x]:L=K(A),$ zachowując definicję A z paragrafu powyżejSzablon:Odn.

Własności

Rozszerzenie normalne rozszerzeniem algebraicznym

Jako że rozszerzenie algebraiczne oznacza rozszerzenie danego ciała $K$ o elementy doń algebraiczneSzablon:Odn, czyli będące pierwiastkami pewnego niezerowego wielomianu $f\in K[x]$Szablon:Odn, rozszerzenie normalne $L$ ciała $K$ – o pewne pierwiastki wybranych wielomianów – z definicji musi być algebraiczneSzablon:Odn.

Rozszerzenie normalne i skończone ciałem rozkładu i odwrotnie

Wybrawszy dowolny niezerowy wielomian $f\in K[x],$ rozważać można ciało rozkładu tego wielomianu. Otrzymane w ten sposób rozszerzenie ciała $K$ będzie skończone i normalne. Co więcej, własności te wiąże nie tylko implikacja, ale i równoważność. Mianowicie każde rozszerzenie $L$ ciała $K,$ jeśli jest zarazem skończone, jak i normalne, musi być ciałem rozkładu pewnego wielomianu $f\in K[x]$Szablon:Odn.

Własności tej dowodzi się następująco. Dla wybranego ciała $L$ bierze się pewną rodzinę wielomianów $F\subset K[x]$ w ten sposób, iżby stanowiło $L$ złożenie ciał rozkładu wielomianów należących do $F.$ Można to zrobić, jako że $L$ jest rozszerzeniem normalnym ciała $K,$ wtedy po prostu $L=K(A),$ pamiętając, że przez $A$ oznaczono zbiór pierwiastków wielomianów z $F$Szablon:Odn.

Następnie korzysta się z faktu, że $L$ jest rozszeniem skończonym ciała $K.$ Skoro tak, to istnieje skończony zbiór $\{a_1,\dots ,a_r\}$ taki, że po rozszerzeniu $K$ o jego elementy otrzymuje się $L.$ Ponieważ $L$ jest rozszerzeniem o elementy zbioru $A,$ rozpatrywany zbiór musi zawierać się w $A:\{a_1,\dots ,a_r\}\subset A.$ Nie trzeba tutaj brać koniecznie całego zbioru $A,$ wystarczy jego maksymalny liniowo niezależny podzbiórSzablon:Odn.

Dla każdego elementu zbioru $\{a_1,\dots ,a_r\}$ bierze się następnie taki wielomian $f_i\in F,$ który po podstawieniu doń $a_i$ przyjmuje wartość $0$ (musi on istnieć, bo $L$ jest rozszerzeniem o pierwiastki wielomianów z $F$). Wielomiany te można ze sobą pomnożyć, otrzymując wielomian $f=\prod _{i=1}^r{f}_i.$ Oczywiście tak zdefiniowany wielomian $f\in K[x].$ Ciało $M$ rozkładu tegoż wielomianu $f$ stanowi złożenie ciał rozkładów wszystkich wielomianów $f_i$ od $1$ do $r.$ Tak więc $M\subset L.$ Co więcej, każde $a_i$ z rozpatrywanego wyżej zbioru należeć musi do $M,$ wobec czego i $L\subset M.$ Z obustronnego zawierania się wywodzi się, że $M=L.$ Jako że przez $M$ oznaczono ciało rozkładu pewnego wielomianu $f\in K[x],$ to samo tyczy się tożsamego z nim $L.$ QEDSzablon:Odn.

Rozszerzenie normalne a zanurzenie i wielomian nierozkładalny z K[x]

Dla danego ciała $K$ posiadającego rozszerzenie algebraiczne $L$ dowodzi się, że $L$ jest rozszerzeniem normalnym ciała $K$ wtedy i tylko wtedy, gdy dla dowolnego $K$-zanurzenia $\phi$ przekształcającego $L$ w domknięcie algebraiczne $a(K)$ $\phi (L)=L.$ Każdy z tych warunków równoważny jest trzeciemu: każdy nierozkładalny wielomian $g$ z $K[x]$ o pierwiastku w ciele $L$ rozkłada się w tym ostatnim na wielomiany liniowe z $L[x]$Szablon:Odn.

Równoważności tych dowodzi się razemSzablon:Odn. Wpierw $K$-zanurzenie $\phi$ przekształca $L$ w $L.$ Biorąc element $a\in L$ będący pierwiastkiem $f\in K[x],$ podstawia się doń $\phi (a),$ które z własności $K$-zanurzenia równe jest $\phi (f(a)),$ czyli $0.$ Umieszcza to $\phi (a)$ pośród pierwiastków $f\in K[x].$ Tak więc rozpatrywane zanurzenie przekształca zbiór pierwiastków $f$ z $L$ na ten sam zbiór. Wobec tego zbiór pierwiastków wielomianów $A$ (zgodnie z powyżej przyjętymi oznaczeniami) również przekształcony zostanie w $A.$ Jako że w takim razie $L=K(A),$ to $\phi (L)=\phi (K(A))=K(\phi (A))=K(A)=L.$ W ten sposób otrzymuje się drugą własność z pierwszejSzablon:Odn.

By otrzymać trzecią własność z drugiej, oznacza się przez $a\in L$ pierwiastek wielomianu nierozkładalnego $g\in K[x].$ Inny jego pierwiastek oznacza się jako $b\in a(K).$ Istnieje $K$-izomorfizm ${\phi }^{\prime }$ przekształcający ciało $K(a)$ w ciało $K(b),$ który z kolei rozszerzyć można do izomorfizmu $\phi$ z $L$ w $a(K)$ (gdyż te właśnie ciała zawierają wspomniane pierwiastki). Korzystając z tego, że $\phi (L)=L,$ jak również z tego, że $\phi (K(a))$ nie różni się od ${\phi }^{\prime }(K(a)),$ równego z kolei $K(b),$ wnioskuje się, że musi się $K(b)$ zawierać w $L.$ Tak i $b\in L.$ Jako że nie nakładano żadnych dodatkowych ograniczeń na $b,$ musi to dotyczyć dowolnego pierwiastka $g.$ Skoro więc każdy pierwiastek wielomianu $g$ należy do ciała $L,$ to musi być ten wielomian rozkładalny na wielomiany liniowe z $L[x]$Szablon:Odn.

Przykłady

• Rozszerzenie $\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q}$ jest normalne, bo jest ciałem rozkładu wielomianu $f(x)=(x^2-2)(x^2-3)\in \mathbb{Q}[x].$

Bibliografia

• Szablon:Cytuj