El grupo S está caracterizado por tener dos generadores a, b tales que a = b = e, bab = a.