Element rozdzielczy

Element rozdzielczy – element algebraiczny, którego wielomian minimalny ma wyłącznie pierwiastki jednokrotne.

Element $a$ należący do ciała $L$ zawierającego ciało $K,$ algebraiczny nad tym $K,$ jest elementem rodzielczym względem $K,$ jeżeli jest pierwiastkiem wielomianu nierozkładalnego należącego do $K[x]$ o niezerowej pochodnejSzablon:Odn.

W przypadku rozszerzeń ciał mówić można o elementach algebraicznych i przestępnych. Rozszerzając wyjściowe ciało $K$ o pewien element $a$ ciała $L,$ takiego, że $K\subset L,$ zajść mogą dwie sytuacjeSzablon:Odn:

• element ten może być pierwiastkiem pewnego niezerowego wielomianu o współczynnikach wziętych z $K,$ tzn. $\mathrm{\exists }f\in K[x]:f\ne 0\wedge f(x)=0$ – w takim wypadku określa się $a$ mianem elementu algebraicznego
• element ten nie jest pierwiastkiem żadnego wielomianu z $K[x]$ z wyjątkiem wielomianu zerowego – mówi się o elemencie przestępnymSzablon:Odn.

Każdy element rozdzielczy jest algebraicznySzablon:Odn, a więc istnieje niezerowy wielomian $f$ z pierścienia wielomianów $K[x],$ który przyjmuje po podstawieniu $a$ wartość $0$Szablon:Odn. Elementy algebraiczne nad ciałem $K$ można w dalszym ciągu pogrupować. W ich klasyfikacji istotne znaczenie będą miały właściwości samego $K,$ w szczególności jego charakterystykaSzablon:Odn. Otóż dowodzi się, że iloczyn wszystkich podciał danego ciała $K$ również sam stanowi ciałoSzablon:Odn, nazywane podciałem prostym. Dowodzi się dalej, że jest ono izomorficzne albo z ciałem liczb wymiernych, albo z ciałem p-elementowym, czyli takim, którego liczba elementów jest liczbą pierwszą. W pierwszym przypadku przyjmuje się, że charakterystyka danego ciała wynosi 0, w drugim – przypisuje się wartość rzeczonej liczby pierwszejSzablon:Odn.

W przypadku ciała $K$ o zerowej charakterystyce każdy element $a$ algebraiczny nad $K$ jest zarazem względem $K$ rozdzielczySzablon:Odn. Jeżeli bowiem $a\ne 0,$ to dla każdego niezerowego wielomianu stopnia $0$ jego wartość nie będzie równa $0.$ $a$ musi więc być pierwiastkiem wielomianu o stopniu wyższym niż $0,$ stopnia przynajmniej pierwszegoSzablon:Odn. Korzystając zaś z wzoru na pochodną wielomianu dla kolejnych jednomianów $(a_n{x}^n{)}^{\prime }=n{a}_n{x}^{n-1}$Szablon:Odn, wielomiany takie nie będą miały zerowej pochodnejSzablon:Odn.

Sytuacja komplikuje się w przypadku ciał o niezerowej charakterystyce. Otóż w pierścieniu wielomianów $K[x]$ tego ciała znaleźć można wielomiany stopnia niezerowego, których pochodna znika. Dzieje się tak mianowicie wtedy, kiedy dany wielomian $f\in K[x^p],$ gdzie $p$ jest charakterystyką rozpatrywanego ciała. Dla każdego wielomianu $f$ z tego ostatniego pierścienia można go bowiem zastąpić przez inny wielomian $g$ wzięty z $K[x],$ w ten sposób, że $f(x)=g(x^p),$ czyli że argumentem $g$ jest $x$ podniesione do potęgi $p.$ Z właściwości ciała o charakterystyce $p$ wynika, że pochodna tegoż $x^p$ wynosi $0.$ Z równości $f$ i $g$ wnosi się następnie o równości ich pochodnych, a wyliczając pochodną $g^{\prime }$ korzysta się z wzoru na pochodną funkcji zagnieżdżonej w innej funkcji, tak więc $(g(x^p){)}^{\prime }=g^{\prime }(x^p)(x^p{)}^{\prime },$ a ostatni czynnik, jak wcześniej wskazano, wynosi $0.$ Wobec tego cały iloczyn i w efekcie pochodna $f$ także wynoszą $0.$ I w drugą stronę, jeśli pochodna danego wielomianu $f$ znika, mając postać sumy jednomianów wyrażających się przez $n{a}_n{x}^{n-1}$ dla kolejnych $n$ aż do stopnia $f,$ to wszystkie iloczyny $n{a}_n$ muszą mieć wartość $0.$ Tak więc $a_n$ musi być zerowe lub też $n.$ Drugi człon alternatywy będzie spełniony, jeśli $n$ będzie wielokrotnością $p.$ Każdy z takich jednomianów będzie się więc wyrażał jako $a_{kp}{x}^{kp}$ dla pewnego całkowitego $k$Szablon:Odn. Wynika stąd wniosek, że pierwiastek takiego wielomianu, choć będzie elementem algebraicznym nad $K,$ nie będzie elementem rozdzielczym nad tym ciałemSzablon:Odn.

Bibliografia

• Szablon:Cytuj