La relación "ba = ab" nos dice que la operación no es conmutativa, por lo que S no puede ser un grupo cíclico.