Potentially characteristic implies normal
DIRECT: The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved
View other results with direct proofs
VIEW FACTS USING THIS: directly  directly or indirectly, upto two steps  directly or indirectly, upto three steps
VIEW: Survey articles about this
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 must also satisfy the second subgroup property
View all subgroup property implications  View all subgroup property nonimplications

Statement
Propertytheoretic statement
The subgroup property of being a potentially characteristic subgroup is stronger than the subgroup property of being a normal subgroup.
Verbal statement
Any potentially characteristic subgroup of a group is also a normal subgroup.
Definitions used
Potentially characteristic subgroup
Further information: Potentially characteristic subgroup
A subgroup of a group is termed potentially characteristic if there exists a group containing , such that is a characteristic subgroup inside .
Facts used
We use two facts in the proof:
 Every characteristic subgroup is normal
 Normality satisfies intermediate subgroup condition: If a subgroup is normal in the whole group, then it is normal in every intermediate subgroup.
Proof
Handson proof
Given: A group , and a potentially characteristic subgroup of
To prove: is a normal subgroup of
Proof: By the definition of potentially characteristic, there exists a group containing such that is characteristic inside .
Since every characteristic subgroup is normal, is a normal subgroup of .
Since , and normality satisfies intermediate subgroup condition, is also normal in . This completes the proof.