参考答案

正确答案：设G是集合S的一个变换群任取G的一个元素r与S的一个元素α令ε是G的单位元素用a^τ表示a在变换τ之下的像则有：a^ετ＝(a^ε)^τ＝a^τ所以a^ε＝a即ε是S的恒等变换．
设G是集合S的一个变换群,任取G的一个元素r与S的一个元素α,令ε是G的单位元素,用aτ表示a在变换τ之下的像,则有：aετ＝(aε)τ＝aτ所以aε＝a即ε是S的恒等变换．