GateAI
Discrete Mathematics

GATE CSE 2026 Set 2 · Q26

MSQ1 markMedium

Time

Let RR be a binary relation on the set {1,2,…,10}\{1, 2, \dots, 10\}, where (x,y)∈R(x, y) \in R if the product of xx and yy is square of an integer. Which of the following properties is/are satisfied by RR?

Select all that applyOne or more correct

Pick every correct option

Solution

Step-by-step verified solution

Official answer: A) Reflexive; B) Symmetric; C) Transitive

Discrete Mathematics

A pair (x,y)∈R  ⟺  x⋅y=k2(x, y) \in R \iff x \cdot y = k^2 for some integer kk.

  1. Reflexive: For every x∈{1,2,…,10}x \in \{1, 2, \dots, 10\}, x⋅x=x2x \cdot x = x^2, which is the square of the integer xx. Thus, (x,x)∈R(x, x) \in R for all xx, so RR is reflexive.

  2. Symmetric: If (x,y)∈R(x, y) \in R, then x⋅y=k2x \cdot y = k^2. Since multiplication is commutative, y⋅x=x⋅y=k2y \cdot x = x \cdot y = k^2. Thus, (y,x)∈R(y, x) \in R, so RR is symmetric.

  3. Transitive: Any positive integer nn can be uniquely factored as n=s⋅m2n = s \cdot m^2, where ss is square-free (the square-free part of nn). Then x⋅yx \cdot y is a perfect square if and only if xx and yy have the same square-free part: sf(x)=sf(y)\text{sf}(x) = \text{sf}(y). Since the relation "having the same square-free part" is an equivalence relation, transitivity holds:

    sf(x)=sf(y) and sf(y)=sf(z)  ⟹  sf(x)=sf(z)  ⟹  (x,z)∈R\text{sf}(x) = \text{sf}(y) \text{ and } \text{sf}(y) = \text{sf}(z) \implies \text{sf}(x) = \text{sf}(z) \implies (x, z) \in R

    Hence, RR is transitive.

  4. Antisymmetric: For antisymmetry, (x,y)∈R(x, y) \in R and (y,x)∈R(y, x) \in R must imply x=yx = y. However, consider x=2x = 2 and y=8y = 8: 2×8=16=422 \times 8 = 16 = 4^2, so (2,8)∈R(2, 8) \in R and (8,2)∈R(8, 2) \in R, but $2

e 8.Thus,. Thus, R$ is not antisymmetric.

Therefore, the properties satisfied by RR are (A) Reflexive, (B) Symmetric, and (C) Transitive.

Try the question first, then check your work.

Think the official key or this write-up is wrong?

Report error or challenge

Examiner trap

The misconception this question tests

This Discrete Mathematics previous year question is Q26 of the GATE CSE 2026 Set 2 paper. Find more GATE CSE PYQs on Discrete Mathematics in Engineering Mathematics, or browse all GATE CSE PYQs.

Free diagnostic

Where do you stand for GATE?

Take the 20-minute diagnostic: the 3 topics that cost you the most marks, and a rank range. Or sit 5 related Discrete Mathematics PYQs now with no account.

One GATE CSE PYQ every morning

An official question by email at 7 AM IST, with a link to its verified solution. Unsubscribe in one click.

Discrete Mathematics in GATE CSE

Discrete Mathematics has 50 GATE CSE PYQs across 23 papers from 2011 to 2026. This is the only 1-mark MSQ among them, and it is the only one in GATE CSE 2026 Set 2.

How GATE tests Discrete Mathematics

More from GATE CSE 2026 Set 2

Share this solution

A plain-text card for WhatsApp or Telegram study groups.

GateAI solution cardGATE CSE 2026 Set 2 · Q26 · MSQ

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?

Topic-wise GATE CS PYQs with verified steps

Independent practice explanation verified by the GateAI team. GATE is conducted by the IITs; question text follows the official paper.