Clozel, Harris and Taylor have recently proved a modularity lifting theorem
of the following general form: if rho is an l-adic representation of the
absolute Galois group of a number field for which the residual representation
rho-bar comes from a modular form then so does rho. This theorem has numerous
hypotheses; a crucial one is that the image of rho-bar must be "big," a
technical condition on subgroups of GL(n). In this paper we investigate this
condition in compatible systems.