Intermediately automorph-conjugate 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 automorph-conjugate subgroup (?)) must also satisfy the second subgroup property (i.e., Intermediately characteristic subgroup (?)). In other words, every intermediately automorph-conjugate 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

Statement

In a nilpotent group, any intermediately automorph-conjugate subgroup is intermediately characteristic.

Related facts

Converse

The converse is clearly true in all groups: intermediately characteristic implies intermediately automorph-conjugate. In fact, in any group, characteristic implies automorph-conjugate.

Removing the intermediately operator

It is not in general true in a nilpotent group that every automorph-conjugate subgroup is characteristic. In fact, a group satisfying the property that every automorph-conjugate subgroup is characteristic is termed an ACIC-group. Some facts:

• ACIC implies nilpotent (finite groups)
• Nilpotent not implies ACIC

Facts used

1. Intermediately automorph-conjugate implies intermediately normal-to-characteristic
2. Intermediately normal-to-characteristic implies intermediately characteristic in nilpotent

Proof

The proof follows directly by combining facts (1) and (2).