Question
Let be the relation on the set of positive integers such that if and only if and are distinct and have a common divisor other than 1. Which one of the following statements about is true?
Official answer and solution
- Official answer
- D
- From
- Official GATE 2015 answer key
Solution
Test the properties of reflexivity, symmetry, and transitivity on the defined relation .
By definition, if and only if:
- ( and are distinct), and
- ( and share a common divisor other than 1).
- Reflexivity: For any positive integer , is not distinct from itself (), so . Thus, is not reflexive.
- Symmetry: If , then and . Because distinctness and greatest common divisor are commutative ( and ), holds. Thus, is symmetric.
- Transitivity: Consider :
- and .
- and .
- However, , so .
Hence, is not transitive.
Therefore, is symmetric, but neither reflexive nor transitive (option D).
D
Overlooking the condition that and must be distinct, which violates reflexivity for every element.
The answer is the one in the official GATE answer key. The solution is this site's own explanation.
Source
- Paper
- GATE 2015 Computer Science and Information Technology (CS) Session 2
- Question
- 26 of 65, printed as CS Q.16
- 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.