Ciało proste
Z Wikipedii
Zasugerowano, aby ten artykuł (lub sekcję) zintegrować z artykułem charakterystyka (algebra). |
Ciało proste – ciało nie zawierające podciała właściwego.
[edytuj] Twierdzenie
Każde ciało zawiera dokładnie jedno ciało proste.
[edytuj] Dowód
Niech K będzie dowolnym ciałem. Jeżeli charakterystyka K wynosi 0, to ciało proste zawarte w K jest izomorficzne z ciałem liczb wymiernych. Jeśli natomiast K ma charakterystykę , to ciało proste zawarte w K jest izomorficzne z ciałem .
Zatem jedynymi ciałami prostymi są, z dokładnością do izomorfizmu, ciała oraz .