# Unital ring

A ring with a multiplicative identity: an element $1$ such that $1x = x = x1$ for all elements $x$ of the ring. In many developments of the theory of rings, the existence of such an identity is taken as part of the definition of a ring. The term rng has been coined to denote rings in which the existence of an identity is not assumed. A unital ring homomorphism is a ring homomorphism between unital rings which respects the multiplicative identities. Any ring $R$ can be embedded in a ring $R^1$ with an identity by taking $R^1 = \mathbf{Z} \oplus R$ with multiplication $(m,r) \cdot (n,s) = (mn, ms + nr + rs)$ which has $(1,0)$ as a multiplicative identity.
A unital algebra $A$ over a field $K$ is an algebra over $K$ which is unital as a ring. As with rings, any $K$-algebra $A$ can be embedded in a unital $K$-algebra $A^1 = K \oplus A$.