Degree of A Polynomial - Degree Function in Abstract Algebra

Degree Function in Abstract Algebra

Given a ring R, the polynomial ring R is the set of all polynomials in x that have coefficients chosen from R. In the special case that R is also a field, then the polynomial ring R is a principal ideal domain and, more importantly to our discussion here, a Euclidean domain.

It can be shown that the degree of a polynomial over a field satisfies all of the requirements of the norm function in the euclidean domain. That is, given two polynomials f(x) and g(x), the degree of the product f(x)•g(x) must be larger than both the degrees of f and g individually. In fact, something stronger holds:

deg( f(x) • g(x) ) = deg(f(x)) + deg(g(x))

For an example of why the degree function may fail over a ring that is not a field, take the following example. Let R =, the ring of integers modulo 4. This ring is not a field (and is not even an integral domain) because 2•2 = 4 (mod 4) = 0. Therefore, let f(x) = g(x) = 2x + 1. Then, f(x)•g(x) = 4x2 + 4x + 1 = 1. Thus deg(f•g) = 0 which is not greater than the degrees of f and g (which each had degree 1).

Since the norm function is not defined for the zero element of the ring, we consider the degree of the polynomial f(x) = 0 to also be undefined so that it follows the rules of a norm in a euclidean domain.