Ciało proste
| 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.
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
.

