User:TMM53/Subrings-2023-03-21

In mathematics, a ring is a set and 2 binary operations, addition and multiplication with additive and multiplicative identites. A subring arises from a ring's subset by restriction of the ring's addition and multiplication operations to the ring's subset and sharing a common multiplicative identity. This transforms the ring's subset to a subring. The relationship between rings and subrings preserves the ring's structure. This means that for any shared elements of ring and subring, the sum or product of these elements in the subring matches a corresponding sum or product in the ring.

Properties
A ring has the properties of a commutative additive group, and associative multiplication with a multiplicative identity element. Associative multiplication with an identity element means that a ring has the properties of a multiplicative monoid. Therefore, a subring contains an additive subgroup of the ring's additive group and a multiplicative submonoid of the ring's monoid.

A proper subring has a proper subset of the ring's set. An improper subring has an improper subset of the ring's set.

The subring-ring relationship is transitive.

A ring and its subrings may not share identical properties. For example, a Noetherian ring may have a non-Noetherian subring.

Rings with subrings

 * The integers are a subring of the rational numbers, and the rational numbers are a subring of the real numbers.
 * The complex numbers are a subring of the quaternions, and the quaternions are a subring of 2 x 2 matrices with complex number entries.
 * Every ring has a unique smallest subring isomorphic to a quotient ring $\mathbb{Z}/n \mathbb{Z}$ with positive integer $n$, the ring's characteristic, or the ring of integers.

Rings without proper subrings

 * The integers and the quotient rings have no proper subrings.

Subring test
Ring $R$ is a proper subring of ring $S$  if $$R$$ is non-empty, shares the same identity element of ring $S$, is closed under multiplication and subtraction and is a proper subset of ring.$S$.

Ring extensions
Ring $$S$$ is a ring extension of ring $$R$$ is equivalent to ring $$R$$ is a subring of ring $$S$$. Ring extension notation, $$S/R$$, is similar to field extension notation.

Subring generated by a set
The intersection of any family of subrings is a subring. The intersection of any family of subrings containing a common set is a subring. The smallest subring containing a common set is the intersection of all subrings containing the common set. Set $A$ generates ring $$S$$ in ring $$R$$ if $$S$$ is the smallest subring in $$R$$ containing set $A$.