abelsche Halbgruppe