polynomial ring

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 ${\displaystyle A}$ is a graded ring over a local ring, ${\displaystyle 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 ${\displaystyle R}$ is any right Noetherian ring, the polynomial ring ${\displaystyle 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.

• ${\displaystyle K[X]}$ is called the polynomial ring (or ring of polynomials) in ${\displaystyle X}$ over ${\displaystyle K}$.
• The notation ${\displaystyle 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.

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

• associative algebra
• commutative algebra
• commutative ring

• skew polynomial ring (= Ore extension)

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

• 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