Multivariate polynomial ring over a field
The multivariate polynomial ring over a field is defined as a polynomial ring in (finitely) many variables over a field. If we denote the underlying field by , and the variables by , then the polynomial ring is denoted .
The multivariate polynomial ring over a field is a unique factorization domain as well as a Noetherian domain. When there is more than one variable, it is not a Euclidean domain or a principal ideal domain.
Further information: multivariate polynomial ring#extra structure
The multivariate polynomial ring can be viewed as a -algebra. It also has the following additional structures:
Ideals and quotients
Quotients of the polynomial ring in variables, are precisely the same as algebras generated by elements as -algebras. The structure of these is in general fairly complicated.
Automorphisms and endomorphisms
As an algebra over the base field
The multivariate polynomial ring can be viewed as a -algebra. The endomorphisms with respect to this structure are the endomorphisms that fix the elements of .
- The endomorphisms are in bijective correspondence with sequences of polynomials . Here is the polynomial to which goes under the endomorphisms. Composition of endomorphisms is by composing the polynomials.
- The automorphisms are the multiplicative subgroup of this monoid of endomorphisms described above. In general, there is no easy or direct description by which one can test whether a given endomorphism is an automorphism.
As a filtered ring
The multivariate polynomial ring has a filtration, where the level of the filtration comprises all polynomials of degree at most . The endomorphisms for this filtration are thus endomorphisms that are degree-preserving.
- In particular, the endomorphisms preserve the first level of the filtration, i.e. they send linear polynomials to linear polynomials. This shows that the monoid of endomorphisms is naturally identified with the affine maps from to i.e. maps that preserve collinearity and ratios of distances along a line.
- The automorphisms are identified with the general affine group , the group of collinearity-cum-ratio preserving bijective maps from to .
As a graded ring
The multivariate polynomial ring has a gradation, where the graded component is generated over by the monomials of total degree . The endomorphisms that preserve this gradation must send homogeneous linear polynomials to homogeneous linear polynomials.
- In particular, the endomorphism monoid is the multiplicative monoid of the matrix ring
- The automorphism group is the general linear group