Kommutative Halbgruppe