Subring
|
|
In abstract algebra, a branch of mathematics, a subring is a subset of a ring, which is itself a ring under the same binary operations.
More precisely, given a ring (R, +, *), we say that a subset S of R is a subring of R if it is a ring under the restriction of + and * to S, and contains the same unity as R. A subring is just a subgroup of (R, +) which contains the identity and is closed under multiplication.
For example, the ring Z of integers is a subring of the field of real numbers and also a subring of the ring of polynomials Z[X]. The ring Z has subrings of the form nZ, where n is any integer.
Every ring has a unique smallest subring, isomorphic to either the integers Z or some cyclic group Z/nZ.Template:Math-stub