Computer Sciences > GATE 2026 SET-2 > Discrete Mathematics
Let R be a binary relation on the set {1, 2, …, 10}, where (x, y) ∈ R if the product of x and y is square of an integer. Which of the following properties is/are satisfied by R?
A
Reflexive
B
Symmetric
C
Transitive
D
Antisymmetric

Correct : a,b,c

The correct answer is Options A, B, and C — Reflexive, Symmetric, and Transitive. R is an equivalence relation.
Key insight: (x, y) ∈ R iff x·y is a perfect square. This happens exactly when x and y have the same square-free part — the product of prime factors appearing an odd number of times. Numbers 1–10 grouped by square-free part: {1,4,9}, {2,8}, {3}, {5}, {6}, {7}, {10}.
Reflexive: For any x, x·x = x² is always a perfect square. So (x,x) ∈ R for all x ∈ {1,...,10}. TRUE.
Symmetric: If x·y is a perfect square, then y·x = x·y is also a perfect square. So (x,y) ∈ R implies (y,x) ∈ R. TRUE.
Transitive: If (x,y) ∈ R and (y,z) ∈ R, then sqf(x) = sqf(y) and sqf(y) = sqf(z), so sqf(x) = sqf(z), meaning x·z is a perfect square → (x,z) ∈ R. TRUE.
Antisymmetric: Requires (x,y) ∈ R and (y,x) ∈ R to imply x = y. But (1,4) ∈ R since 1×4 = 4 = 2², and (4,1) ∈ R, yet 1 ≠ 4. FALSE.
Since R is reflexive, symmetric, and transitive, it is an equivalence relation — it partitions {1,...,10} into classes of numbers sharing the same square-free part.

Similar Questions

The Lucas sequence Ln is defined by the recurrence relation: Ln = Ln-1 + Ln-2, for n ≥ 3, with L1 = 1 and L2 = 3. Which one of the options given is TRUE?
#953 MCQ
Geetha has a conjecture about integers, which is of the form ∀x(P(x)⇒∃yQ(x,y)), where P is a statement about integers, and Q is a statement about pairs of integ...
#962 MSQ
Let U = {1, 2,...,n}, where n is a large positive integer greater than 1000. Let k be a positive integer less than n. Let A, B be subsets of U with |A| = |B| =...
#983 MCQ

Related Topics

GATE CS 2026 Set-2 Q26 binary relation perfect square GATE 2026 reflexive symmetric transitive GATE CS equivalence relation GATE 2026 discrete mathematics GATE CS 2026 square-free part relation GATE relation properties GATE 2026 reflexive relation GATE CS

Unique Visitor Count

Total Unique Visitors

Loading......