“…If (R[t] S ) X is hereditary then (P S ) X is obviously projective. If gl.dim (R[t] S ) X = 2, then since height((P S ) X ) = 1, we get by [6,Corollary 5], that (P S ) X is projective. This implies (using the fact that a module M R is projective iff 1 ∈ MM * ) that P S is a projective R[t] S -module (from both sides).…”