Noncommutative domains of integrity. (Q563410)

Gegenstand der Untersuchung sind nichtkommutative nullteilerfreie Ringe mit Einselement, für deren Elemente eine Bewertung und ein (beidseitiges) Divisionsverfahren definiert werden kann, so daß der ``Betrag'' des Restes kleiner als der Betrag des Divisors ist. In solchen sogenannten Euklidischen Bereichen \(E\) wird der größte gemeinsame (rechts- bzw. linksseitige) Teiler und das kleinste gemeinsame Vielfache von zwei Elementen durch einen Euklidischen Algorithmus in endlich vielen Schritten bestimmt. Über die Faktorzerlegung in \(E\) beweist Verf. Sätze, die als Ersatz für die eindeutige Zerlegbarkeit im kommutativen Fall anzusehen sind. Zum Schluß wird die Einbettung von \(E\) in eine (dem Quotientenkörper entsprechende) Divisionsalgebra vollzogen und die Elementarteilertheorie der Matrizen entwickelt.