Polynomring/Eine Variable/Einsetzungshomomorphismus/Grundring/Fakt

Sei ein kommutativer Ring und sei der Polynomring über . Es sei ein Element.

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

mit und mit , wobei die kanonische Einbettung ist.

Dabei geht das Polynom auf .