Skip to content
Part BCSIR NET December 2024odd-and-even-powers-cannot-cancel

Odd and even powers cannot cancel

Consider the ring homomorphism ψ:C[x,y]→C[t]\psi : \mathbb{C}[x, y] \to \mathbb{C}[t] defined by ψ(f(x,y))=f(t2,t3)\psi(f(x, y)) = f(t^{2}, t^{3}). Which of the following statements is true?

  1. A.ψ\psi is surjective.
  2. B.If p1(x)y+p2(x)∈ker⁡ψp_{1}(x)y + p_{2}(x) \in \ker \psi for polynomials p1(x),p2(x)∈C[x]p_{1}(x), p_{2}(x) \in \mathbb{C}[x], then both p1p_{1} and p2p_{2} are the zero polynomial.✓ Correct
  3. C.There exist non-zero polynomials p1(x),p2(x)∈C[x]p_{1}(x), p_{2}(x) \in \mathbb{C}[x] such that ψ(p1(x)y+p2(x))=0\psi(p_{1}(x)y + p_{2}(x)) = 0.
  4. D.There exists f∈C[x,y]f \in \mathbb{C}[x, y] such that ψ(f(x,y))=0\psi(f(x, y)) = 0 and ψ(f2(x,y))≠0\psi(f^{2}(x, y)) \ne 0.

You have the answer. Trap Analysis is why the other three were written.

Not a worked solution repeated four times — the specific reasoning error each wrong option was built to reward, and why this one tests execution slip.

See pricing

50 are analysed free — try those first.

The trap it tests

Execution slip

The idea was right. The computation was not.

Drill statements like this

Related counterexample: Irreducible over ℤ ⇒ irreducible mod every prime

More on this topic

The chapter behind this: Irreducibility tests — free to read

From Rings and Fields › Polynomial rings and irreducibility tests

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram