group property of Aut(H)and Aut(S(H));

• Aut(H)与 Aut(S(H))的群性质;