- #1
- 164
- 1
Can anyone explain ideals and polynomial rings i.e. definitions, examples, the most important theorems, etc.?
Can anyone explain ideals and polynomial rings i.e. definitions, examples, the most important theorems, etc.
Thank you for your explanation, but could you give an example with polynomials? Something that does not require a computational software program?A basis of an ideal is a set of polynomials that "generate" the ideal; that is, if f1, .., fs is a basis for I, then each f in I can be written as h1f1 + h2f2 + ... + hsfs. A basis "spans" an ideal in a similar sense to how a linear basis spans a vector space.
Every ideal of a polynomial ring has a finite basis; this is called the Hilbert Basis Theorem.
Any ideal of polynomials in one variable can be generated by a single element. The ideal generated by f, a polynomial in x, is the set of polynomials which are divisible by f. Therefore, we can check for membership in the ideal just be computing that single polynomial generator, and then dividing (polynomial long division, which you may recall from high school, and writes g = qf+r, to divide g by our generator f). The remainder r is zero if and only if g is in the ideal generated by f.
In larger numbers of variables, this fails. There may be more than one generator; this means there are several different ways we can write "f = h1f1 + h2f2 + ... + hsfs + r," with several different remainders r. (There are algorithms for "dividing by multiple polynomials at the same time," or "dividing by a basis.") If we find one of these remainders, and it is zero, then we definitely have membership; if we find one and it is not zero, however, it doesn't mean that there is not a different way where the remainder is zero. We might hope for an alternative.
Groebner bases are a special basis, which every polynomial ideal has, with the extremely useful property that dividing by a Groebner basis gives remainder zero if and only if the dividend is in the ideal. This makes them very useful objects in commutative algebra and algebraic geometry.
....A basis of an ideal is a set of polynomials that "generate" the ideal; that is, if f1, .., fs is a basis for I, then each f in I can be written as h1f1 + h2f2 + ... + hsfs. A basis "spans" an ideal in a similar sense to how a linear basis spans a vector space.
*** Not so "similar": in an ideal we can multiply by elements of the ring AND ALSO by other elements of the ideal itself. ***
Every ideal of a polynomial ring has a finite basis; this is called the Hilbert Basis Theorem.
*** Some care's needed here: this is true if the polynomial ring is over a Noetherian ring (a field, say), NOT in general. ***
Any ideal of polynomials in one variable can be generated by a single element.
*** Again, more care is needed when writing down these results: this is far from being true in general, but it
is true if, for example, the polynomial ring is over a field, say.
DonAntonio ***
The ideal generated by f, a polynomial in x, is the set of polynomials which are divisible by f. Therefore, we can check for membership in the ideal just be computing that single polynomial generator, and then dividing (polynomial long division, which you may recall from high school, and writes g = qf+r, to divide g by our generator f). The remainder r is zero if and only if g is in the ideal generated by f.
In larger numbers of variables, this fails. There may be more than one generator; this means there are several different ways we can write "f = h1f1 + h2f2 + ... + hsfs + r," with several different remainders r. (There are algorithms for "dividing by multiple polynomials at the same time," or "dividing by a basis.") If we find one of these remainders, and it is zero, then we definitely have membership; if we find one and it is not zero, however, it doesn't mean that there is not a different way where the remainder is zero. We might hope for an alternative.
Groebner bases are a special basis, which every polynomial ideal has, with the extremely useful property that dividing by a Groebner basis gives remainder zero if and only if the dividend is in the ideal. This makes them very useful objects in commutative algebra and algebraic geometry.