Peskin & Schroeder's proof of Wick's Theorem

[emob2p]

Hi,
I am stuck on a step Peskin & Schroeder give in their proof of Wick's Theorem (Intro to Quantum Field Theory, p 90). In the middle of the page when they consider the term with no contraction, it seems like in between the 1st and 2nd lines they somehow factor out the normal ordering operator. How is this legal? I've attached a bmp of what I'm talking about. Thanks

*Typo...There shouldn't be an equal sign after the last commutator in the bmp.

[vanesch]

Hi,
I am stuck on a step Peskin & Schroeder give in their proof of Wick's Theorem (Intro to Quantum Field Theory, p 90).
I think the step is far more complicated than it seems ; I think you have to work out first the commutator for each term of the kind:
| \phi_1^+, \phi_2^- \phi_3^-...\phi_m^+ |
which, by working out the distributivity of the commutator, equals:
| \phi_1^+, \phi_2^-| \phi_3^-... + \phi_2^-|\phi_1^+,\phi_3^-|\phi_4^- ...
Recognizing that the commutators are C-numbers, the remaining factors can be recognized to be in normal order, so you can go back to the N() notation, and you end up with the second term in the second line.
Sorry, I used | instead of brackets because it screwed up my inline latex
cheers,
Patrick.

[emob2p]

That was my thought too, except let's say \phi_n = \phi_n^+ + \phi_n^- . Then \phi_2\phi_3 won't simply be \phi_2^-\phi_3^- + \phi_2^+\phi_3^+ because you'll have the cross terms.