A necessary and sufficient
Fredholm criterion is found for a C∗-algebra of bounded operators on a cylinder,
which contains operators of the form LΛM, where Λ = (1 − Δ)−1∕2 and
L is an M-th order differential operator whose coefficients are periodic at
infinity.