Ciało proste

Skocz do: nawigacji, szukaj

Ciało prosteciał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 \mathbb Q liczb wymiernych. Jeśli natomiast K ma charakterystykę p \ne 0, to ciało proste zawarte w K jest izomorficzne z ciałem \mathbb Z_p.

Zatem jedynymi ciałami prostymi są, z dokładnością do izomorfizmu, ciała \mathbb Q oraz \mathbb Z_p.

[edytuj] Zobacz też

W innych językach