Wenn ein kommutativer Ring mit einer ist, dann ist der Polynomring die Menge aller Polynome mit Koeffizienten aus dem Ring und der Variablen zusammen mit der üblichen Addition und Multiplikation von Polynomen. Davon zu unterscheiden sind in der abstrakten Algebra die Polynomfunktionen, nicht zuletzt, weil unterschiedliche Polynome dieselbe Polynomfunktion induzieren können.