Is Our Solution for Complimentary Unitary Operators Valid?

[jfy4]

Homework Statement

Consider a quantum system that acts on an N-dimensional space. We showed that any operator could be expressed as a polynomial of the form
<br /> O=\sum_{m,n=1}^{\infty}o_{mn}U^m V^n<br />
where U and V are complementary unitary operators satisfying (U^N = V^N =1) Show that if O commutes with U this polynomial can only be a function of U; if O commutes with V this polynomial can only be a function of V; and if O commutes with U and V this polynomial must be a constant times the identity

Homework Equations

UV=VU e^{i2\pi /N}
V^n U=UV^n e^{i2\pi n/N}

The Attempt at a Solution

Me and some buddies thought we had a solution to this, but then another clever buddy pointed out something that we are all unsure of... can a fellow PF lurker lend a hand here

I solved this by assuming the commutation and writing it out explicitly and using the above relavent equations
<br /> [O,U]=\sum_{m,n=1}^{N}o_{mn}(U^m V^n U-UU^m V^n)=\sum_{m,n=1}^{N}o_{mn}U^{m+1}V^n (e^{i2\pi n/N}-1)=0<br />
I then confidently took
<br /> e^{i2\pi n/N}=1\implies n=N<br />
which, as stated in the beginning, makes V^n=V^N=1 which gives me my polynomial in terms of U only.

Now here is the confusion, there is a summation there in my solution, which seems to make my solution incorrect, since what I wrote doesn't need to be true, just that the sum of the terms needs to add up to zero. Are we missing something obvious, or is that solution simply not valid?

Thanks in advance,

 

[sgd37]

I would hazard that powers of operators are independent from each other just like normal variables so that absorbing the n dependent factor into the coefficients gives you a statement about the independence of powers of operators

\Sigma_{m,n=1}^{N} o_{mn} U^{m+1} V^{n} (e^{i2 \pi n/N} - 1) = \Sigma_{m,n=1}^{N} o&#039; (n)_{mn} U^{m+1} V^{n} = 0

which is only satisfied when n=N, otherwise O is not general, and so the sum is irrelevant

Hope it is clear