In mathematics, a subgroup of a group is fully characteristic (or fully invariant) if it is invariant under every endomorphism of the group. That is, any endomorphism of the group takes elements of the subgroup to elements of the subgroup.
Every group has itself (the improper subgroup) and the trivial subgroup as two of its fully characteristic subgroups. Every fully characteristic subgroup is a strictly characteristic subgroup, and a fortiori a characteristic subgroup.
The commutator subgroup of a group is always a fully characteristic subgroup. 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.
See also characteristic subgroup.
Famous quotes containing the word fully:
“One of the most significant effects of age-segregation in our society has been the isolation of children from the world of work. Whereas in the past children not only saw what their parents did for a living but even shared substantially in the task, many children nowadays have only a vague notion of the nature of the parent’s job, and have had little or no opportunity to observe the parent, or for that matter any other adult, when he is fully engaged in his work.”
—Urie Bronfenbrenner (b. 1917)