The Unapologetic Mathematician

Mathematics for the interested outsider


Okay, we’re going to need some other algebraic tools before we go any further into linear algebra. Specifically, we’ll need to know a few things about the algebra of polynomials. Specifically (and diverging from the polynomials discussed earlier) we’re talking about polynomials in one variable, and with coefficients in the field we’re building our vector spaces over already.

We’ll write this algebra as \mathbb{F}[X], where X is now not a “variable”, like it was back in high school calculus. It’s a new element of the algebra. We start with the field \mathbb{F} which is trivially an algebra over itself. Then we just throw in this new thing called X. Then, since we want to still be an algebra over \mathbb{F}, we have to be able to multiply elements. Defining a scalar multiple cX for each c\in\mathbb{F} is a good start, but we also have to multiply X by itself to get X^2. There’s no reason this should be anything we’ve seen yet, so it’s new. Going along, we get X^3, X^4, and so on. Each of these is a new element, and we also get scalar multiples cX^k, and even linear combinations:

\displaystyle\sum\limits_{k=0}^\infty c_kX^k

as long as there are only a finite number of nonzero terms in this sum. That is, the coefficients are all zero after some point. We customarily take X^0=1 — the unit of the algebra.

Note here that we’re not using the summation convention for polynomials, though we could in principle. Remember, an algebra is a vector space, and what we’ve said above establishes that the set \{X^k\} constitutes a basis for this vector space!

The algebra structure can be specified by defining it on pairs of basis elements. Remember that the structure is just a bilinear multiplication, which is just a linear map from the tensor square \mathbb{F}[X]\otimes\mathbb{F}[X] to \mathbb{F}[X]. And we know that the basis for a tensor product consists of pairs of basis elements. So we can specify this linear map on a basis and extend by linearity — bilinearity — whatever…

Anyhow, how should we define the multiplication? Simply: \mu(X^m,X^n)=X^{m+n}. Then the whole rest of the algebra structure is defined for us. Now this looks like adding exponents, but remember we can just as well think of these as indices on basis elements that just happen to add when we multiply corresponding basis elements. Thus we wouldn’t be out of place using the summation convention here, though we won’t for the moment.

July 28, 2008 Posted by | Algebra, Polynomials, Ring theory | 5 Comments