A **prime field** $(P, + ,\cdot)$ is a field does not contain any proper subfields. Formally, if $(F, + ,\cdot)$ is a field, then $P$ is the algebraic structure defined by $$P:=\bigcap_{S\subset F,\;S\text{ subfield of }F}S.$$

| | | | | created: 2019-08-10 07:12:33 | modified: 2019-08-10 07:32:54 | by: *bookofproofs* | references: [677]

(none)

[677] **Modler, Florian; Kreh, Martin**: “Tutorium Algebra”, Springer Spektrum, 2013