# A motivation for the universal property of polynomial rings.

For simplicity, all rings considered in this post will be supposed commutative and unitary.

Suppose we have a ring and we somehow want to add in it an element having no other relations with the other elements of excepted those from the defining axioms for a ring. How should we proceed? Well, one useful thing to do would be to try and pinpoint exactly what we are looking for since the problem is quite vague.

First, since we want the resulting thing to be a ring it does not suffice to just add in the underlying set of On the other hand, it would certainly be neat to construct this new ring with as few new elements as possible. What we are looking for is thus the smallest ring containing and all of the elements of

Since the result must be a ring, it will contain all powers of and all linear combinations of these powers with coefficients in In other words, we are looking for the ring of polynomials We could stop here and be happy about it but let’s think of this more conceptually:

We would like to consider for our new ring not only rings which have as a subring but work more abstractly and demand only that it contains an isomorphic copy of Let’s denote by the ring we are trying to construct. In this context, the condition that contains becomes:

*that there exists an injective ring homomorphism*

Moreover, in this more general context, the order relation to consider on rings is naturally injective ring homomorphisms. i.e. the ring is smaller than iff there exists an injective morphism So the condition that be the smallest ring containing possessing an element such that satisfies no relations with the elements of excepted the defining axioms becomes:

*that for every ring* * possessing such an element* and such that *there exists an injective ring homomorphism ** there exists an injective ring homomorphism* *such that * *and *

This is summarized with this commutative diagram:

It is easy to see that if such a ring exists, it is uniquely defined up to isomorphism. Indeed, let and be two candidates. Then there exist injective morphisms and Since they are both injective, is injective and so its image is the whole of From this follows that is surjective and therefore is an isomorphism.

But how can we be sure that such a ring even exists? Well, the ring of polynomials in one variable with coefficients in does satisfy this property. Indeed, let’s denote by the map sending an element of to the corresponding constant polynomial in Given an injective morphism the map defined by letting

and

can be extended by linearity to an injective morphism defined on sending to It is easily seen to satisfy the universal property designed above.

So basically, we have shown that if you adjoin to a ring a new element having no more relations with other elements of other than the defining axioms for rings, i.e. the smallest ring containing and then not only does the polynomial ring gets the job done, there is no other sensible way of doing it. This might be a reason why polynomials are so often considered when working in algebraic settings. More generally, if want you want is to adjoin n such new elements to your ring, what you get is

In fact, the universal property satisfied by polynomials can be stated more strongly:

Universal property for polynomials:For every ring homomorphism and every there exists a unique ring homomorphism such that and

With this in mind, you can somehow view the polynomial ring as the best possible ring containing but with a “wild card” which can take the form you want. I’ll elaborate on this in my next post when I’ll talk about adjunction of new elements in more detail.

## Trackbacks & Pingbacks