Subrings of direct sums. (Q2595679): Difference between revisions

Verf. beweist zuerst, daß jeder algebraische Ring \(R\) der Charakteristik \(k\) (\(k =\) Primzahl \(p\) oder \(= 0\)) ohne Einselement sich in einen anderen Ring \(R'\) derselben Charakteristik mit Einselement einbetten läßt. Besitzt \(R\) kein nilpotentes Element, so hat \(R'\) auch keines. Danach beweist er, daß jeder algebraische Ring der Charakteristik \(k\) ohne nilpotente Elemente isomorph ist mit einem Unterring der direkten Summe gewisser Körper \(C_k\); dabei bedeutet \(C_k\) die algebraisch abgeschlossene Erweiterung von \(P_k\), wo \(P_0\) den absoluten Körper, \(P_p\) den Galoisschen Körper \(GF(p)\) bedeutet. Den Beweis führt er durch transfinite Induktion, indem \(R\) wohlgeordnet angenommen wird und zuerst zwei Hilfssätze bewiesen werden, die wesentlich besagen, daß ein Homomorphismus zwischen einem Unterring \(S\) von \(R\), der das Einselement enthält, und einem Unterringe \(D\) von \(C_k\) zu einem Homomorphismus zwischen \(S(a)\) und \(D_1\) erweitert werden kann, wobei \(a\in R\), aber nicht \(\in S\) ist, und \(D < D_1< C_k\). Verf. beweist noch einige weitere Theoreme, u. a. daß ein algebraischer Ring ohne nilpotente Elemente, worin jedes Element von endlicher Ordnung ist, isomorph ist mit einem Unterring der direkten Summe von Körpern \(C_p\) und daß in jedem Ringe der Charakteristik \(p\) ohne nilpotente Elemente jedes Ideal das Produkt aller seiner Primidealteiler ist.