"algebraically compact semigroup" Deutsche bedeutung