证明或反驳：设M是一个有限群,|M|=n,则n次对称群包含于AutM(自同构群).

证明或反驳：设M是一个有限群,|M|=n,则n次对称群包含于AutM(自同构群).
证明或反驳：设M是一个有限群,|M|=n,则n次对称群包含于AutM(自同构群).

证明或反驳：设M是一个有限群,|M|=n,则n次对称群包含于AutM(自同构群).
是不是应该把“包含于”改成“包含”?
n次对称群Sn是M到M的全体双射构成的群；
AutM是M到M的全体同构映射构成的群,由于同构映射必是双射,因此AutM包含在Sn中.