Category:Ring Extensions

This category contains results about Ring Extensions.
Definitions specific to this category can be found in Definitions/Ring Extensions.

Let $R$ and $S$ be commutative rings with unity.

Let $\phi : R \to S$ be a ring monomorphism.

Then $\phi : R \to S$ is a ring extension of $R$.