Reduktionssysteme zur Berechnung einer Auflösung der orthogonalen freien Quantengruppen
arXiv:0901.1391
Abstract
Für die freien orthogonalen Quantengruppen wird ein vollstä ndiges Reduktionssystem angegeben und verifiziert. Für den Fall 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 als Bimodul bewiesen. Abschließend wird mit der nun verifizierten Auflösung die Homologie von explizit berechnet.