Okay, I don't have Nielson and Chuang, so I'm not certain what you're talking about, but by conventional notation, it seems that a and b are annihilation operators acting on the system and the environment respectively.
If that is so, then the [a,b] = 0 because they act on different Hilbert...