Summary
In mathematics, the irrelevant ideal is the ideal of a graded ring generated by the homogeneous elements of degree greater than zero. More generally, a homogeneous ideal of a graded ring is called an irrelevant ideal if its radical contains the irrelevant ideal. 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) 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. More generally, for an arbitrary graded ring R, the Proj construction disregards all irrelevant ideals of R.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.