GateAI
Discrete Mathematics

GATE CSE 2025 Set 1 · Q17

MCQ1 markEasy

Time

g(.)g(.) is a function from AA to BB, f(.)f(.) is a function from BB to CC, and their composition defined as f(g(.))f(g(.)) is a mapping from AA to CC. If f(.)f(.) and f(g(.))f(g(.)) are onto (surjective) functions, which ONE of the following is TRUE about the function g(.)g(.)?

Select one answerSingle correct

Pick an option to check

Solution

Step-by-step verified solution

Official answer: D) g(.) is not required to be a one-to-one or onto function.

Discrete Mathematics

If the composite function f∘g:A→Cf \circ g: A \to C is onto (surjective), it guarantees that the outer function f:B→Cf: B \to C is onto. However, it imposes no requirement on the inner function g:A→Bg: A \to B to be injective (one-to-one) or surjective (onto).

### Counterexample: Let the sets be defined as:

  • A={1,2}A = \{1, 2\}

  • B={x,y,z}B = \{x, y, z\}

  • C={c}C = \{c\}

Define the mappings:

  • g(1)=xg(1) = x, g(2)=xg(2) = x

  • f(x)=cf(x) = c, f(y)=cf(y) = c, f(z)=cf(z) = c

Checking the properties:

  1. ff is onto: range(f)={c}=C\text{range}(f) = \{c\} = C.

  2. f∘gf \circ g is onto: (f∘g)(1)=f(x)=c(f \circ g)(1) = f(x) = c and (f∘g)(2)=f(x)=c(f \circ g)(2) = f(x) = c, so range(f∘g)={c}=C\text{range}(f \circ g) = \{c\} = C.

  3. gg is NOT one-to-one: g(1)=g(2)=xg(1) = g(2) = x with 1≠21 \neq 2.

  4. gg is NOT onto: The elements y,z∈By, z \in B are not mapped from any element in AA.

Thus, g(.)g(.) is not required to be either one-to-one or onto.

Therefore, (D) is the correct statement.

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 Q17 of the GATE CSE 2025 Set 1 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. 18 of them are 1-mark MCQs like this one, and it is the only one in GATE CSE 2025 Set 1.

How GATE tests Discrete Mathematics

More from GATE CSE 2025 Set 1

Share this solution

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

GateAI solution cardGATE CSE 2025 Set 1 · Q17 · MCQ

g(.) is a function from A to B, f(.) is a function from B to C, and their composition defined as f(g(.)) is a mapping from A to C. If f(.) and f(g(.)) are onto (surjective) functions, which ONE of the following is TRUE about the function g(.)?

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.