Skip to content
Part BCSIR NET June 2023crt-counting

Crt counting

The number of solutions of the equation x2=1x^{2} = 1 in the ring Z/105Z\mathbb{Z}/105\mathbb{Z} is

  1. A.0
  2. B.2
  3. C.4
  4. D.8✓ Correct

The idea, in plain words

Split the modulus into its prime factors and solve separately in each piece. In each odd prime piece there are exactly two square roots of one, and every combination of choices recombines into a distinct solution.

Solution

By CRT, Z/105Z≅Z/3×Z/5×Z/7;x2=1\mathbb{Z}/105\mathbb{Z} \cong \mathbb{Z}/3 \times \mathbb{Z}/5 \times \mathbb{Z}/7; x^{2} = 1 has exactly 2 solutions in each odd prime field

giving 23=82^{3} = 8.

Why each option is right or wrong

Checked against 4 symbolic computations
  • A.Wrong

    False — x = 1 is always a solution

    so the count is never 0.

  • False.

    ±1 are the obvious two

    but they are not the only ones once the modulus is composite.

    SymPy exhibits others directly: 292≡129^{2} \equiv 1 and 342≡1(mod105)34^{2} \equiv 1 (mod 105).

    Expecting exactly two square roots of 1 is the habit carried over from fields, where x2−1=(x−1)(x+1)x^{2} - 1 = (x-1)(x+1) has at most two roots — an argument that needs the absence of zero divisors.

  • False — 4 would be the count for a product of two odd primes.

    105 has three distinct prime factors (SymPy: 3 · 5 · 7)

    so the count is 232^{3}, not 222^{2}.

  • D.Correct

    True.

    By the Chinese remainder theorem Z/105≅Z/3×Z/5×Z/7(\mathbb{Z}/105 \cong \mathbb{Z}/3 \times \mathbb{Z}/5 \times \mathbb{Z}/7 (SymPy confirms the factorisation), and x2=1x^{2} = 1 becomes three independent equations, one per component.

    Each is over a field of odd characteristic, where x2=1x^{2} = 1 has exactly the two roots ±1.

    So the total is 2 × 2 × 2 = 8 (verified).

    The trigger: for a modular equation, split by CRT and solve prime by prime, then multiply the counts.

2 of these 3 wrong options correspond to a named reasoning error — the same errors recur across subjects.

The trap it tests

Execution slip

The idea was right. The computation was not.

Drill statements like this

Related counterexample: Every prime ideal is maximal

More on this topic

The chapter behind this: Ideals, quotients and the Chinese remainder theorem — free to read

From Rings and Fields › Ideals, quotient rings, prime & maximal ideals, CRT

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

ShareWhatsAppTelegram