Reduktionssysteme zur Berechnung einer Auflösung der orthogonalen freien Quantengruppen $A_o(n)$
Für die freien orthogonalen Quantengruppen $A_o(n)$ wird ein vollstä ndiges Reduktionssystem angegeben und verifiziert. Für den Fall $n = 2$ wird ein endlicher Automat angegeben, der sämtliche der Basiselemente findet. Weiterhin wird eine Basis für die für die Kerne einer freien Auflösung von $A_o(n)$ als Bimodul bewiesen. Abschließend wird mit der nun verifizierten Auflösung die Homologie von $A_o(n)$ explizit berechnet.
math.RA↗