1、设δ=sqrt(-5),环R=Z[sqrt(-5)]=Z[δ],R在复平面上表现为长方形的格。
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/f11f54237971fe1ded20a1acea20a7cd0d6ee04d.jpg)
2、2是R里面的元素,由生成的主理想(2)在在复平面上也表现为长方形,不过更大。这恰好说明,(2)对应的格是R的子格。
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/4b626771fe1d96d864e1d8952ccd0c6efaf2e14d.jpg)
3、主理想(3)对应的格。
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/604e9556ad042e689b10e85485f85856d43dd152.jpg)
4、主理想(1+δ)对应的格。由此可见,所有的主理想都是相似的。
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/8a17b3042e6817e9dc18b74dd356d53da924ce52.jpg)
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/ac45306817e951e18001e1e35e3da824d9e9cf52.jpg)
5、由元素2和1+δ生成的理想(2,1+δ)不是主理想,因为(1+δ)/2不是这个环的单位。
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/2f2909e951e10ef8d7af6c882324d8e9cdd2cc52.jpg)
6、理想(2,1+δ)对应的格是某种特定形状的平行四边形。
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/16a84fe10ef8585645c4119153e9ccd2ba66cd52.jpg)
7、理想(3,1+δ)对应的格某种平行四边形。请思考:这个平行四边形和上面的平行四边形是否相似?
![【抽象代数】Z[sqrt(-5)]里面的理想类](https://exp-picture.cdn.bcebos.com/50a010f85856d53d39dd615c47d2bb665059ca52.jpg)