"artinian semigroup" Deutsche bedeutung