我遇到一个好奇怪的题，解不出来，题目是：
14.设α是有限群G的自同构，令I={g∈G|α(g)=g^(-1)},试证：
1）若|I|＞3/4|G|，则G为交换群
2）若|I|=3/4|G|，则G中包含一个指数为2的交换子群
请大神详解