Metaproperties

It is possible to have groups such that is normal in with no nontrivial homomorphism from to , and is normal in with no nontrivial homomorphism from to , but there does exist a nontrivial homomorphism from to .