|
|
| Line 1: |
Line 1: |
| {{about|ideals in [[ring theory]]|prime ideals in order theory|ideal (order theory)#Prime ideals}}[[File:A portion of the lattice of ideals of Z illustrating prime, semiprime and primary ideals.png|A portion of the lattice of ideals of Z illustrating prime, semiprime and primary ideals|thumb|right|320px|A [[Hasse diagram]] of a portion of the lattice of ideals of the integers {{math|'''Z'''}}. The purple nodes indicate prime ideals. The purple and red nodes are [[semiprime ideal]]s, and the purple and blue nodes are [[primary ideal]]s.]]
| | I’m Ambrose from Karcultaby doing my final year engineering in Social Science Education. I did my schooling, secured 93% and hope to find someone with same interests in Stone collecting.<br><br>Here is my web site; Fifa 15 Coin Generator - [http://Www.Fifa15-Coingenerator.com Fifa15-Coingenerator.Com] - |
| In [[algebra]], a '''prime ideal''' is a [[subset]] of a [[ring (mathematics)|ring]] which shares many important properties of a [[prime number]] in the [[ring of integers]].<ref>{{cite book | last1=Dummit | first1=David S. | last2=Foote | first2=Richard M. | title=Abstract Algebra | publisher=[[John Wiley & Sons]] | year=2004 | edition=3rd | isbn=0-471-43334-9}}</ref><ref>{{cite book | last=Lang | first=Serge | authorlink=Serge Lang | title=Algebra | publisher=[[Springer Science+Business Media|Springer]] | series=[[Graduate Texts in Mathematics]] | year=2002 | isbn=0-387-95385-X}}</ref> The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the [[zero ideal]].
| |
| | |
| [[Primitive ideal]]s are prime, and prime ideals are both [[primary ideal|primary]] and [[semiprime ideal|semiprime]].
| |
| | |
| ==Prime ideals for commutative rings==
| |
| | |
| An [[ideal (ring theory)|ideal]] ''P'' of a [[commutative ring]] ''R'' is '''prime''' if it has the following two properties:
| |
| * If ''a'' and ''b'' are two elements of ''R'' such that their product ''ab'' is an element of ''P'', then ''a'' is in ''P'' or ''b'' is in ''P'',
| |
| * ''P'' is not equal to the whole ring ''R''.
| |
| This generalizes the following property of prime numbers: if ''p'' is a prime number and if ''p'' divides a product ''ab'' of two [[integer]]s, then ''p'' divides ''a'' or ''p'' divides ''b''. We can therefore say
| |
| :A positive integer ''n'' is a prime number if and only if the ideal ''n'''''Z''' is a prime ideal in '''Z'''.
| |
| | |
| ===Examples===
| |
| | |
| * If ''R'' denotes the ring '''C'''[''X'', ''Y''] of [[polynomial]]s in two variables with [[complex number|complex]] coefficients, then the ideal generated by the polynomial ''Y''<sup>2</sup> − ''X''<sup>3</sup> − ''X'' − 1 is a prime ideal (see [[elliptic curve]]).
| |
| * In the ring '''Z'''[''X''] of all polynomials with integer coefficients, the ideal generated by 2 and ''X'' is a prime ideal. It consists of all those polynomials whose constant coefficient is even.
| |
| * In any ring ''R'', a '''[[maximal ideal]]''' is an ideal ''M'' that is [[maximal element|maximal]] in the set of all proper ideals of ''R'', i.e. ''M'' is [[subset|contained in]] exactly 2 ideals of ''R'', namely ''M'' itself and the entire ring ''R''. Every maximal ideal is in fact prime. In a [[principal ideal domain]] every nonzero prime ideal is maximal, but this is not true in general.
| |
| * If ''M'' is a smooth [[manifold]], ''R'' is the ring of smooth real functions on ''M'', and ''x'' is a point in ''M'', then the set of all smooth functions ''f'' with ''f''(''x'') = 0 forms a prime ideal (even a maximal ideal) in ''R''.
| |
| | |
| ===Properties===
| |
| | |
| * An ideal ''I'' in the ring ''R'' (with unity) is prime if and only if the factor ring ''R''/''I'' is an [[integral domain]]. In particular, a commutative ring is an integral domain if and only if {0} is a prime ideal.
| |
| * An ideal ''I'' is prime if and only if its set-theoretic complement is [[multiplicatively closed set|multiplicatively closed]].<ref>{{cite book | last=Reid | first=Miles | authorlink=Miles Reid | title=Undergraduate Commutative Algebra | publisher=[[Cambridge University Press]] | year=1996 | isbn=0-521-45889-7}}</ref>
| |
| * Every nonzero ring contains at least one prime ideal (in fact it contains at least one maximal ideal) which is a direct consequence of [[Krull's theorem]].
| |
| * The set of all prime ideals (the spectrum of a ring) contains minimal elements (called [[minimal prime (commutative algebra)|minimal prime]]). Geometrically, these correspond to irreducible components of the spectrum.
| |
| * The [[preimage]] of a prime ideal under a ring homomorphism is a prime ideal.
| |
| * The sum of two prime ideals is not necessarily prime. For an example, consider the ring <math> \mathbb{C}[x,y] </math> with prime ideals {{nowrap|''P'' {{=}} (''x''<sup>2</sup> + ''y''<sup>2</sup> − 1)}} and {{nowrap|''Q'' {{=}} (''x'')}} (the ideals generated by {{nowrap|''x''<sup>2</sup> + ''y''<sup>2</sup> − 1}} and ''x'' respectively). Their sum {{nowrap|''P'' + ''Q'' {{=}} (''x''<sup>2</sup> + ''y''<sup>2</sup> − 1 , ''x'') {{=}} (''y''<sup>2</sup> − 1 , ''x'')}} however is not prime: ''y''<sup>2</sup> − 1 = (''y'' − 1) (''y'' + 1) is in ''P'' + ''Q'' but its two factors are not. Alternatively, note that the quotient ring has zero divisors so it is not an integral domain and thus {{nowrap|''P'' + ''Q''}} cannot be prime.
| |
| * In a commutative ring ''R'' with at least two elements, if every proper ideal is prime, then the ring is a field. (If the ideal (0) is prime, then the ring ''R'' is an integral domain. If ''q'' is any non-zero element of ''R'' and the ideal <math>(q^2)</math> is prime, then it contains ''q'' and then ''q'' is invertible.)
| |
| * A nonzero principal ideal is prime if and only if it is generated by a [[prime element]]. In a UFD, every nonzero prime ideal contains a prime element.
| |
| | |
| ===Uses===
| |
| | |
| One use of prime ideals occurs in [[algebraic geometry]], where varieties are defined as the zero sets of ideals in polynomial rings. It turns out that the irreducible varieties correspond to prime ideals. In the modern abstract approach, one starts with an arbitrary commutative ring and turns the set of its prime ideals, also called its [[spectrum of a ring|spectrum]], into a [[topological space]] and can thus define generalizations of varieties called [[scheme (mathematics)|schemes]], which find applications not only in [[geometry]], but also in [[number theory]].
| |
| | |
| The introduction of prime ideals in [[algebraic number theory]] was a major step forward: it was realized that the important property of unique factorisation expressed in the [[fundamental theorem of arithmetic]] does not hold in every ring of [[algebraic integer]]s, but a substitute was found when [[Richard Dedekind]] replaced elements by ideals and prime elements by prime ideals; see [[Dedekind domain]].
| |
| | |
| ==Prime ideals for noncommutative rings==
| |
| | |
| The notion of a prime ideal can be generalized to noncommutative rings by using the commutative definition "ideal-wise". [[Wolfgang Krull]] advanced this idea in 1928.<ref>Krull, Wolfgang, ''Primidealketten in allgemeinen Ringbereichen'', Sitzungsberichte Heidelberg. Akad. Wissenschaft (1928), 7. Abhandl.,3-14.</ref> The following content can be found in texts such as {{harv|Goodearl|2004}} and {{harv|Lam|2001}}. If ''R'' is a (possibly noncommutative) ring and ''P'' is an ideal in ''R'' other than ''R'' itself, we say that ''P'' is '''prime''' if for any two ideals ''A'' and ''B'' of ''R'':
| |
| * If the product of ideals <math>AB</math> is contained in <math>P</math>, then at least one of <math>A</math> and <math>B</math> is contained in <math>P</math>.
| |
| | |
| It can be shown that this definition is equivalent to the commutative one in commutative rings. It is readily verified that if an ideal of a noncommutative ring ''R'' satisfies the commutative definition of prime, then it also satisfies the noncommutative version. An ideal ''P'' satisfying the commutative definition of prime is sometimes called a '''completely prime ideal''' to distinguish it from other merely prime ideals in the ring. Completely prime ideals are prime ideals, but the converse is not true. For example, the zero ideal in the ring of ''n'' × ''n'' matrices over a field is a prime ideal, but it is not completely prime.
| |
| | |
| This is close to the historical point of view of ideals as [[ideal number]]s, as for the ring '''Z''' "''A'' is contained in ''P''" is another way of saying "''P'' divides ''A''", and the unit ideal ''R'' represents unity.
| |
| | |
| Equivalent formulations of the ideal ''P''≠''R'' being prime include the following properties:
| |
| * For all ''a'' and ''b'' in ''R'', (''a'')(''b'')⊆''P'' implies ''a''∈''P'' or ''b''∈''P''.
| |
| * For any two ''right'' ideals of ''R'', ''AB''⊆''P'' implies ''A''⊆''P'' or ''B''⊆''P''.
| |
| * For any two ''left'' ideals of ''R'', ''AB''⊆''P'' implies ''A''⊆''P'' or ''B''⊆''P''.
| |
| * For any elements ''a'' and ''b'' of ''R'', if ''aRb''⊆''P'', then ''a''∈''P'' or ''b''∈''P''.
| |
| | |
| Prime ideals in commutative rings are characterized by having [[multiplicatively closed subset|multiplicatively closed]] complements in ''R'', and with slight modification, a similar characterization can be formulated for prime ideals in noncommutative rings. A nonempty subset ''S''⊆''R'' is called an '''m-system''' if for any ''a'' and ''b'' in ''S'', there exists ''r'' in ''R'' such that ''arb'' is in ''S''.<ref>Obviously, multiplicatively closed sets are m-systems.</ref> The following item can then be added to the list of equivalent conditions above:
| |
| | |
| * The complement ''R\P'' is an m-system.
| |
| | |
| ===Examples===
| |
| * Any [[primitive ideal]] is prime.
| |
| | |
| * As with commutative rings, maximal ideals are prime, and also prime ideals contain minimal prime ideals.
| |
| | |
| * A ring is a [[prime ring]] if and only if the zero ideal is a prime ideal, and moreover a ring is a [[integral domain|domain]] if and only if the zero ideal is a completely prime ideal.
| |
| | |
| * Another fact from commutative theory echoed in noncommutative theory is that if ''A'' is a nonzero ''R'' module, and ''P'' is a maximal element in the [[poset]] of [[annihilator]] ideals of submodules of ''A'', then ''P'' is prime.
| |
| | |
| ==Important facts==
| |
| *'''Prime avoidance lemma''': ''If R is a commutative ring, and A is a subring (possibly without unity), and I<sub>1</sub>,...,I<sub>n</sub> is a collection of ideals of R with at most two members not prime, then if A is not contained in any I<sub>j</sub>, it is also not contained in the [[union (set theory)|union]] of I<sub>1</sub>,...,I<sub>n</sub>.''<ref>Jacobson ''Basic Algebra II'', p. 390</ref> In particular, ''A'' could be an ideal of ''R''.
| |
| * If ''S'' is any m-system in ''R'', then a lemma essentially due to Krull shows that there exists an ideal of ''R'' maximal with respect to being disjoint from ''S'', and moreover the ideal must be prime.<ref>Lam ''First Course in Noncommutative Rings'', p. 156</ref> In the case {''S''}={1}, we have [[Krull's theorem]], and this recovers the maximal ideals of ''R''. Another prototypical m-system is the set <math>\{x,x^2,x^3,x^4,\dots \}</math> of all positive powers of a non-[[nilpotent]] element.
| |
| * For a prime ideal ''P'', the complement ''R''\''P'' has another property beyond being an m-system. If ''xy'' is in ''R''\''P'', then both ''x'' and ''y'' must be in ''R''\''P'', since ''P'' is an ideal. A set which contains the divisors of its elements is called '''saturated'''.
| |
| * For a commutative ring ''R'', there is a kind of converse for the previous statement: If ''S'' is any nonempty saturated and multiplicatively closed subset of ''R'', the complement ''R''\''S'' is a union of prime ideals of ''R''.<ref>Kaplansky ''Commutative rings'', p. 2</ref>
| |
| * The union of members of an ascending chain of prime ideals is a prime ideal, and the intersection of members of a descending chain of prime ideals is a prime ideal. With [[Zorn's Lemma]], these observations imply that the poset of prime ideals (partially ordered by inclusion) has maximal and minimal elements.
| |
| | |
| ==Connection to maximality==
| |
| Prime ideals can frequently be produced as maximal elements of certain collections of ideals. For example:
| |
| * An ideal maximal with respect to having empty intersection with a fixed m-system is prime.
| |
| * An ideal maximal among [[annihilator]]s of submodules of a fixed ''R'' module ''M'' is prime.
| |
| * In a commutative ring, an ideal maximal with respect to being non-principal is prime.<ref>Kaplansky ''Commutative rings'', p. 10, Ex 10.</ref>
| |
| * In a commutative ring, an ideal maximal with respect to being not countably generated is prime.<ref>Kaplansky ''Commutative rings'', p. 10, Ex 11.</ref>
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| *{{citation |author1=Goodearl, K. R. |author2=Warfield, R. B., Jr. |title=An introduction to noncommutative Noetherian rings |series=London Mathematical Society Student Texts |volume=61 |edition=2 |publisher=Cambridge University Press |place=Cambridge |year=2004 |pages=xxiv+344 |isbn=0-521-83687-5 |isbn=0-521-54537-4 |mr=2080008 }}
| |
| | |
| *{{citation |author=Jacobson, Nathan |title=Basic algebra. II |edition=2 |publisher=W. H. Freeman and Company |place=New York |year=1989 |pages=xviii+686 |isbn=0-7167-1933-9 |mr=1009787}}
| |
| | |
| *{{citation |author=Kaplansky, Irving |title=Commutative rings |publisher=Allyn and Bacon Inc. |place=Boston, Mass. |year=1970 |pages=x+180 |mr=0254021 }}
| |
| | |
| *{{citation |author=Lam, T. Y. | authorlink=Tsit Yuen Lam |title=A first course in noncommutative rings |series=Graduate Texts in Mathematics |volume=131 |edition=2nd |publisher=Springer-Verlag |place=New York |year=2001 |pages=xx+385 |isbn=0-387-95183-0 |mr=1838439 | zbl=0980.16001 }}
| |
| | |
| *{{citation |author1=Lam, T. Y. | author1-link=Tsit Yuen Lam |author2=Reyes, Manuel L. |title=A prime ideal principle in commutative algebra |journal=J. Algebra
| |
| |volume=319 |year=2008 |number=7 |pages=3006–3027 |issn=0021-8693 |mr=2397420 | zbl=1168.13002 |doi=10.1016/j.jalgebra.2007.07.016}}
| |
| | |
| * {{springer|title=Prime ideal|id=p/p074510}}
| |
| | |
| {{DEFAULTSORT:Prime Ideal}}
| |
| [[Category:Prime ideals]]
| |