I know that the ring $\mathbb{Z}$ has the binary operation under addition, and when we are trying to identify whether a given ring is a subring of $\mathbb{Z}$, the subring must contain: the identity, inverse, and be closed under addition. My question is that does the subring also have to be closed under multiplication because multiplication is not the binary operation on $\mathbb{Z}$?
Asked
Active
Viewed 984 times
1
-
1possible duplicate of How to check a set of ring is a subring? – Dietrich Burde Dec 18 '14 at 21:34
-
1@DietrichBurde No this isn't a duplicate (of that question anyway). The subring test for this particular ring can be weakened. – Bill Cook Dec 18 '14 at 22:08
2 Answers
3
A subring has to be a ring, and a ring has two operations, not just one. Yes, it needs to be closed under multiplication.
Ross Millikan
- 374,822
3
In general a subring must be closed under multiplication.
However, in your specific case. No. You don't need to check.
Why? Because multiplication in $\mathbb{Z}$ is merely repeated addition/subtraction. Since you already have closure under addition and additive inverses, closure under multiplication follows for free.
The ring of integers is kind of weird in this way. It turns out that (1) subgroups, (2) cyclic subgroups, (3) normal subgroups, (4) subrings, (5) ideals, and (6) principal ideals all coincide for this ring.
Bill Cook
- 29,244
-
Actually $\mathbb{Z}$ has no non-trivial subrings (in the usual terminology, where rings have a multiplicative unit). As you say, any additive subgroup of $\mathbb{Z}$ is an ideal and hence a subrng (where rngs don't necessarily have the multiplicative unit). – Rob Arthan Dec 18 '14 at 22:40
-
Ok then. "subrngs". Not everybody assumes their rings have multiplicative identities. Many universities use Joe Gallian's text. It's an example of a text which allows for rings without (multiplicative) identity. – Bill Cook Dec 19 '14 at 05:02