A ring extension is the embedding of a ring in a larger ring , ring
i.e. a Ring monomorphism or equivalently is a subring of .
We write , and is thence called an extension ring of .
An Adjunction of a ring is a particularly pertinent way of extending rings.