for G being strict Group holds id the carrier of G = 1_ (AutGroup G)