Consider a general linear model Y=X[beta]+Z where Cov Z may be known only partially. We investigate carefully the notions of sufficiency, ancillarity, invariance, and equivariance and related notions for projectors in a general linear model. In this way we can prove a Basu type theorem. This...