Definition:Polynomial Ring/Universal Property
Jump to navigation Jump to search
Let $R$ be a commutative ring with unity.
- For every pointed $R$-algebra $(A, \kappa, a)$ there exists a unique pointed algebra homomorphism $h : S\to A$, called evaluation homomorphism.
This is known as the universal property of a polynomial ring.