Question
Let be an arbitrary group. Consider the following relations on :
: , if and only if such that
: , if and only if
Which of the above is/are equivalence relation/relations?
Official answer and solution
- Official answer
- B
- From
- Official GATE 2019 answer key
Solution
Check reflexivity, symmetry, and transitivity for each given relation on group G.
Examining (Conjugacy relation):
- Reflexivity: For any , choose (identity element). Then , so . (Reflexive)
- Symmetry: If , then such that . Multiplying by on the left and on the right gives . Choosing , we have , so . (Symmetric)
- Transitivity: If and , then and . Substituting gives . Since , . (Transitive)
Thus, is an equivalence relation.
Examining :
. For to be reflexive, every element must satisfy . In an arbitrary group, not every element is self-inverse (for example, in , ). Thus, is not reflexive in general, so it is NOT an equivalence relation.
Hence, only is an equivalence relation.
B
The answer is the one in the official GATE answer key. The solution is this site's own explanation.
Source
- Paper
- GATE 2019 Computer Science and Information Technology (CS)
- Question
- 20 of 65, printed as CS Q.10
- Section
- Computer Science and Information Technology
Report an error in this question
GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.