Wo ist das Problem? Du gehst einfach alle Definitionen durch und schaust, ob von Monoid, Halbgruppe, etc. alle notwendigen Eigenschaften erfüllt sind.
Z.b. checkst du bei der Gruppe, ob sie Assoziativ, ein neutrales Element & ein inverses Element hat. Bei letzterem wird es wahrscheinlich scheitern.