计算题 设G为群，证明G为Abel群的充分必要条件是对于G中的任意元素a，b有（ab）²=a²b²。

在自然推理系统中，构造下面推理的证明（可以使用附加前提证明法）。

问答题

在自然推理系统中，构造下面推理的证明（可以使用附加前提证明法）。

设Zn为模n整数加群：f：Z12→Z3f（x）=（x）mod3，验证f为同态映射，说明f是否为单同态和满同态。

问答题设Z_n为模n整数加群：f：Z₁₂→Z₃f（x）=（x）mod3，验证f为同态映射，说明f是否为单同态和满同态。

在自然推理系统中，构造下面推理的证明：

问答题

在自然推理系统中，构造下面推理的证明：