Characteristic not implies amalgam-characteristic
This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., characteristic subgroup) need not satisfy the second subgroup property (i.e., amalgam-characteristic subgroup)
View a complete list of subgroup property non-implications | View a complete list of subgroup property implications
Get more facts about characteristic subgroup|Get more facts about amalgam-characteristic subgroup
EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property characteristic subgroup but not amalgam-characteristic subgroup|View examples of subgroups satisfying property characteristic subgroup and amalgam-characteristic subgroup
Example of the infinite dihedral group
Let be the infinite dihedral group given by:
Let be the subgroup of given as the normal subgroup . Note that is characteristic in , since it is the centralizer of derived subgroup. We have:
Note here that we're using the fact that the infinite dihedral group can be identified with the free product of two copies of the cyclic group of order two, whence either of these takes the role of the acting . The upshot is that we have:
where the action is by the inverse map. Further, is the first embedded direct factor in .
Finally, observe that the coordinate exchange automorphism of extends to an automorphism of , since it commutes with the inverse map, and can therefore be taken to fix the complementary .
Thus, is not a characteristic subgroup of .