Questions
Question 1
*
What data must be specified before the phrase "\((G,*)\) is a group" has a precise meaning?
Question 2
*
State the four axioms in the definition of a group \((G,*)\).
Question 3
*+
In \((\mathbb Z,+)\), what is the identity element?
Question 4
*+
In \((\mathbb Z,+)\), what is the inverse of \(7\)?
Question 5
**
Check closure for the set of even integers under addition.
Question 6
**
Why is \((\mathbb N,+)\), with \(\mathbb N=\{1,2,3,\ldots\}\), not a group?
Question 7
**+
Is commutativity required in the definition of a group? Explain with the correct axiom it is often confused with.
Question 8
**+
The operation \(*\) on real numbers is defined by \(a*b=a+b+1\). Find the identity element if one exists.
Question 9
***
For real numbers under \(a*b=a+b+1\), find the inverse of an element \(a\).
Question 10
***
Explain why the non-zero real numbers form a group under multiplication.
Question 11
***+
Why do the real numbers fail to form a group under multiplication?
Question 12
***+
A set \(G\) with operation \(*\) has closure, an identity, and inverses. Why is this not enough to conclude it is a group?
Question 13
****
Let \(G=\{0,1,2\}\) with addition modulo \(3\). Verify the group axioms concisely.
Question 14
****
The positive real numbers are given the operation \(a*b=ab\). Verify that this is a group.
Question 15
****+
For \((\mathbb Z,-)\), identify which group axiom fails first in a standard check and explain.
Question 16
****+
On real numbers define \(a*b=a+b-ab\). Test whether \(1\) can belong to a group with this operation.
Question 17
****+
A student claims \((\mathbb Z,\times)\) is a group because multiplication is associative and has identity \(1\). Give the missing axiom check that disproves the claim.
Question 18
*****
Prove that a group has only one identity element.
Question 19
*****
Prove that an element of a group has only one inverse.
Question 20
*****
A finite operation table has entries only from \(G\), has a two-sided identity, and each element appears with the identity somewhere in its row and column. Why must associativity still be tested separately?