Characteristic

Sei \(R\) ein Integritätsbereich und \(\varphi: \mathbb{Z} \rightarrow R\) der kanonische Ringhomomorphismus mit \(\varphi(1) = 1_R\). Dann ist die charakteristik \(\mathrm{char}(R) \in \mathbb{N}_0\) von \(R\) definiert als Erzeuger des Kerns als Ideal definiert