Ciało algebraicznie domknięte
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 | edytuj kod]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 | edytuj kod]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 | edytuj kod]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 | edytuj kod]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 | edytuj kod]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 | edytuj kod]- J. Browkin: Teoria ciał. Wyd. 1. T. 49. Warszawa: Państwowe Wydawnictwo Naukowe, 1977, seria: Biblioteka Matematyczna.