Groupprops, The Group Properties Wiki (pre-alpha)
Visit the subject wikis reference guide for links to more subject wikis.

From Groupprops

This article describes a computation relating the result of the composition operator on two known subgroup properties (i.e., fully invariant subgroup and strictly characteristic subgroup), to another known subgroup property (i.e., strictly characteristic subgroup)
View a complete list of composition computations

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., fully invariant subgroup) must also satisfy the second subgroup property (i.e., left-transitively strictly characteristic subgroup)
View all subgroup property implications | View all subgroup property non-implications |Get help on looking up subgroup property implications/non-implications
Get more facts about fully invariant subgroup| Get more facts about left-transitively strictly characteristic subgroup

Contents 1 Statement 1.1 Property-theoretic statement 1.2 Verbal statement 1.3 Symbolic statement 2 Proof 2.1 Hands-on proof 2.2 Using the function restriction formalism

Statement

Property-theoretic statement

Fully invariant * Strictly characteristic Strictly characteristic

Verbal statement

Every fully invariant subgroup of a strictly characteristic subgroup is strictly characteristic.

Symbolic statement

Let such that H is fully invariant in K and K is strictly characteristic in G, then H is strictly characteristic in G.

Proof

Hands-on proof

Given groups such that H is fully invariant in K and K is strictly characteristic in G. We need to show that for any surjective endomorphism σ of G, σ takes H to within itself.

First, notice that since K is strictly characteristic in G, for every . Thus, σ restricts to a function from K to K. Since this function arises by restricting an endomorphism of G, it is an endomorphism of K.

Since H is fully invariant in K, σ | _K takes H to within itself. But since σ | _K is the restriction of σ to K in the first place, we conclude that σ in fact takes H to itself.

Using the function restriction formalism

In terms of the function restriction formalism:

• The following is a function restriction expression for the subgroup property of normality:

Surjective endomorphism Endomorphism

• The following is a function restriction expression for the subgroup property of full invariance:

Endomorphism Endomorphism

We now use the composition rule for function restriction to observe that the composition of fully invariant and strictly characteristic implies the property:

Surjective endomorphism Endomorphism

Which is again the subgroup property of strict characteristicity.