I dont think it is necessary tho show that \(\rho\) preserves inverses for \(\rho\) to be a homomorphism, but it is certainly not wrong if you do it ;-)
Simfeld (talk) 11:57, 15 June 2015 (CEST)