Gleichungen und Ungleichungen in nichtkommutativen Ringen

		   Johannes Waldmann (HTWK Leipzig)

Ein geordneter Ring besitzt eine mit Addition und Multiplikation
verträgliche Ordnungsrelation. Wir betrachten geordnete Ringe mit
wohlfundiertem Positivbereich als Modelle für terminierende
Wortersetzungssysteme. Eine wesentliche Rolle spielen ganzzahlige
Matrizen, deren Koeffizienten wir über einen interessanten Umweg
bestimmen. Auf diese Weise lösen wir das bisher offene
Terminationsproblem für $ \{aa \to bc, bb \to ac, cc \to ab\}$ .
   http://www.lsv.ens-cachan.fr/rtaloop/problems/104.html
Wir verallgemeinern dann die Frage für Wortersetzung  mit Gewichten und
vergleichen mit bekannten Resultaten zu Ringen mit
polynomiellen Identitäten.