Characteristic direct factor not implies fully invariant

From Groupprops
Jump to: navigation, search
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 direct factor) need not satisfy the second subgroup property (i.e., fully invariant subgroup)
View a complete list of subgroup property non-implications | View a complete list of subgroup property implications
Get more facts about characteristic direct factor|Get more facts about fully invariant subgroup
EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property characteristic direct factor but not fully invariant subgroup|View examples of subgroups satisfying property characteristic direct factor and fully invariant subgroup

Statement

A characteristic direct factor of a group (i.e., a characteristic subgroup that is also a Direct factor (?)) need not be a fully invariant subgroup -- it need not be invariant under all endomorphisms of the group.

Proof

A generic example

Consider G to be a nontrivial centerless group, and A be isomorphic to a nontrivial Abelian subgroup B of G. Then, consider the group K = G \times A and the subgroup A_1 = \{ e \} \times A.

  • A_1 is a direct factor of K: By construction.
  • A_1 is characteristic in K: In fact, A_1 equals the center of the direct product.
  • A_1 is not fully invariant in K: We can construct an endomorphism whose kernel is the direct factor G, and which maps the direct factor A (and hence the subgroup A_1) to the subgroup B.

The same generic example also shows that the center need not be a fully characteristic subgroup.