Non-commutative arithmetic. (Q2590435)

Verf. betrachtet Verbände \(\varSigma\), in denen die aufsteigende Kettenbedingung gilt, und in denen eine durch vier Bedingungen charakterisierte binäre Relation \(\Bumpeq\) auftritt. Die Elemente \(x\), für welche \(x \Bumpeq a\) stattfindet, bilden einen Unterverband \(L_a\), während \({}_aL\) den \(L\)-Verband bedeutet, zu dem \(a\) gehört. So oft \(a \Bumpeq b\), existiert ein Produkt \(ab\). Daß \({}_aL = {}_bL\) ist, wird auch durch \(a \sim b\) ausgedrückt. In jedem \(L_a\) kommt ein Einheitselement vor. Wenn \(b\) rechter Teiler von \([a, b]\) ist, so wird \(a \,\text{--}\kern-0.6em\ominus\kern-0.6em\text{--}\, b\) geschrieben, und \([a, b]/b = a . b^{-1}\) gesetzt. Ist \(a' = a . b^{-1}\), \(a\sim b\) und \((a, b)\) die Einheit in \({}_aL\), so heißt \(a'\) konjugiert zu \(a\). Weiter heißen \(a\) und \(b\) ``similar'', wenn eine Kette \(a = a_0,\, a_1,\,\ldots,\, a_n = b\) existiert, so daß \(a_i\) konjugiert zu \(a_{i+1}\) ist oder umgekehrt. Endlich heißt \(p\) irreduzibel, wenn \(p\) nicht die Einheit in \({}_pL\) ist, aber für \(x \supset p\), \(x \sim p\) stets entweder \(x\) die Einheit in \({}_pL\) oder \(x = p\) ist. Auf Grund aller dieser begrifflichen Bestimmungen und unter der Voraussetzung, daß die Formel \(a \sim b\rightarrow a \,\text{--}\kern-0.6em\ominus\kern-0.6em\text{--}\, b\) gilt und \(\varSigma\) modular ist, beweist Verf. das Dekompositionstheorem: Jedes Nichteinheitselement \(a\) von \(\varSigma\) besitzt eine Zerlegung in irreduzible Elemente. Sind \[ a=p_rp_{r-1}\cdots p_2p_1=q_sq_{s-1}\cdots q_2q_1 \] zwei solche Zerlegungen, so ist \(r= s\), und die \(p_i\) und \(q_j\) sind paarweise ``similar''.