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.