Definition:Characteristic of Ring/Definition 3
Jump to navigation
Jump to search
Definition
Let $\struct {R, +, \circ}$ be a ring with unity whose zero is $0_R$ and whose unity is $1_R$.
The characteristic of $R$, denoted $\Char R$, is defined as follows.
Let $p$ be the order of $1_R$ in the additive group $\struct {R, +}$ of $\struct {R, +, \circ}$.
If $p \in \Z_{>0}$, then $\Char R := p$.
If $1_R$ is of infinite order, then $\Char R := 0$.
Also see
Sources
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 61$. Characteristic of an integral domain or field
- 2008: Paul Halmos and Steven Givant: Introduction to Boolean Algebras ... (previous) ... (next): $\S 1$