A representation of generalized Boolean rings. (Q2601642)

Die Verf. verstehen unter einem \(p\)-Ring, wo \(p\) eine Primzahl ist, einen kommutativen Ring \(R_p\), in dem für jedes \(a\) aus \(R_p\) sowohl \(a^p = a\) wie \(pa = 0\) gilt. Ein \textit{Boole}scher Ring ist deshalb ein 2-Ring. \textit{M. H. Stone} hat bewiesen (Trans. Amer. math. Soc. 40 (1936), 37-111; F.~d.~M. 62\(_{\text{I}}\), 33), daß jeder \textit{Boole}sche Ring isomorph ist mit einem Unterring der direkten Summe gewisser Ringe \(F_2\); dabei bedeutet allgemein \(F_p\) den Körper aller Restklassen der ganzen Zahlen mod \(p\). In vorliegender Abhandlung beweisen die Verf. die folgende Verallgemeinerung dieses \textit{Stone}schen Satzes: Jeder \(p\)-Ring \(R_p\) ist isomorph mit einem Unterring der direkten Summe gewisser Ringe \(F_p\). Es wird nämlich gezeigt: (1) Jeder \(p\)-Ring \(R_p\) läßt sich in einen \(p\)-Ring \(R_p^*\) mit Einselement einbetten. (2) Jeder endliche \(p\)-Ring enthält ein Einselement und ist die direkte Summe von Körpern \(F_p\). (3) Enthält \(R_p\) ein Einselement und ist \(a \neq 0\) Element von \(R_p\), so gibt es einen Homomorphismus \(h\) von \(R_p\) in \(F_p\), so daß \(h(a) \neq 0\) ist. Endlich ist (3) mit dem obigen Theorem gleichwertig.