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

Checking the group axioms

#group axioms#examples#counterexamples

Statement

Determine whether each of the following is a group under the given operation:

(a) (Z,+)(\mathbb{Z},+);
(b) (Z,×)(\mathbb{Z},\times);
(c) (N,+)(\mathbb{N},+);
(d) (R∗,×)(\mathbb{R}^*,\times);
(e) ({1,−1},×)(\{1,-1\},\times).

Hint

Check the four axioms: closure, associativity, identity element, and inverses.

Show solutionHide solution

Solution

(a) (Z,+)(\mathbb{Z},+): closed (sum of integers is integer), associative, identity 00, inverse −n-n. Group (abelian).

(b) (Z,×)(\mathbb{Z},\times): closed, associative, identity 11. But 22 has no inverse in Z\mathbb{Z} (1/2∉Z1/2\notin\mathbb{Z}). Not a group (it is only a monoid).

(c) (N,+)(\mathbb{N},+): closed, associative, identity 00. But no inverse: −1∉N-1\notin\mathbb{N}. Not a group.

(d) (R∗,×)(\mathbb{R}^*,\times): closed (product of nonzero reals is nonzero), associative, identity 11, inverse 1/x1/x. Group (abelian).

(e) ({1,−1},×)(\{1,-1\},\times): closed (1⋅1=11\cdot1=1, 1⋅(−1)=−11\cdot(-1)=-1, (−1)⋅(−1)=1(-1)\cdot(-1)=1), associative, identity 11, inverse 11 and −1-1 are their own inverses. Group of order 22 (cyclic, generated by −1-1).

Conclusion. (a), (d), (e) are groups; (b), (c) are not.