Definition:Characteristic of Ring/Definition 2
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$.
Let $g: \Z \to R$ be the initial homomorphism, with $\map g n = n \cdot 1_R$.
Let $\ideal p$ be the principal ideal of $\struct {\Z, +, \times}$ generated by $p$.
The characteristic $\Char R$ of $R$ is the positive integer $p \in \Z_{\ge 0}$ such that $\ideal p$ is the kernel of $g$.
Also see
This page or section has statements made on it that ought to be extracted and proved in a Theorem page. In particular: Put this into its own page and reference it. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page. |
By Kernel of Ring Homomorphism is Ideal and Ring of Integers is Principal Ideal Domain, there exists a unique $p \in \Z_{\ge 0}$ such that $\ker g$ is the principal ideal $\ideal p$.
Sources
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {IV}$: Rings and Fields: $24$. The Division Algorithm