Irrelevant ideal
In mathematics, the irrelevant ideal is the ideal of a graded ring generated by the homogeneous elements of degree greater than zero. It corresponds to the origin in the affine space, which cannot be mapped to a point in the projective space. More generally, a homogeneous ideal of a graded ring is called an irrelevant ideal if its radical contains the irrelevant ideal.[1]
The terminology arises from the connection with algebraic geometry. If R = k[x0, ..., xn] (a multivariate polynomial ring in n+1 variables over an algebraically closed field k) is graded with respect to degree, there is a bijective correspondence between projective algebraic sets in projective n-space over k and homogeneous, radical ideals of R not equal to the irrelevant ideal; this is known as the projective Nullstellensatz.[2] More generally, for an arbitrary graded ring R, the Proj construction disregards all irrelevant ideals of R.[3]
Notes
<templatestyles src="Reflist/styles.css" />
Script error: No such module "Check for unknown parameters".
References
- Sections 1.5 and 1.8 of Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
- Script error: No such module "citation/CS1".
Template:Commutative-algebra-stub
Template:Algebraic-geometry-stub