LemmaStatement: AI-adaptedProof: AI-generatedSession-authored (Fable 5 assisted)precheck passjudge pass (z-ai/glm-5.2)audited 2026-07-28

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.

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

Statement

Let $R$ be a ring (Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides). An element $u \in R$ is a unit of $R$ when it is invertible in the multiplicative monoid $(R,\cdot,1)$ (Left inverse, right inverse, and invertible element of a monoid), that is, when there is $v \in R$ with $uv = 1 = vu$ . Write $R^{\times}$ for the set of units. Then:

a unit has exactly one inverse, written $u^{-1}$ , and a single equation $vu = 1$ or $uv = 1$ with $u$ already known to be a unit forces $v = u^{-1}$ ;
$R^{\times}$ contains $1$ , is closed under multiplication and under inversion, and $(R^{\times}, \cdot, 1)$ is a group (Group and abelian group), the group of units of $R$ ;
$0 \in R^{\times}$ if and only if $1 = 0$ , that is, if and only if $R = \{0\}$ .

Facts & Assumptions

Given: A ring $R$ with zero $0$ and identity $1$ , and $R^{\times} = \{\, u \in R : uv = 1 = vu \text{ for some } v \in R \,\}$ (Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides, Left inverse, right inverse, and invertible element of a monoid).

[L1]

$(R,\cdot,1)$ is a monoid: multiplication is associative and $1$ is a two-sided identity for it (Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides, Semigroup and monoid).

[L2]

In a monoid a left inverse and a right inverse of the same element are equal; so an invertible element has exactly one two-sided inverse, and one of the two equations already determines it (In a monoid, a left inverse and a right inverse of the same element are equal; hence an invertible element has exactly one inverse, and it is two-sided).

[L3]

The invertible elements of a monoid $M$ contain the identity, are closed under the operation and under inversion, and form a group under the restricted operation (The invertible elements of a monoid form a group under the restricted operation, Group and abelian group).

[L4]

$0 \cdot x = x \cdot 0 = 0$ for every $x \in R$ , and if $1 = 0$ then $R = \{0\}$ (In any ring $0 \cdot a = a \cdot 0 = 0$ , $(-a)b = a(-b) = -(ab)$ , $(-a)(-b) = ab$ , $(-1)a = -a$ and $a(b - c) = ab - ac$ ).

Proof

technique · direct

1.1

By [L1] the pair $(R,\cdot,1)$ is a monoid, so "unit of $R$ " as defined above is exactly "invertible element of the monoid $(R,\cdot,1)$ ", and $R^{\times}$ is the set of units of that monoid in the sense of Left inverse, right inverse, and invertible element of a monoid.

1.2

Claim 1 is [L2] applied to the monoid $(R,\cdot,1)$ .

L1L2

1.3

Claim 2 is [L3] applied to the same monoid: $1 \in R^{\times}$ because $1 \cdot 1 = 1$ , the set is closed under multiplication and under inversion, and $(R^{\times},\cdot,1)$ is a group.

L1L3

1.4

Conversely, if $1 = 0$ then $0 \cdot 0 = 0 = 1$ , so $0$ is its own two-sided inverse and $0 \in R^{\times}$ ; and $R = \{0\}$ .

2.1

If $0 \in R^{\times}$ , choose $v \in R$ with $0 \cdot v = 1$ . But $0 \cdot v = 0$ , so $1 = 0$ , and then $R = \{0\}$ .

step 1.1L4

3.1

Steps 2.1 and 1.4 give claim 3: $0 \in R^{\times}$ exactly when $1 = 0$ , exactly when $R$ is the one-element ring.

step 2.1step 1.4L4∎

Remarks

Nothing is reproved here. The group structure comes from The invertible elements of a monoid form a group under the restricted operation, which was proved for an arbitrary monoid; all this item does is name the monoid ( $(R,\cdot,1)$ , which exists by axiom (R2) of Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides) and record the one ring-specific fact, claim 3, which needs $0 \cdot v = 0$ and so is not a monoid statement.
Claim 3 is the reason $1 \ne 0$ appears as a hypothesis elsewhere. In the one-element ring every element, $0$ included, is a unit, so "every nonzero element is a unit" is vacuously true there. Division ring: a ring with $1 \ne 0$ in which every nonzero element is a unit therefore requires $1 \ne 0$ separately, and so does Zero divisor, and integral domain: a commutative ring with $1 \ne 0$ and no zero divisors.
$R^{\times}$ is written multiplicatively and is in general not all of $R \setminus \{0\}$ : in $\mathbb{Z}$ it is $\{1,-1\}$ , as the companion page records. The rings in which it is all of $R \setminus \{0\}$ are exactly the division rings.

Depends on

Used by

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 15 results over 12 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources

Unit (ring theory) (Wikipedia) (standard reference, not scraped)
Ring (mathematics) (Wikipedia) (standard reference, not scraped)
Thomas W. Judson, Abstract Algebra: Theory and Applications, §16.3: Rings (standard reference, not scraped)

The units of a ring are the invertible elements of its multiplicative monoid, and R×R^{\times}R× is a group under multiplication; 0∈R×0 \in R^{\times}0∈R× only in the zero ring