A relative cohomological invariant for group pairs

We define a cohomological invariantE(G, S, M) whereG is a group,S is a non empty family of (not necessarily distinct) subgroups of infinite index inG andM is a -module ( is the field of two elements). In this paper we are interested in the special case where the family of subgroups consists of just one subgroup, andM is the -module . The invariant will be denoted byE(G, S). We study the relations of this invariant with other endse(G), e(G, S) ande(G,S)), and some results are obtained in the case whereG andS have certain properties of duality.