问答题 设F={a+b丨a，b∈Q，p为某个固定的素数}，则F关于数的加法和乘法作成一个域。

问答题 设Q（i）={a+bi丨a，b∈Q，i2=-1}则Q（i）关于数的加法和乘法作成一个域。

问答题 证明：对于有单位元的环来说，加法的交换律是环定义中其它条件的结果。