example of fully invariant subgroup
The derived subgroup is a fully invariant subgroup because if is an endomorphism of , then for each word of commutators
, we have
i.e. the homomorphic image of a word of commutators is a word of commutators.