Open in App
Not now

GATE | GATE-CS-2014-(Set-3) | Question 59

• Last Updated : 28 Jun, 2021

There are two elements x, y in a group (G,âˆ—) such that every element in the group can be written as a product of some number of x’s and y’s in some order. It is known that

`  x âˆ— x = y âˆ— y = x âˆ— y âˆ— x âˆ— y = y âˆ— x âˆ— y âˆ— x = e`

where e is the identity element. The maximum number of elements in such a group is __________.
(A) 2
(B) 3
(C) 4
(D) 5

Explanation:

```x * x = e, x is its own inverse
y * y = e, y is its own inverse

(x*y) * (x* y) = e, x*y is its own inverse

(y*x) * (y*x) = e, y*x is its own inverse
also x*x*e = e*e can be rewritten as follows

x*y*y*x = e*y*y*e = e, (Since y *y = e)

(x*y) * (y*x) = e shows that (x *y) and (y *x)
are each otherâ€™s inverse and we already know that
(x*y) and (y*x) are inverse of its own.

As per (G,*) to be group any element should have
only one inverse element (unique)

This implies x*y = y*x (is one element)

So the elements of such group are 4 which are
{x, y, e, x*y}.```

See following definition of group from wikipedia.

A group is a set, G, together with an operation â€¢ (called the group law of G) that combines any two elements a and b to form another element, denoted a â€¢ b or ab. To qualify as a group, the set and operation, (G, â€¢), must satisfy four requirements known as the group axioms:[5]

Closure For all a, b in G, the result of the operation, a â€¢ b, is also in G.b[â€º]
Associativity For all a, b and c in G, (a â€¢ b) â€¢ c = a â€¢ (b â€¢ c).
Identity element There exists an element e in G, such that for every element a in G, the equation e â€¢ a = a â€¢ e = a holds. Such an element is unique (see below), and thus one speaks of the identity element.
Inverse element For each a in G, there exists an element b in G such that a â€¢ b = b â€¢ a = e, where e is the identity element.

My Personal Notes arrow_drop_up
Related Articles