In the ring Z[X] of all polynomials with integer coefficients, the ideal generated by 2 and X is a prime ideal.
One use of prime ideals occurs in algebraic geometry, where varieties are defined as the zero sets of ideals in polynomial rings.
The introduction of prime ideals in algebraic number theory was a major step forward, since it made comprehensible the failure of the fundamental theorem of arithmetic.
Note also that the use of the Axiom of Choice (in the form of Zorn's Lemma) is necessary, as there are models of ZF in which the above theorem and corollary fail.
This is version 18 of existence of maximalideals, born on 2003-09-08, modified 2006-11-13.
After seeing this object (existence of maximalideals) though, I realize that it could be adapted to supply a proof for the result that I wanted to add.
Springer Online Reference Works (via CobWeb/3.1 planet03.csc.ncsu.edu)(Site not responding. Last check: 2007-10-20)
This relation between the points of the interval and the maximalideals has resulted in the construction of various theories for representing rings as rings of functions on a topological space.
In a distributive lattice, as in a commutative ring, all maximalideals are prime; the converse implication holds in a Boolean algebra, and indeed a distributive lattice in which all prime ideals are maximal is necessarily Boolean.
The construction of maximalideals in arbitrary rings or lattices generally requires an appeal to Zorn's lemma (see Axiom of choice or Zorn lemma), and indeed the maximalideal theorem for many classes of rings or lattices (i.e.
Ideal (ring theory) - Wikipedia, the free encyclopedia (via CobWeb/3.1 planet03.csc.ncsu.edu)(Site not responding. Last check: 2007-10-20)
Ideals are important because they appear as the kernels of ring homomorphisms and allow one to define factor ring.
Maximalideal: A proper ideal I is called a maximalideal if there exists no other proper ideal J with I a subset of J.
The sum and the intersection of ideals is again an ideal; with these two operations as join and meet, the set of all ideals of a given commutative ring forms a lattice.
For an ideal I the coefficient height is defined to be the maximum integer occurring in the current representation of the ideal: If the ideal is given via two elements, this will be the maximal coefficient height of the generators, otherwise the maximal entry of the basis matrix.
For an ideal I the coefficient length is defined to be the size of the current representation: If the ideal is given via two elements, this will be the sum of the coefficient lengths of the generators, otherwise the sum of the entries of the basis matrix.
All ideals of maximal orders can be generated by one or two elements of the field of fractions of the order they are an ideal of.
In particular, the maximalideal space of a commutative Banach algebra is connected if and only if this algebra cannot be represented as a direct sum of two non-trivial ideals.
of continuous functions on the unit circle that have an analytic continuation inside the unit disc is a maximal subalgebra of the algebra of continuous functions on the unit circle.
This algebra is a maximal subalgebra of the algebra of all continuous functions on the torus.
eom.springer.de /c/c023380.htm (1448 words)
Maximal ideals in the algebra of operators on Banach spaces(Site not responding. Last check: 2007-10-20)
Maximalideals in the algebra of operators on Banach spaces
Maximalideals in the algebra of operators on certain Banach spaces
The Brown-McCoy radical of B(X), which by definition is the intersection of all maximalideals in B(X), cannot be turned into an operator ideal.
I is the intersection of all prime ideals of R that contain I. In any principal ideal domain, our next definitions both reduce to the statement that the ideal in question is generated by a power of an irreducible element.
One important consequence of the generalized principal ideal theorem is that any Noetherian ring satisfies the descending chain condition for prime ideals.
This is a ring and contains maximal hence prime ideals by the zorn lemma, hence the pullback of any one such under the map R/A goes to the localization, is a prime ideal of R not containing A but not f.
Then they proved that O(p) is a radical ideal, hence an interscetion of prime ideals, hence there exist other prime ideals that are not maximal.
So the pullback to R of any maximal proper ideal of the localization of S at powers of f, is a prime ideal of R containing J but not f.
A function algebra is said to be analytic if all functions of this algebra that vanish on a non-empty open subset of the space of maximalideals vanish identically.
An ideal in a Banach algebra is said to be primary if it is contained in only one maximalideal.
-compact completely-regular space is homeomorphic to the Gleason part of the space of maximalideals of some algebra, such that the restriction of the algebra to this part contains all bounded continuous functions.
Let $m$ be a point of the maximalideal space of $\papa$ with nontrivial Gleason part $P(m)$.
We characterize the points $m$ for which $L_m$ is a homeomorphism in terms of interpolating sequences, and we show that in this case $\papa \circ L_m$ coincides with $\papa$.
Also, if $I_m$ is the ideal of functions in $\papa$ that identically vanish on $P(m)$, we estimate the distance of any $f\in \papa$ to $I_m$.
Even though the tangent space is the same as that of the previous case, we want to think of these as different kinds of singularities; we need better invariants to do so.
maximal - definition of maximal by the Free Online Dictionary, Thesaurus and Encyclopedia. (via CobWeb/3.1 ...(Site not responding. Last check: 2007-10-20)
Of, relating to, or consisting of a maximum.
An element in an ordered set that is followed by no other.
This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.