Editing Characteristic subgroup (section)

=== Verbal subgroup ===
An even stronger constraint is [[verbal subgroup]], which is the image of a fully invariant subgroup of a [[free group]] under a homomorphism. More generally, any [[verbal subgroup]] is always fully characteristic. For any [[reduced free group]], and, in particular, for any [[free group]], the converse also holds: every fully characteristic subgroup is verbal.