# Cheat Sheet: Finite Ring with Unique Zero Divisor

---

## Given

R is a finite commutative ring with 1 ≠ 0, and exactly one nonzero zero divisor.

## Goal

Show |R| = 4 and classify R.

---

## Algorithm

**1. Isolate element**

Let x ≠ 0 be the unique zero divisor.

**2. Force nilpotency**

Since x is a zero divisor, ∃ y ≠ 0 with x*y = 0.
Then y is a zero divisor ⇒ y = x. Hence:

    x² = 0

**3. Control units**

Let u ∈ R*. Then u*x ≠ 0 and

    (u*x)*x = u*x² = 0  ⇒  u*x is a zero divisor

By uniqueness: u*x = x ⇒ (u-1)*x = 0.

**4. Structure collapse**

Elements are forced into:

    R = {0, 1, x, 1+x}  ⇒  |R| = 4

**5. Classification**

Since x² = 0 and x ≠ 0, R is a local ring of order 4:

    R ≅ Z_4    or    R ≅ F_2[X] / (X²)

Distinguish by characteristic:

    char(R) = 2  ⇒  F_2[X] / (X²)
    char(R) = 4  ⇒  Z_4

---

## Triggers

- Uniqueness of zero divisor ⇒ collapse argument
- Finite ring ⇒ unit/zero divisor dichotomy
- Multiplication by units preserves structure