ALGEBRAIC RING WITH IDENTITY
Definition
An object is an <ALGEBRAIC RING WITH IDENTITY> if and only if: it is an <ALGEBRAIC RING> (S, +, *, 0); there exists a multiplicative identity element 1 in S, that complies with: a * 1 = 1 * a = a for each a in S If the <ALGEBRAIC RING> is denoted (S, +, *, 0), and the multiplicative identity is denoted 1, then the <ALGEBRAIC RING WITH IDENTITY> is denoted (S, +, *, 0, 1)