Category of fields

Category of fields of characteristic

The category of fields of characteristic is the subcategory of category of fields consisting of just those of characteristic . field These subcategories are completely disjoint in , thus

where is empty iff is not prime.

Properties

• The initial object of is if or if is prime by A field contains modular arithmetic or the rationals.

---

develop | en | SemBr