 A ring which has both an additive and multiplicative identity is trivial if and only if , since this equality implies that for all within , 
In this case it is possible to define division by zero, since the single element is its own multiplicative inverse.Some properties of depend on exact definition of the multiplicative identity; see "" below.Any trivial algebra is also a trivial ring.