2. Elementare Gruppentheorie

Definition Halbgruppe

Eine Halbgruppe S = (S,∗) besteht aus einer Menge S und einer inneren zweistelligen Verknüpfung
 
∗: S × S → S , (a,b) ↦ a∗b
 
Sie ist assoziativ, d. h. für alle a, b, c ∈ S gilt
 
a∗(b∗c) = (a∗b)∗c

Diskussion