Nemkommutatív csoportban sem következik a bab=a egyenletből, hogy b=1. Jegyezzük még meg, hogy ha minden elem négyzete az identitás, akkor a csoport automatikusan kommutatív.