### Characteristic of a ring

Let RING be the category of unital rings, and an object in it. The object is initial in RING: for every ring there is exactly one momorphism . Thus we can define the characteristic of to be the unique non-negative generator of the ideal in the PID . In view of the induced isomorphism […]