元素 乘法 数域 运算 逆元