## Polynomial Rings (Pt. I)

**Point of Post: **In this post we define the ring of polynomials in the determinate over a ring as well as then describing the rings for indeterminates . We then discuss some of the properties (although not a lot, since this particular ring will hold a lot of our interests in the future) of this ring.

*Motivation*

We have discussed a few ways of taking given rings and constructing new rings out of them, such as forming the matrix ring and the -fold product ring . In this post we discuss yet another way of forming a ring in a ‘functorial’, namely the ring of polynomials whose coefficients lie in . It’s funny that this is perhaps the ring construction that needs the least motivation for beginners, but for all the wrong reasons. Some people would say “Oh, polynomials! We’ve been using those since middle school, of course they’re important!” but the real reason why polynomial rings are important transcends their ubiquity. Indeed, it could be said that algebra began with the study of polynomial rings. One of the first considerations of an undergraduate algebra student, the first thing thrown at them as ‘wow inducing’ is the inability for form a ‘quintic’ equation (i.e. a diluted form of the Abel-Ruffini theorem). While slightly overplayed this is a very important result and concepts since it’s question (does there exist a quintic equation) and the subsequent journey it motivated could be thought of as the first attempts at a modern theory of algebra. Since there has been a veritable blossoming of algebraic and algebraic related fields, and centerpiece to most of them are rings of polynomials. Indeed, one could say that modern number theory (in the most basic of its definitions) could be described not only as the study of the ring but of the ring , the fields of algebraic geometry and commutative algebra have rings of the form where is some field as their main player, they are very important in the modern study of functional analysis where the polynomial ring for some linear operator is of key importance, etc.

Perhaps one of the key aspects to this importance is the somewhat dual nature a polynomial ring has. In particular, strictly speaking, the elements of are ‘formal symbols’ where the ‘‘s are given more the role of convenient placeholder, in other words in this sense one could equally well think of elements of as tuples in with finite support which we multiply in a ‘funny way’. That said, every polynomial naturally induces a function given by . Given zero thought and with years of inadvertent inculcation one may go “What do you mean dual concepts, they are the same thing!”, but of course, this is totally wrong. For example, as formal symbols the elements and are different elements of , yet as one can check the induced function is the same as the function . That said, they are dual in the sense that information about when thought about as a set of functions gives information when thought about as a ring of formal symbols and vice versa. For example, we will be able to tell a lot about the ring structure of by considering the evaluation homomorphism . Conversely, we will prove that under certain conditions the functions has a root if and only for some .

One should note that in the below we restrict out attention to when is commutative and unital, only because it makes things much more complicated to assume otherwise, and in all reasonable circumstances when we shall want to consider we shall readily see that is commutative and unital.

*Polynomial Rings*

Let be a commutative unital ring. We define the *polynomial ring in the indeterminate over *, denoted , to be the set of all formal sums of the form where and for all but finitely many . To make things easier we define and omit terms if the coefficient is zero. So, for example is alternatively denoted or in . As a convention if we write a polynomial in the ‘finite sum’ form it is assumed that if . We define that two polynomials and are equal if for every . Or, said differently we define two polynomials and are equal if and for . For a polynomial we call the *leading coefficient *and the *degree *and denote it . We call a polynomial *monic *if the leading coefficient is .

We define addition in by defining

So that if then

and if then

We define the product of two polynomials by

Viewing this differently, once we define we will have already decided the definition of the product on all of since the s form a ‘basis’ and we want multiplication to be distributive. So, our definition of product can be seen by defining and then extending this to all of by distributivity–colloquially we ‘expand and collect terms’. It is a laborious yet straightforward task to verify that with these definitions that is a commutative unital ring with identity equal to .

We see by definition that there is a natural embedding defined by . We call the image of this map the *constant polynomials* and as observed see that they form a subring canonically isomorphic to . Consequently, we shall identify with the constant polynomials, the confusion between this identification shall be very minimal (opposed to the identifications in other areas of mathematics).

**References:**

1. Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

2. Bhattacharya, P. B., S. K. Jain, and S. R. Nagpaul. *Basic Abstract Algebra*. Cambridge [Cambridgeshire: Cambridge UP, 1986. Print.

[…] ring for many other important rings. To be less cryptic, we shall see that such important rings as polynomial rings and the rings and sit naturally inside rings of […]

Pingback by Rings of Functions (Pt. I) « Abstract Nonsense | August 1, 2011 |

[…] was mentioned in our motivation for polynomial rings there is a very real distinction between a polynomial and […]

Pingback by Rings of Functions (Pt. II) « Abstract Nonsense | August 2, 2011 |

[…] is prime since we know is an integral domain. To see that for each we merely note that the kernel of the evaluation […]

Pingback by Prime Ideals (Pt. II) « Abstract Nonsense | August 17, 2011 |

[…] is a UFD. So, for example, while not a PID or a Euclidean domain is a UFD. Now, we have indicated before that polynomial rings play a pivotal role in not only algebra but algebra’s application to […]

Pingback by UFDs (Pt. I) « Abstract Nonsense | October 22, 2011 |

[…] submodule of with quotient isomorphic to . Or, given a commutative unital ring we can look at the polynomial ring as a left -module and note that is a submodule of from where we can form the quotient which […]

Pingback by Quotient Modules « Abstract Nonsense | November 7, 2011 |

[…] category of all -algebras is isomorphic to the category of rings. Other examples of algebras are polynomial algebras and is a -dimensional -algebra. Algebras play an important role in a lot of algebraic subjects, […]

Pingback by R-Algebras « Abstract Nonsense | January 10, 2012 |

[…] extension where is the rational function field in one variable (i.e. the quotient field of the polynomial ring in one variable) are the fractional linear transformations (i.e. that ) where . This gives us a […]

Pingback by Automorphisms of k(t)/k « Abstract Nonsense | February 28, 2012 |