"alternating semigroup" Deutsche bedeutung