# Multivariate polynomial ring over a field

## Contents

## Definition

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 .

## Properties

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.

## Extra structure

`Further information: multivariate polynomial ring#extra structure`

The multivariate polynomial ring can be viewed as a -algebra. It also has the following additional structures:

- Graded ring structure: In particular, it is a graded -algebra where the component is the vector space generated by monomials of degree
- Filtered ring structure: In particular, it is a filtered -algebra where the filtration is the subspace of polynomials of degree at most

## 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.

## Spectrum

`Further information: Spectrum of multivariate polynomial ring over a field, spectrum of multivariate polynomial ring over an algebraically closed field`

### Max-spectrum

`Further information: Max-spectrum of multivariate polynomial ring over a field, max-spectrum of multivariate polynomial ring over an algebraically closed field`

## Automorphisms and endomorphisms

`Further information: endomorphism monoid of multivariate polynomial ring over a field, automorphism group of multivariate polynomial ring over a field`

### 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