简答题 设R是交换环，P⊇1P2⊇...⊇P_i⊇...是R的素理想链，证明：∩_i=1^∞P_i是R的素理想。

如果群G的任意元a满足a2=1，那么G是交换群。

问答题如果群G的任意元a满足a²=1，那么G是交换群。

证明H是除环但不是域。

问答题证明H是除环但不是域。

如果ab=ba，那么a-1b=ba-1。

问答题如果ab=ba，那么a^-1b=ba^-1。