The Wedderburn-Artin theorem for pseudo-rings (Q2537641)

In der Arbeit ``The Jacobson radical of a pseudoring'' [Math. Z. 89, 348--364 (1965; Zbl 0135.02902)] hatte Verf. Pseudoringe definiert: Die Elemente eines Pseudorings \(\mathfrak A\) bilden eine additive abelsche Gruppe \(A\), in der eine Untergruppe \(A^*\) ausgezeichnet ist. Für alle \(a^*\in A^*\) und alle \(a\in A\) ist ein Produkt \(a*a\in A\) definiert; bezüglich dieses Produkts ist \(A^*\) ein assoziativer Ring und \(A\) ein \(A^*\)-Linksmodul. Man schreibt \(\mathfrak A = (A^*,A)\). Ein wichtiger Typ von Pseudoringen wird wie folgt konstruiert: Sei \(\emptyset\ne I\) eine Menge und \(D\) ein Schiefkörper; \(M_\rho\) sei die Menge aller zeilenfiniten Matrizen vom Typ \(I\) über \(D\); sei \(I_n\) eine endliche Teilmenge von \(I\), die \(n\) Elemente enthält; sei \(M\) die Menge derjenigen Matrizen in \(M_\rho\), die in allen Zeilen mit einem Index \(i\notin I_n\) nur Nullen besitzen; und \(M^*\) sei die Menge der Matrizen in \(M\), die an der Stelle \((i,j)\) den Koeffizienten 0 haben, falls \(i\notin I_n\) oder \(\gamma\notin I_n\) ist. Dann ist \((M^*,M)\) mit der üblichen Matrizenmultiplikation ein Pseudoring, der mit \(\mathfrak M(I_n,I,D)\) bezeichnet wird. Die Definitionen von ``normalen'' Idealen eines Pseudorings von direkten Summen von Pseudoringen und von Artinschen Pseudoringen sind der Arbeit zu entnehmen; diese Definitionen sind durchweg Verallgemeinerungen von entsprechenden Definitionen der Ringtheorie. Ein Pseudoring \(\mathfrak A\) heißt halbeinfach, wenn das vom Verf. (loc. cit.) eingeführte Jacobson-Radical von \(\mathfrak A\) Null ist. Der Hauptsatz der Arbeit lautet nun: Sei \(\mathfrak A=(A^*,A)\) ein Pseudoring mit der Eigenschaft \(A =A^*+A^*A\). Genau dann ist \(\mathfrak A\) ein halbeinfacher Artinscher Pseudoring, wenn \(\mathfrak A\) direkte Summe endlich vieler normaler Ideale ist, von denen jedes zu einem passenden ``Matrizen''-Pseudoring der Form \(\mathfrak M(I_n,I,D)\) isomorph ist \((D\) ein Schiefkörper). Spezialfall: Sei \(\mathfrak A\) ein Ring \((A = A^*)\). Dann ist die Bedingung \(A =A^*+A^*A\) trivial erfüllt, und man erhält den bekannten Satz von Wedderburn-Artin über die Struktur halbeinfacher Artinringe. Die Analoga zum Schurschen Lemma, zum Dichtesatz von Jacobson und zum Struktursatz über primitive Artinringe werden beim Beweis benützt.