Polynomials

The associative law of multiplication enables us to write the product of three (or more) factors without any parentheses; in particular we may consider the product of any finite number, say, , of factors all equal to . This product depends only on and on (and not, as we just remarked, on any bracketing of the factors); we shall denote it by . The justification for this notation is that, although in general transformation multiplication is not commutative, for the powers of one transformation we do have the usual laws of exponents, and . We observe that ; it is customary also to write, by definition, . With these definitions the calculus of powers of a single transformation is almost exactly the same as in ordinary arithmetic. We may, in particular, define polynomials in a linear transformation. Thus if is any polynomial with scalar coefficients in a variable , say , we may form the linear transformation

The rules for the algebraic manipulation of such polynomials are easy. Thus implies (so that, in particular, any and are commutative); if (identically), we shall usually write (instead of ); this is in harmony with the use of the symbols and for linear transformations.

If is a polynomial in two variables and if and are linear transformations, it is not usually possible to give any sensible interpretation to . The trouble, of course, is that and may not commute, and even a simple monomial, such as , will cause confusion. If , what should we mean by ? Should it be , or , or ? It is important to recognize that there is a difficulty here; fortunately for us it is not necessary to try to get around it. We shall work with polynomials in several variables only in connection with commutative transformations, and then everything is simple. We observe that if , then , and therefore has an unambiguous meaning for every polynomial . The formal properties of the correspondence between (commutative) transformations and polynomials are just as valid for several variables as for one; we omit the details.

For an example of the possible behavior of the powers of a transformation we look at the differentiation transformation on (or, just as well, on , for some ). It is easy to see that for every positive integer , and for every polynomial in , we have . We observe that whatever else does, it lowers the degree of the polynomial on which it acts by exactly one unit (assuming, of course, that the degree is ). Let be a polynomial of degree , say; what is ? Or put it another way: what is the product of the two (commutative) transformations and (where is any integer between and ), considered on the space ? We mention this example to bring out the disconcerting fact implied by the answer to the last question; the product of two transformations may vanish even though neither one of them is zero. A non-zero transformation whose product with some non-zero transformation is zero is called a divisor of zero.

EXERCISES