Abel'sche Halbgruppe