Characteristic not implies fully invariant: Difference between revisions

Latest revision as of 05:40, 20 January 2013

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., 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 subgroup|Get more facts about fully invariant subgroup

EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property characteristic subgroup but not fully invariant subgroup|View examples of subgroups satisfying property characteristic subgroup and fully invariant subgroup

Statement

A characteristic subgroup of a group need not be a fully invariant subgroup.

Definitions used

Term	Definition
characteristic subgroup	A subgroup $H$ of a group $G$ is termed a characteristic subgroup if for any automorphism $σ$ of $G$ and any $x \in H$ , $σ (x) \in H$ .
fully invariant subgroup	A subgroup $H$ of a group $G$ is termed a fully invariant subgroup if for any endomorphism $σ$ of $G$ and any $x \in H$ , $σ (x) \in H$ .

Related facts

For particular kinds of groups

Some kinds of characteristic subgroups that are not fully invariant

Opposite facts

Characteristic equals fully invariant in odd-order abelian group

Some subgroup-defining functions yield fully invariant subgroups

All members of the derived series and the lower central series of a group are fully characteristic. This follows from the fact that they are all verbal subgroups (i.e., can be described as being generated by words of a certain form. Further information: Verbal subgroup, Verbal implies fully characteristic

Proof

The example of the dihedral group

Further information: Dihedral group:D8

In the dihedral group of order eight, there exists a cyclic characteristic subgroup of order four that is not fully characteristic. Specifically, if we have:

$G : = ⟨ a, x ∣ a^{4} = x^{2} = e, x a x^{- 1} = a^{- 1} ⟩$

then the subgroup generated by $a$ is characteristic. On the other hand, it is not fully characteristic: consider the homomorphism that sends both $a$ and $x$ to $x$ . This is a retraction to the two-element subgroup ${x, e}$ , and under this retraction, the subgroup generated by $a$ is not invariant (since $a$ gets mapped to $x$ ).

The example of the center, or a characteristic direct factor

If $G$ is a nontrivial centerless group and $A$ is an Abelian group isomorphic to a nontrivial Abelian subgroup $B$ of $G$ , then we have:

$A$ is characteristic in $G$ : In fact, $A$ is the center of $G \times A$ .
$A$ is not fully characteristic in $G$ : Consider the endomorphism with kernel $G$ , mapping $A$ isomorphically to $B$ . $A$ is not invariant under this endomorphism.

@@ Line 1: / Line 1: @@
+{{subgroup property non-implication|
+stronger = characteristic subgroup|
+weaker = fully invariant subgroup|
+stronger relevance = 1|
+weaker relevance = 1}}
+[[difficulty level::2| ]]
 ==Statement==
-A [[characteristic subgroup]] of a group need not be a [[fully characteristic subgroup]].
+A [[characteristic subgroup]] of a group need not be a [[fully invariant subgroup]].
-==Example==
+==Definitions used==
-{{further|[[Center not is fully characteristic]]}}
+{| class="sortable" border="1"
+! Term !! Definition
+|-
+| [[characteristic subgroup]] || A subgroup <math>H</math> of a group <math>G</matH> is termed a characteristic subgroup if for any [[automorphism]] <math>\sigma</math> of <math>G</math> and any <math>x \in H</math>, <math>\sigma(x) \in H</math>.
+|-
+| [[fully invariant subgroup]] || A subgroup <math>H</math> of a group <math>G</matH> is termed a fully invariant subgroup if for any [[endomorphism]] <math>\sigma</math> of <math>G</math> and any <math>x \in H</math>, <math>\sigma(x) \in H</math>.
+|}
-The [[center]] of any group is always a [[characteristic subgroup]]. Hence, to construct an example of a characteristic subgroup that is not fully characteristic, it suffices to construct an example where the center is not fully characteristic. Such an example is to be found [[center not is fully characteristic|here]].
+==Related facts==
+===For particular kinds of groups===
+* [[Every nontrivial characteristic subgroup is potentially characteristic-and-not-fully invariant]]
+* [[Every nontrivial normal subgroup is potentially characteristic-and-not-fully invariant]]
+===Some kinds of characteristic subgroups that are not fully invariant===
+* [[Center not is fully invariant]]
+* [[Characteristic direct factor not implies fully invariant]]
+* [[Characteristic not implies fully invariant in finite abelian group]]
+* [[Characteristic not implies fully invariant in odd-order class two p-group]]
+* [[Characteristic not implies fully invariant in class three maximal class p-group]]
+===Opposite facts===
+* [[Characteristic equals fully invariant in odd-order abelian group]]
+===Some subgroup-defining functions yield fully invariant subgroups===
+All members of the [[derived series]] and the [[lower central series]] of a group are fully characteristic. This follows from the fact that they are all [[verbal subgroup]]s (i.e., can be described as being generated by words of a certain form. {{further|[[Verbal subgroup]], [[Verbal implies fully characteristic]]}}
+==Proof==
+===The example of the dihedral group===
+{{further|[[Particular example::Dihedral group:D8]]}}
+In the dihedral group of order eight, there exists a cyclic characteristic subgroup of order four that is ''not'' fully characteristic. Specifically, if we have:
+<math>G := \langle a,x \mid a^4 = x^2 = e, xax^{-1} = a^{-1} \rangle</math>
+then the subgroup generated by <math>a</math> is characteristic. On the other hand, it is ''not'' fully characteristic: consider the homomorphism that sends both <math>a</math> and <math>x</math> to <math>x</math>. This is a retraction to the two-element subgroup <math>\{ x, e \}</math>, and under this retraction, the subgroup generated by <math>a</math> is ''not'' invariant (since <math>a</math> gets mapped to <math>x</math>).
+===The example of the center, or a characteristic direct factor===
+If <math>G</math> is a nontrivial [[centerless group]] and <math>A</math> is an Abelian group isomorphic to a nontrivial Abelian subgroup <math>B</math> of <math>G</math>, then we have:
+* <math>A</math> is characteristic in <math>G</math>: In fact, <math>A</math> is the center of <math>G \times A</math>.
+* <math>A</math> is not fully characteristic in <math>G</math>: Consider the endomorphism with kernel <math>G</math>, mapping <math>A</math> isomorphically to <math>B</math>. <math>A</math> is not invariant under this endomorphism.