False statementConstruction: AI-adaptedVerification: AI-generatedprecheck passverified 2026-08-03 (gpt-5.6-sol-codex-subscription)

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

FALSE: In every commutative ring, each nonzero element is either a unit or a zero divisor

Statement

False claim: in every commutative ring $R$ (Commutative ring), every $a \in R$ with $a \neq 0$ is either a unit of $R$ (The units of a ring are the invertible elements of its multiplicative monoid, and $R^{\times}$ is a group under multiplication; $0 \in R^{\times}$ only in the zero ring) or a zero divisor (Zero divisor, and integral domain: a commutative ring with $1 \neq 0$ and no zero divisors).

The integers refute it. With $2 : = 1 + 1$ in $Z$ , the element $2$ is nonzero, is not a unit, and is not a zero divisor.

Facts & Assumptions

Given: The commutative ring $Z$ with the operations of Arithmetic on the integers and the order of Order on the integers, and the numeral $2 = 1 + 1$ ( $Z$ is a commutative ring and an ordered ring, the published construction being an instance of the general definitions, The integers as equivalence classes of pairs of naturals).

[L1]

$Z$ is a commutative ring ( $Z$ is a commutative ring and an ordered ring, the published construction being an instance of the general definitions, The integers form a commutative ring, Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides, Commutative ring).

[L2]

$Z^{\times} = {1, - 1}$ ( $(Z, \cdot, 1)$ is a commutative monoid whose group of units is ${1, - 1}$ ; equivalently $u ∣ 1$ holds exactly for $u = 1$ and $u = - 1$ , The units of a ring are the invertible elements of its multiplicative monoid, and $R^{\times}$ is a group under multiplication; $0 \in R^{\times}$ only in the zero ring, Left inverse, right inverse, and invertible element of a monoid).

[L3]

If $x, y \in Z$ are nonzero then $x y \neq 0$ (The integers have no zero divisors; multiplicative cancellation).

[L4]

The order on $Z$ is total and compatible with addition; $ι : N \to Z$ is injective and order preserving with $ι (0) = 0$ and $ι (1) = 1$ . Since $0 + 1 = 1$ in $N$ , one has $0 \leq 1$ there and hence $ι (0) \leq ι (1)$ (The integers form a totally ordered ring, Order on the integers, The naturals embed in the integers, Order on the natural numbers, Addition of natural numbers).

[L5]

$a$ is a zero divisor when $a \neq 0$ and $a b = 0$ or $b a = 0$ for some $b \neq 0$ (Zero divisor, and integral domain: a commutative ring with $1 \neq 0$ and no zero divisors).

[L6]

The refuted claim: in every commutative ring, every nonzero element is a unit or a zero divisor.

Refutation

technique · direct

1.1

$0 < 1 < 2$ and $- 1 < 0$ in $Z$ : $1 = ι (1)$ is nonnegative and differs from $0 = ι (0)$ because $ι$ is injective, so $0 < 1$ ; adding $1$ gives $1 < 2$ ; adding $- 1$ to $0 < 1$ gives $- 1 < 0$ . In particular $2 \neq 0$ , $2 \neq 1$ and $2 \neq - 1$ .

2.1

$2$ is not a unit of $Z$ : by [L2] the units are $1$ and $- 1$ , and $2$ is neither, by step 1.1.

step 1.1L2

2.2

$2$ is not a zero divisor of $Z$ : if $2 b = 0$ with $b \neq 0$ , then $2 \neq 0$ by step 1.1 and $b \neq 0$ give $2 b \neq 0$ by [L3], a contradiction; and $b \cdot 2 = 2 b$ by commutativity. So no such $b$ exists.

step 1.1L1L3L5

3.1

$Z$ is a commutative ring by [L1], and by step 1.1 the element $2$ is nonzero, while by steps 2.1 and 2.2 it is neither a unit nor a zero divisor. So the claim of [L6] is false.

step 1.1step 2.1step 2.2L1L6∎

Remarks

What the claim is confusing it with. In an integral domain every nonzero element is a non-zero-divisor, and the claim would follow if every nonzero non-zero-divisor were a unit. That last implication is what $Z$ refutes: $2$ cancels, by The integers have no zero divisors; multiplicative cancellation, and is still not invertible.
The claim becomes true under a finiteness hypothesis, which it does not make. If $R$ is a commutative ring and $a \neq 0$ , consider $x \mapsto a x$ . If it is injective and $R$ is finite, it is surjective by A subset of a finite set is finite, with $∣ B ∣ \leq ∣ A ∣$ , and equality holds if and only if $B = A$ , so $a x = 1$ for some $x$ and $a$ is a unit; if it is not injective, then $a x = a y$ with $x \neq y$ gives $a (x - y) = 0$ with $x - y \neq 0$ , so $a$ is a zero divisor. The hypothesis that $R$ is finite is exactly what $Z$ fails, and the statement above assumes nothing of the kind. This paragraph applies the cited finite-set theorem as an observation about the claim; it is not part of the refutation.
The witness is $2$ , not $0$ . Under the convention of Zero divisor, and integral domain: a commutative ring with $1 \neq 0$ and no zero divisors the element $0$ is not a zero divisor, so a claim quantified over nonzero elements is not vacuously repaired by looking at $0$ ; the refutation has to exhibit a genuine nonzero element, and it does.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

56 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Zero divisor (Wikipedia) (standard reference, not scraped)
Unit (ring theory) (Wikipedia) (standard reference, not scraped)
Integral domain (Wikipedia) (standard reference, not scraped)