Ciało algebraicznie domknięte

ciało, nad którym każdy niestały wielomian ma pierwiastek
To jest najnowsza wersja przejrzana, która została oznaczona 16 cze 2025. Od tego czasu wykonano 1 zmianę, która oczekuje na przejrzenie.

Ciało nazywamy ciałem algebraicznie domkniętym , jeżeli dowolny niestały wielomian z pierścienia posiada pierwiastek w .

Ze względu na twierdzenie Hilberta o zerach ciała algebraicznie domknięte pełnią kluczową rolę w klasycznej geometrii algebraicznej. Ponieważ nad ciałem algebraicznie domkniętym dowolna macierz daje się przedstawić w postaci Jordana, pełnią istotną rolę w algebrze liniowej.

Własności równoważne

edytuj

Ciało   jest algebraicznie domknięte wtedy i tylko wtedy, gdy:

  • dowolny niestały wielomian z   posiada pierwiastek.
  • jedyne nierozkładalne wielomiany w   to wielomiany liniowe
  • dowolny wielomian z   rozkłada się na czynniki liniowe.
  • nie istnieje nietrywialne rozszerzenie algebraiczne ciała  .
  • dowolne odwzorowanie liniowe   posiada wektor własny.
  • dowolną macierz o współczynnikach z ciała   można przedstawić w postaci Jordana.
  • dowolny niesprzeczny układ równań wielomianowych nad   ma rozwiązanie.
  • dla ciała   zachodzi teza słabego twierdzenia Hilberta o zerach: dowolny ideał maksymalny w pierścieniu   jest postaci:  .
  • dla ciała   zachodzi teza silnego twierdzenia Hilberta o zerach: istnieje wzajemnie jednoznaczna odpowiedniość między ideałami radykalnymi pierścienia   a rozmaitościami algebraicznymi w przestrzeni afinicznej   dana:  .

Domknięcie algebraiczne

edytuj

Rozszerzenie algebraiczne   ciała  , które jest ciałem algebraicznie domkniętym, nazywamy domknięciem algebraicznym. Domknięcie algebraiczne można równoważnie zdefiniować jako najmniejsze ciało algebraicznie domknięte zawierające  . Zazwyczaj domknięcie algebraiczne ciała   oznacza się przez  .

Przykładem domknięcia algebraicznego jest   jako rozszerzenie  . Twierdzenie mówiące o tym, że ciało liczb zespolonych jest ciałem algebraicznie domkniętym, nazywa się „zasadniczym twierdzeniem algebry” i pociąga za sobą istotne konsekwencje, jak chociażby fakt, że każdą macierz o współczynnikach zespolonych można sprowadzić do postaci Jordana.

Domknięcie algebraiczne liczb wymiernych

edytuj

Domknięcie algebraiczne ciała ciała liczb wymiernych   oznacza się   i jest ono nazywane nazywamy ciałem liczb algebraicznych.

Z faktu, że zbiór wielomianów   jest zbiorem przeliczalnym, a dowolny wielomian ma skończenie wiele pierwiastków, wynika że   jest zbiorem przeliczalnym. Ponieważ   jest zbiorem nieprzeliczalnym, to   jest istotnie mniejszym podciałem liczb zespolonych. Liczby zespolone, które nie są algebraiczne nazywa się liczbami przestępnymi.

Powyższy argument został wykorzystany przez Georga Cantora jako dowód istnienia istotnie większej ilości liczb przestępnych niż algebraicznych. Konkretne liczby przestępne znano jednak już wcześniej-Liouville podał metodę ich konstrukcji za pomocą szeregów szybko zbieżnych w 1844, jednak do czasów Cantora uważano je za osobliwe i nieznaczące przypadki liczb zespolonych.

Domknięcie algebraiczne ciała skończonego

edytuj

Nie istnieją skończone ciała algebraicznie domknięte. Jeżeli   jest liczbą pierwszą, a   dowolną liczbą naturalną, to istnieje dokładnie jedno ciało (z dokładnością do izomorfizmu) rzędu  -oznaczmy je przez  . Ciało takie jest ciałem rozkładu wielomianu:

 

Zawiera ono również wszystkie elementy algebraiczne nad   rzędu n, zatem dowolny wielomian stopnia n ma w nim pierwiastek. Analogicznie dowolny wielomian stopnia   o współczynnikach w   będzie miał pierwiastek w  . Dlatego:

 

Z dodawaniem i mnożeniem elementów przeniesionymi z ciał skończonych jest algebraicznym domknięciem dowolnego ciała o charakterystyce  .

Domknięcie dowolnego ciała

edytuj

Przy założeniu standardowej aksjomatyki ZFC dowolne ciało posiada algebraiczne domknięcie. Dowód tego faktu wymaga użycia aksjomatu wyboru, lub jakiegoś jego słabszego odpowiednika-nie są więc to dowody konstruktywne, lecz egzystencjalne. Również dowód jedyności (izomorfizmu) algebraicznych domknięć ciała wymaga aksjomatu wyboru.

Bibliografia

edytuj