Note on the reducibility of algebras without a finite base. (Q563370)

Verf. untersucht die Frage, inwieweit sich die bekannten Sätze über die Reduzibilität von Algebren mit endlicher Basis auf solche Algebren übertragen lassen, die diese Eigenschaft nicht besitzen, sondern in denen allein die Existenz zweier Elemente 0, 1 vorausgesetzt wird, so daß für jedes Paar von Elementen der Algebra gilt: \(1\cdot a=a\), \(a+b\cdot 0=a\). Einige Sätze lassen sich übertragen, nicht aber der Satz von der eindeutigen Zerlegbarkeit in eine direkte Summe von irreduziblen Algebren. Indes läßt sich hier, falls eine Reduktion der geschilderten Art möglich ist, die Eindeutigkeit beweisen. Kann eine Algebra \(\mathfrak A\) als direkte Summe auf zwei verschiedene Weisen dar gestellt werden: \(\mathfrak A=(\varSigma )\mathfrak A_\varkappa =(\varSigma )\mathfrak B_\varkappa \) derart, daß \(\mathfrak A\mathfrak A_\varkappa =\mathfrak A_\varkappa \mathfrak A = \mathfrak A_\varkappa \), \(\mathfrak B_\varkappa \mathfrak A = \mathfrak A\mathfrak B_\varkappa =\mathfrak B_\varkappa \), so kann jedes \(\mathfrak A_\varkappa \) und \(\mathfrak B_\varkappa \) als direkte Summe von einer oder mehreren Unteralgebren dargestellt werden: \[ \mathfrak A_\varkappa = (\varSigma )\mathfrak A_{\varkappa \lambda },\quad \mathfrak B_\varkappa =(\varSigma )\mathfrak B_{\varkappa \lambda }; \] hierin stimmen die \(\mathfrak A_{\varkappa \lambda }\) und \(\mathfrak B_{\varkappa \lambda }\) abgesehen von der Reihenfolge überein. Besitzt \(\mathfrak A\) eine Haupteinheit, so kann \(\mathfrak A\) sicher nicht als direkte Summe von mehr als endlich vielen Unteralgebren dargestellt werden.