The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+18 votes

Some group $(G, o)$ is known to be abelian. Then, which one of the following is true for $G$?

  1. $g=g^{-1} \text{ for every } g \in G$

  2. $g=g^2 \text{ for every }g  \in G$

  3. $(goh)^2 = g^2oh^2 \text{ for every } g, h \in G$

  4. $G$ is of finite order

asked in Set Theory & Algebra by Veteran (59.8k points) | 1.9k views
D is false. (Z,+) is an infinite abelian group. Don't know about other options.
how option b is incorrect ?
try for (z,+mod) you got why its wrong

This might help ...

1 Answer

+33 votes
Best answer

Associativity property of Group.

  • For all $a, b$ and $c$ in $G$, the equation $(a o b) o c = a o (b o c)$ holds.

For an Abelian group, commutative property also holds. 

  • For all $a, b$ in $G$, the equation $a o b = b o a$

From option C, using these two properties,

$(goh)^2  = (goh) o (goh) \\= (h o g) o (g o h)  \\= ((h o g) o g ) o h \\= (h o (g o g)) o h \\= (h o g^2) o h \\= (g^2 o h) o h \\= g^2 o (h o h) \\= g^2 o h^2$

So, C is correct.   

Integer addition $(Z, +)$ is an Abelian group. 

Inverse of 1 is -1 and not 1. So, A is false. 

$1^2 = 1 + 1 = 2 \neq 1$. So B also false. 

Order of a group is the number of elements in it. Integer is an infinite set, so D is also false. 
ref @

answered by Veteran (379k points)

Another way of proving option C

For Groups we know cancellation property holds, i.e. 

a.b=a.c ⇒ b=c (why this is true ?, because we have inverse element for each group. see this)

Having known this,

(goh)2=(goh)o(goh) = gohogoh (im removing bracket because groups are associative ).

Now LHS becomes gohogoh. and RHS is g2oh2. We want to proof gohogoh = g2oh2.

 gohogoh = g2oh2

ohogoh =goh2 (cancel leftmost g from each sides, then it becomes hogoh = goh2)

Similarly, cancel rightmost h from both sides. then it becomes hog = goh.

which is true for abelian groups, since abelian groups are commutative.


Very Nice Explanation !

There is a theorem:  $g=g^{−1}$ for every g∈G $\implies$ G is abelian.

But it is not two way i.e. converse is not true.

well explained.Thanks :-)


(goh)2 = (goh)o(goh) how??

Please explain


similar to (3*4)= (3*4)*(3*4).


@Arjun Sir..How (gog)=g?

lovely explanation sir

Proving from RHS,

g2oh2 = gog o hoh = go (goh) o h= go hog oh [As abelian so goh=hog]

(goh) o (goh) = (goh)2


Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

47,241 questions
51,470 answers
66,755 users