【抽象代数】Z[sqrt(-5)]里面的算术

1、先证明，3在R里面是不可约的元素。当a、b、c、d都是非零整数的时候，(a^2+5b^2)(c^2+5d^2)≥36。

3、9在R里面是可约的，而且分解方法还多于一种：

5、考虑9和3(2+sqrt(-5))的公因数。在相伴元素视为同一种情况的要求下，上面两个数字有两个公因数，分别是：3和(2+sqrt(-5))；如果9和3(2+sqrt(-5))的最大公因数是d，会导出矛盾现象，这说明：.9和3(2+sqrt(-5))在R里面没有最大公因数。