Field

A field contains or

Let be a field. Then has a unique subfield isomorphic to modular arithmetic for some prime or Rational numbers. ring Thus and are the only prime fields.

Proof

The characteristic of an integral domain is 0 or prime, and A ring contains the integers or modular arithmetic where . This covers the case. If , then let be the unique initial ring homomorphism and

Then .

Thus Category of fields of characteristic p has initial iff and initial if is prime.

---

tidy | en | sembr