A ring contains or

Let be a ring. Then has a unique subring isomorphic to or modular arithmetic #m/thm/ring given by the image of the unique homomorphism .

Proof

Since and where is the characteristic of .

#state/tidy | #lang/en | #SemBr