Question
Question: Let \(*\) be defined in \(Z\) by \(m*n = m + n + 2\). Show that \(\left( {Z,*} \right)\) is an abeli...
Let ∗ be defined in Z by m∗n=m+n+2. Show that (Z,∗) is an abelian group?
Solution
Groups are sets equipped with an operation satisfying certain basic properties. A group satisfies four properties – associativity, identity, inverse and closure property. An abelian group is a group in which the operation also satisfies the commutative property in the given set.
Complete step by step solution:
We have been given the definition of a binary operation ∗:Z×Z→Z. The operation is defined as m∗n=m+n+2, where m,n∈Z.
We have to show that (Z,∗) is an abelian group.
We will check for all five properties which is to be satisfied to show that (Z,∗) is an abelian group.
Associative property:
Let m,n,p∈Z. Then (m∗n)∗p=(m+n+2)∗p=(m+n+2+p+2)=(m+n+p+4)
And, m∗(n∗p)=m∗(n+p+2)=(m+n+p+2+2)=(m+n+p+4)
Since (m∗n)∗p=m∗(n∗p), we can say that associative property holds true.
Identity property:
Let m∈Z. Then we find the identity element e∈Z as m∗e=m⇒m+e+2=m⇒e+2=0⇒e=−2.
Since, there exists an identity element for this operation, we can say that identity property holds true.
Inverse property:
Let m∈Z. Then we have to find the inverse of m, let us say n∈Z, such that m∗n=e.
m∗n=e⇒m+n+2=−2⇒n=−4−m
Since m∈Z, (−4−m)∈Z and thus n∈Z.
Since the inverse of an element in Z exists in Z, we can say that inverse property holds true.
Closure property:
Let m,n∈Z. We have to establish that m∗n∈Z.
m∗n=m+n+2
Since m and n are integers, their sum will also be an integer and further sum with 2 will also be an integer. Thus, m+n+2∈Z and therefore m∗n∈Z.
Since m∗n∈Z, we can say that closure property holds true.
Commutative property:
Let m,n∈Z. Then we have to show that m∗n=n∗m.
m∗n=m+n+2 n∗m=n+m+2
Since commutative property holds true for addition operation, we can write,
n+m+2=m+n+2
Thus, m∗n=n∗m. Therefore commutative property also holds true.
Since all the five properties for an abelian group holds true for the operation m∗n=m+n+2 in Z, we can say that (Z,∗) is an abelian group.
Note: To be an abelian group the given operation has to satisfy all the four properties of a group and an additional commutative property. All groups are not abelian groups. Only groups satisfying commutative property are abelian groups. The domain and range of the operation is important to check for the properties of the abelian group.