# Factoring operator and fundamental theorem of algebra

tim_lou
I haven't taken any abstract algebra course so I do not know if this is the right section to post this question in.

Anyway, I am learning differential equation right now and my prof. recently showed factorization of differential operator.

For example, let D be the differential operator, he then said that any thing in the form:
$$(D^n+A_{n-1}D^{n-1}+...+A_1D+A_0I)f$$
where I is the identity can be factorized into:
$$(D-z_1I)(D-z_2I)....(D-z_nI)f$$
where multiplication means composition of operator

I am curious to know what kind of algebraic structure has this property... and if I have a random operator, let's say F, what axioms does F have to satisfy in order for
$$F^n+A_{n-1}F^{n-1}+...+A_1F+A_0I$$
to be factorizable like a polynomial?

more specifically, If I define an operator $$\Delta x(n)=x(n+1)-x(n)$$
how can I show (what axioms does Delta have to satisfy) that polynomials in $$\Delta$$ can be factorized?
(I'm reading a book on differences equation... so I would like to know)

Last edited:

Staff Emeritus
Gold Member
Observe that the set of all such differential operators is nothing more than the ring of polynomials in one variable over C. You can factor polynomials, therefore you can factor such differential operators.

Homework Helper
commutativity is useful, which is why he stuck to linear combinations of the D operator. those all commute with each other.

then they behave exactly like polynomials in X. almost.

they may also satisfy relations that polynomials do niot, but that means they behave even better.

tim_lou
thx for the quick response.

Observe that the set of all such differential operators is nothing more than the ring of polynomials in one variable over C. You can factor polynomials, therefore you can factor such differential operators.

but what do I need to do to show that they are the ring of polynomials?

if I want to prove something is a group, i show a set of elements and a binary operator. then I prove associativity, identity and the inverse axioms... what about proving something is the "ring of polynomials"?

for instance, to prove that factoring works for differential operators, what do I have to show?

Do I have to show D commute with D and Identity and stuffs like:
$$DI=ID$$
$$D(D+I)=D^2+D$$
$$I(D+I)=ID+II=D+I$$

... or something similar?