## Subrings

Just like groups have subgroups, we have:

Definition. A subset S of a ring R is asubringif it satisfies the following:

- ;
- ;
- .

The first two conditions imply that *S* is a subgroup of (*R*, +). Together with the third condition, this means *S* inherits a ring structure from (*R*, +, ×) via the same addition and product operations. Clearly, if *T* is a subring of *S* which is in turn a subring of *R*, then *T* is a subring of *R*.

**Examples**

- The ring of integers
**Z**has no proper subring: since a subring must contain 1, it must contain all integers. Same goes for**Z**/*n*for positive integer*n*. - We have the sequence of subrings .
- In the ring of 2 × 2 real matrices, the set
*U*of upper-triangular matrices forms a subring, and the set*D*of diagonal matrices forms a subring of*U*. [ Note that*D*is isomorphic to**R**×**R**, under component-wise addition and multiplication. We haven’t defined isomorphism, but you know what it means. 🙂 ] - In the ring of quaternions, the subset of elements of the form
*a+bi*is a subring which is isomorphic to**C**. Thus, we have a commutative subring of a non-commutative ring. Specifically, we have a division ring with a subring which forms a field.

- In the ring
**R**×**R**, the subset {(*r*,*r*) :*r*in**R**} is a subring which is isomorphic to**R**. - In the ring of polynomials
**R**[*x*], take the subset**R**[*x*^{2}] comprising of polynomials whose terms are all even powers of*x*. This is a subring.

In the ring **R** × **R**, the subset **R** × {0} is not a subring, because it doesn’t contain the unity (1, 1). The reader may object that this ought to be a bona-fide subring since it’s isomorphic to **R** which is a ring with unity, but we wish to maintain consistency with the definition. *In other words, what we have here is a “subrng” which is isomorphic to a ring, but still not a subring.*

Incidentally, some books do not require a ring to possess a unity 1, in which case **R** × {0} would become a subring of **R** × **R**. Both rings would then have unities but the two unities are different elements. This can lead to much grief if we weren’t careful, which is why we would rather not deal with that case.

## Generated Subrings

Basic property: the intersection of subrings is also a subring. Explicitly, if {*S _{i}*} is a collection of subrings of

*R*, then ∩

_{i }*S*is also a subring of

_{i}*R*. The proof is standard:

- Since 1 is in each
*S*, it also lies in all ∩_{i}_{i }*S*._{i} - If
*x*,*y*are in ∩_{i }*S*, then they are in_{i}*S*for all_{i }*i*; since each*S*is a subring,_{i }*x*–*y*lies in*S*, and so_{i}*x*–*y*lies in ∩_{i }*S*too._{i } - For multiplication, same as above, but replace
*x-y*with*xy*. ♦

If *X* is an arbitrary subset of *R*, we let <*X*> be the intersection of all subrings of *R* which contain *X*. As in the case of groups, <*X*> is a subring of *R* containing *X*, and conversely any subring *S* of *R* containing *X* must contain <*X*>. We call this the **subring of R generated by**

*X*.

- Consider the field
**C**of complex numbers. What’s the subring*S*generated by the empty set? Well*S*must contain 1, so since*S*is closed under addition it must also contain all integers. On the other hand, the set of all integers itself is already a subring. So*S*=**Z**. - Take the field
**C**of complex numbers again. What’s the subring*S*generated by a single element 1/2? As before*S*must contain all integers. But now*S*must also contain all powers of 1/2 since it’s closed under multiplication. Therefore*S*contains all elements of the form*a*/2^{m}, where*a*is an integer and*m*is a non-negative integer. On the other hand, the set of all such elements forms a subring. So . - Again take
**C**. What’s the subring*S*generated by a single element*i*(i.e. √-1)? Now*S*contains all integers and also contains*i*. So it must contain all numbers of the form*a*+*bi*, where*a*,*b*are integers. Numbers of this form are called**Gaussian integers**. It’s clear that the set of Gaussian integers forms a subring, so*S*= set of Gaussian integers, denoted by**Z**[*i*]. - Once again, take
**C**. What’s the subring*S*generated by a single element π? Since*S*contains**Z**and π, and*S*is closed under addition and multiplication,*S*must contain all real numbers of the form , . On the other hand, the set of such numbers clearly forms a subring, so*S*= set of all numbers of the form . Furthermore, it is known that π is transcendental, so different expressions give distinct numbers. To be specific, there is an isomorphism**Z**[*x*] →*S*, mapping*x*to π. - Now take
**R**[*x*]. What’s the subring*S*generated by*x*^{2}? Again*S*contains**Z**and the element*x*^{2}so it must contain all polynomials in*x*^{2}with integer coefficients. This means*S*=**Z**[*x*^{2}]. On the other hand, we can also ask for the subring generated by**R**and*x*^{2}. This just means the subring generated by . Now it’s clear that the resulting subring is**R**[*x*^{2}].

*Exercise.* Consider the ring of all 2 × 2 real matrices.

- Describe the subring generated by .
- Describe the subring generated by .
- Describe the subring generated by both and .