In order to determine whether or not a set with a binary operation defined on the set forms a group, we must investigate whether or not each of the properties in Item 1 to Item 4 from Definition 14.2 are met. If all of the properties are met, we conclude that the set with the operation defined on it forms a group. If even one of the properties is not met, we conclude that the set with the operation defined on it does not form a group.
As the sum of two integers is an integer, addition is a binary operation on the set of integers \(\Z\text{.}\) We check whether the set of integers \(\Z\) with the operation addition (\(+\)) fulfills the properties Item 1 to Item 4 from Definition 14.2:
Identity: For all \(a\in\Z\) we have \(a+0=a\) and \(0+a=a\text{,}\) hence the integer 0 is the identity element with respect to addition. (Compare Example 13.18 (a).)
Inverses: For all \(a\in \Z\) we have \(a+(-a)=0\) and \((-a)+a=0\text{,}\) hence the inverse of \(a\) with respect to addition is the integer \(-a\text{.}\) So every integer has an inverse. (Compare Example 13.32 (a).)
By Example 13.32 (b), there is a natural number that does not have a multiplicative inverse. So, property Item 2 is not fulfilled, and we conclude that the set of natural numbers with multiplication is not a commutative group. The properties Item 1, Item 3, and Item 4 are met by part (b) of Example 13.18, Example 13.11, and Example 13.41, respectively.
Inverses: The inverse of \(\Tx\) is \(\Tx^{-1\star} = \Tz\text{,}\) the inverse of \(\Ty\) is \(\Ty^{-1\star} = \Ty\text{,}\) and the inverse of \(\Tz\) is \(\Tz^{-1\star} = \Tx\text{,}\) so every element of \(T\) has an inverse. (See Example 13.34 and Example 13.35.)
Similarly it follows from Example 13.22, Example 13.36, Example 13.13, and Example 13.44 that \((\Z_5,\oplus)\) where \(\Z_5=\{0,1,2,3,4\}\) and \(\oplus:\Z_5\times\Z_5\to\Z_5\) is defined by \(a\oplus b=(a+b)\fmod 5\) is a group.
So far we have considered all of the sets and operations that were given in Chapter 13. Now it is time to investigate further examples. A commutative group must contain at least one element, namely the identity. The following problem demonstrates that there are commutative groups with just one element.
We consider the properties Item 1 to Item 4 from Definition 14.2. Since \(1 \cdot 1 = 1 \in \{1\}\) we have that \(\cdot\) is a binary operation on \(\{1\}\text{.}\)
Associativity: \(1\cdot(1\cdot 1)=1\cdot 1=1\) and \((1\cdot 1)\cdot 1=1\cdot 1=1\text{.}\) Since \(1 = 1\text{,}\) we have that \(\cdot\) is associative.
Each entry in the table is an element in \(S\text{,}\) so \(\diamond\) is a binary operation on \(S\text{.}\) We show that \((S,\diamond)\) is a commutative group by verifying that the properties Item 1 to Item 4 from Definition 14.2 hold.
Identity: The row corresponding to the element \(\So\) matches the header row at the top of the table and the column corresponding to the element \(\So\) matches the header column on the left side of the table. Thus the identity element is \(\So\text{.}\)
Inverses: Since \(\So\) is the identity element, we begin by locating all of the places \(\So\) appears in the table. For each table entry that is \(\So\text{,}\) we trace back to the header column on the left side of the table and the header row on the top of the table. Since \(\So \diamond \So = \So\text{,}\) we conclude that \(\So\) is its own inverse, and since \((\Sno) \diamond (\Sno) = \So\text{,}\) we conclude that \(\Sno\) is also its own inverse. Finally, since \(\Si \diamond (\Sni) = \So\) and \((\Sni) \diamond \Si = \So\text{,}\) we conclude that \(\Si\) and \(\Sni\) are inverses of each other. Thus every element of \(S\) has an inverse.
Commutativity: The table is symmetric about the diagonal from the operation symbol in the top left corner of the table to the bottom right corner of the table. Thus \(\diamond\) is commutative.
