Codimension and analytic spread

Abstract

In this paper, I shall establish the sufficiency of certain conditions on an ideal A of a local ring Q, and on a set {g1 …,gk} of elements of Q generating a proper ideal G, for the ideals A and G to be analytically disjoint. Hence I shall establish an upper bound for the analytic spread of A.The maximal ideal of Q will be denoted throughout by M, and it will be assumed that the field Q/M is infinite.