Subring

Given a ring (R, +, *), we say that a subset S of R is a subring thereof if it is a ring under the restriction of + and * thereto, and contains the same unity as R. A subring is just a subgroup of (R, +) which contains 1 and is closed under multiplication.

Every ring has a unique smallest subring, isomorphic to either the integers Z or some modular arithmetic Z_n.