ThmDex – An index of mathematical definitions, results, and conjectures.

Processing math: 100%

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F798 on D1083: Finite ring

F798

Formulation 0

A D24: Ring

$R = (X, +, \times)$ is finite if and only if

$X$ is a D17: Finite set.