作业帮 > 数学 > 作业

F是有单位元的交换环,若F的每个主理想都是素理想,求证F是域

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/13 14:50:53
F是有单位元的交换环,若F的每个主理想都是素理想,求证F是域
哪怕只是提供个思路也好啦
这个问题的叙述有点小问题,例如F本身是主理想,但他不是素理想.
首先由零理想是素理想可知F是整环,即没有零因子.任取非零元f,如果f不是可逆元,则主理想(f^2)是素理想,从而 f∈(f^2),故存在g使得 f=gf^2,由于没有零因子,所以可以两边约去f,得到 fg=1,矛盾.