eine Untergruppe ist eine Teilmenge einer Gruppe, die selbst wieder eine Gruppe ist (mit den Regeln der Gruppe).
Teilgruppe ist das Gleiche.
In einer Halbgruppe gilt einzig das Assoziativgesetz.
In einer kommutativen Halbgruppe gilt auch noch das Kommutativgesetz.
Grüße,
M.B.