Kategorie:Theorie der endlichen freien Algebren über Hauptidealbereichen/Definitionen