The commutator of the transfer matrices is just such an object, and so the method is particularly well-suited to the problem of establishing necessary spectral conditions under which the transfer matrices will commute.The methods used here are particularly amenable to the use of computer algebra systems.