LemmaStatement: AI-adaptedProof: AI-generatedprecheck 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 $u v = 1 = v u$ . Write $R^{\times}$ for the set of units. Then:

a unit has exactly one inverse, written $u^{- 1}$ , and a single equation $v u = 1$ or $u v = 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 : u v = 1 = v u 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) = - (a b)$ , $(- a) (- b) = a b$ , $(- 1) a = - a$ and $a (b - c) = a b - a c$ ).

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 \neq 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 \neq 0$ in which every nonzero element is a unit therefore requires $1 \neq 0$ separately, and so does Zero divisor, and integral domain: a commutative ring with $1 \neq 0$ and no zero divisors.
$R^{\times}$ is written multiplicatively and is in general not all of $R ∖ {0}$ : in $Z$ it is ${1, - 1}$ , as the companion page records. The rings in which it is all of $R ∖ {0}$ are exactly the division rings.

Depends on

Used by

Dependency tree · two levels

12 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

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× is a group under multiplication; 0∈R×0∈R× only in the zero ring