Let us prove that the set Z of all integers with binary operation * defined by a∗b=a+b+1
for all a,b∈G is an Abelian group.
Since for any a,b∈G we have that a∗b=a+b+1∈Z, the operation ∗ is defined on the set Z.
Taking into account that
(a∗b)∗c=(a+b+1)∗c=(a+b+1)+c+1=a+(b+c+1)+1=a+(b∗c)+1=a∗(b∗c)
for all a,b∈G, we conclude that the operation ∗ is associative on the set Z.
Since for e=−1 we get that
−1∗a=−1+a+1=a and a∗(−1)=a−1+1=a
for each a∈G, we conclude that e=−1 is the identity of the semigroup (Z,∗).
Taking into account that for any a∈Z and a−1=−a−2∈Z we have that
a∗a−1=a−a−2+1=−1=e and a−1∗a=−a−2+a+1=−1=e,
we conclude that a−1 is the inverse of a.
Therefore, (Z,∗) is a group.
Since a∗b=a+b+1=b+a+1=b∗a for any a,b∈G, we conclude that (Z,∗) is an Abelian group.
Comments