polynomial ring

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 ${\\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, 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

• ${\\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.

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