Ciało proste
Z Wikipedii
Ciało proste to takie ciało, które nie zawiera żadnego podciała właściwego.(ciało K nie zawierające podciał różnych od K nazywamy prostym)
Każde ciało zawiera dokładnie jedno ciało proste.
Niech K będzie dowolnym ciałem. Jeżeli charakterystyka ciała 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 i .