>>500
記号的に補足必要だったかも

1行目:Z_2[√-5]={0,1,√-5,1+√-5}は√-5で生成される加法群のZ_2係数の群環
2行目:1+√-5で割れば当然1+√-5=0、さらに係数がZ_2だから√-5=-1=1