Maths WorkshopMaths problems with full solutions
Exercise 478Algebra › GroupsHigh schoolAdded 3 Nov 2026

Which subsets are subgroups?

#subgroup#examples#counterexamples

Statement

Determine whether each subset is a subgroup:

(a) 2Z⊆(Z,+)2\mathbb{Z}\subseteq(\mathbb{Z},+);
(b) N⊆(Z,+)\mathbb{N}\subseteq(\mathbb{Z},+);
(c) {1,−1}⊆(R∗,×)\{1,-1\}\subseteq(\mathbb{R}^*,\times);
(d) {z∈C:∣z∣=1}⊆(C∗,×)\{z\in\mathbb{C}:|z|=1\}\subseteq(\mathbb{C}^*,\times).

Hint

Check the subgroup criterion: nonempty, closed under product and inverse.

Show solutionHide solution

Solution

(a) 2Z2\mathbb{Z}: 0∈2Z0\in2\mathbb{Z}; sum of evens is even; inverse of even is even. Subgroup.

(b) N\mathbb{N}: closed under sum, but no inverse for positive integers. Not a subgroup.

(c) {1,−1}\{1,-1\}: products stay in the set, inverses are themselves. Subgroup.

(d) ∣z∣=∣w∣=1⇒∣zw∣=1|z|=|w|=1\Rightarrow|zw|=1 and ∣z−1∣=1|z^{-1}|=1. Subgroup (the circle group).

Conclusion. (a), (c), (d) are subgroups; (b) is not.