Category of fields of characteristic

The category of fields of characteristic is the subcategory of consisting of just those of characteristic . #m/def/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 or .

#state/develop | #lang/en | #SemBr