Intermediately normal-to-characteristic implies intermediately characteristic in nilpotent
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a nilpotent group. That is, it states that in a Nilpotent group (?), every subgroup satisfying the first subgroup property (i.e., Intermediately normal-to-characteristic subgroup (?)) must also satisfy the second subgroup property (i.e., Intermediately characteristic subgroup (?)). In other words, every intermediately normal-to-characteristic subgroup of nilpotent group is a intermediately characteristic subgroup of nilpotent group.
View all subgroup property implications in nilpotent groups View all subgroup property non-implications in nilpotent groups View all subgroup property implications View all subgroup property non-implications
Intermediately normal-to-characteristic subgroup
Further information: Intermediately normal-to-characteristic subgroup
Intermediately characteristic subgroup
Further information: Intermediately characteristic subgroup
A subgroup of a group is termed intermediately characteristic in if whenever , is a characteristic subgroup of .
Intermediately subnormal-to-normal subgroup
Further information: Intermediately subnormal-to-normal subgroup
Given: A nilpotent group , an intermediately normal-to-characteristic subgroup of .
To prove: Whenever is an intermediate subgroup, i.e. , is characteristic in .
Proof: By fact (2), is nilpotent and by fact (3), is a subnormal subgroup of .
By fact (1), is intermediately subnormal-to-normal in , and combinig this with the fact that is subnormal in yields that is normal in . Combining this with the given fact that is intermediately normal-to-characteristic in yields that is characteristic in , completing the proof.