Therefore ,we can get the following result : G/C_G(F*(G)) is isomorphic to a subgroup of Aut(F*(G)).

• 因此，下列同态包含关系成立：G/C_G(F~*(G))同态于Aut(F~*(G))的一个子群。