Left-transitively permutable implies characteristic

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., left-transitively permutable subgroup) must also satisfy the second subgroup property (i.e., characteristic subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about left-transitively permutable subgroup|Get more facts about characteristic subgroup

Statement

Suppose $H$ is a subgroup of a group $K$ such that whenever $K$ is a Permutable subgroup (?) of a group $G$, $H$ is also a permutable subgroup of $G$. Then, $H$ is a characteristic subgroup of $K$.

Facts used

1. Every group is normal fully normalized in its holomorph

Proof

Given: A subgroup $H$ of a group $K$ such that whenever $K$ is a permutable subgroup of a group $G$, then $H$ is permutable in $G$.

To prove: $H$ is characteristic in $K$: for any automorphism $\sigma$ of $K$, and any $g\in H$, $\sigma (g)\in H$.

Proof: Let $G$ be the holomorph of $K$; in other words, we have:

$G=K⋊\mathrm{A}\mathrm{u}\mathrm{t}(K)$.

Now, consider $\sigma$ as an element of $G$ (via its membership in $\mathrm{A}\mathrm{u}\mathrm{t}(K)$, and $g$ also as an element of $G$. Let $A,B$ be the cyclic subgroups of $G$ generated by $\sigma$ and $g$ respectively. We have:

$AB=BA$