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.