请输入您要查询的字词:

 

单词 ACharacterizationOfTheRadicalOfAnIdeal
释义

a characterization of the radical of an ideal


Proposition 1.

Let I be an ideal in a ring R, and I be its radicalPlanetmathPlanetmathPlanetmath. Then I is the intersectionMathworldPlanetmath of all prime idealsMathworldPlanetmathPlanetmath containing I.

Proof.

Suppose xI, and P is a prime ideal containing I. Then R-P is an m-system (http://planetmath.org/MSystem). If xR-P, then (R-P)I, contradicting the assumptionPlanetmathPlanetmath that IP. Therefore xR-P. In other words, xP, and we have one of the inclusions.

Conversely, suppose xI. Then there is an m-system S containing x such that SI=. Enlarge I to a prime ideal P disjoint from S, so that xP (we can do this; for a proof, see the second remark in this entry (http://planetmath.org/MSystem)). By contrapositivity, we have the other inclusion.∎

Remark. This shows that every prime ideal is a radical ideal: for P is the intersection of all prime ideals containing P, and if P is itself prime, then P=P.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 20:52:01