I was just checking out a GRE mathematics practise test. I have never had theories about groups, so could someone explain how to test if something is a group and why the 'nonzero integers under multiplication' is not a group while the following are:
- The integers under addition
- The nonzero real numbers under multiplication
- The complex numbers under addition
- The nonzero complex numbers under multiplication
2 Answers
$\begingroup$A group consists of a set of things that can be combined using a particular operation.
The set of things must contain a neutral element. For addition, the neutral element is 0. For multiplication, the neutral element is 1. The neutral element an element that if combined with any other element $x$, produces $x$ again.
Every element in the set must have an inverse. If you combine any element $x$ with its inverse, you get the neutral element. For addition, the inverse is given by negation since $x + (-x) = 0$. For multiplication, the inverse is given by reciprocal, since $x \cdot (\frac{1}{x}) = 1$.
"Nonzero integers under multiplication" are not a group. They fit criteria (1) and (2). In fact, the neutral element is 1. But they don't fit (3) because there are no inverses. For example, you can't find any nonzero integer you can multiply with 7 in order to get 1 back. This means that 7 has no inverse.
Because not all elements have inverses, this set doesn't constitute a group.
$\endgroup$ 1 $\begingroup$The reason non-zero integers under multiplication are not a group is because there is no inverse element for all $2, 3, \ldots .$
$\endgroup$ 0