2.2k views

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

+9
D is false. (Z,+) is an infinite abelian group. Don't know about other options.
0
how option b is incorrect ?
0
try for (z,+mod) you got why its wrong

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 @ http://math.stackexchange.com/questions/40996/prove-that-if-abi-aibi-forall-a-b-in-g-for-three-consecutive-integers/41004#41004

selected
+19

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.

+1

# Very Nice Explanation !

+19
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.
0

well explained.Thanks :-)

0

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

+1

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

0

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

0
lovely explanation sir
0

Proving from RHS,

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

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

0

Say we have a group G=( I, + ) I =set of all integers

Now say we choose any 2 elements g,h = 4,5 from the set G

Now say we perform (4+5)^2 and 4^2+5^2 .... we can see that they are not equal.. So how can option C be correct?

1
2