问答题 设〈S，*〉满足交换律的有限独异点，且S可约，即对任意a，b，c∈S，a*b=a*c蕴涵b=c，证明〈S，*〉为一个阿贝尔群。

问答题 设〈G，*〉为群．若在G上定义运算ο，使得对任何元素x，y∈G，xοy=y*x．证明：〈G，ο〉也是群．

单项选择题 设Z是整数集合，+是一般加法，则下述函数中哪一个不是群〈I，+〉的自同态？（）