Permuting transfer-closed central factor-to-direct factor

Definition
A subgroup $$H$$ of a group $$G$$ is termed permuting transfer-closed normal-to-complemented in $$G$$ if the following is true.

Suppose $$K_1, K_2, \dots K_n$$ and $$H = H_1, H_2, \dots H_n, H_{n+1}$$ are subgroups such that:


 * $$H_{i+1} = H_i \cap K_i$$.
 * $$H_i$$ and $$K_i$$ are defining ingredient::permuting subgroups: $$H_iK_i = K_iH_i$$.

Then, if $$H_{n+1}$$ is a defining ingredient::central factor of $$K_n$$, then $$H_{n+1}$$ is a defining ingredient::direct factor of $$K_n$$.

Stronger properties

 * Weaker than::Sylow subgroup
 * Weaker than::Hall subgroup
 * Weaker than::Permuting transfer-closed normal-to-complemented subgroup
 * Weaker than::Permuting transfer-closed conjugacy-closed-to-retract

Weaker properties

 * Stronger than::Intermediately central factor-to-direct factor