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