ABSTRACT

It is natural to ask whether we can have smaller rings within a larger ring, just as we saw smaller groups inside of a larger group. This suggests the following definition.

DEFINITION 10.1 Let R be a ring. A non-empty subset S is a subring if S is a ring with respect to the addition (+) and multiplication (·) of R.