\newcommand{\R}{\mathbb R}

Definition

Sei ein Ring mit Primzahlcharakteristik . Dann gilt: für alle