"abelian semigroup" Deutsche bedeutung