polynomial ring

English

Noun

polynomial ring (plural polynomial rings)

1. (algebra) A ring (which is also a commutative algebra), denoted K[X], formed from the set of polynomials (usually of one variable, in a given set, X), with coefficients in a given ring (often a field), K.
   • 1998, Paul C. Roberts, Multiplicities and Chern Classes in Local Algebra, Cambridge University Press, page 270:

     It then follows that if $A$ is a graded ring over a local ring, $A$ is a homomorphic image of a polynomial ring over a regular local ring. For the sake of brevity, we refer to a graded polynomial ring over a regular local ring simply as a graded polynomial ring.

   • 2000, Paul M. Cohn, Introduction to Ring Theory, Springer, page 106:

     In Section 3.2 we shall study the special properties of a polynomial ring over a field; for the moment we note a property of polynomial rings which applies quite generally, the Hilbert basis theorem (after David Hilbert, 1862-1943):
     Theorem 3.3
     If $R$ is any right Noetherian ring, the polynomial ring $R[x]$ is again right Noetherian.

   • 2009, Jesse Elliott, “Some new approaches to integer-valued polynomial rings”, in Marco Fontana, Salah-Eddine Kabbaj, Bruce Olberding, Irena Swanson, editors, Commutative Algebra and Its Applications: Proceedings of the 5th International Fez Conference, Walter de Gruyter, page 223:

     Because they possess a rich theory and provide an excellent source of examples and counterexamples, integer-valued polynomial rings have attained some prominence in the theory of non-Noetherian commutative rings.

Usage notes

• $K[X]$ is called the polynomial ring (or ring of polynomials) in $X$ over $K$.
• The notation $K[X_{1},X_{2},\dots ,X_{n}]$ is standardly used for the case of a polynomial ring in multiple variables.
  • It is possible to speak of a polynomial ring in an infinite set of variables, provided it is assumed that any individual polynomial depends only on a finite number of variables.

Synonyms

• (ring formed from polynomials): polynomial algebra, ring of polynomials

Hypernyms

• associative algebra
• commutative algebra
• commutative ring

Derived terms

• skew polynomial ring (= Ore extension)

Translations

ring formed from polynomials

• Italian: anello dei polinomi m

See also

• ring of formal power series
• ring of polynomial functions
• ring of regular functions

Further reading

• Ring of formal power series on Wikipedia.Wikipedia
• Ring of polynomial functions on Wikipedia.Wikipedia
• Ring of regular functions on Wikipedia.Wikipedia
• Free algebra on Wikipedia.Wikipedia
• Ore extension on Wikipedia.Wikipedia
• Ring of polynomials on Encyclopedia of Mathematics