The combinatorial derivation and its inverse mapping

Let G be a group and P _G be the Boolean algebra of all subsets of G. A mapping Δ: P _G → P _G defined by Δ(A) = {g ∈ G: gA ∩ A is infinite} is called the combinatorial derivation. The mapping Δ can be considered as an analogue of the topological derivation d: P _X → P _X , A ? A ^d , where X is a topological space and A ^d is the set of all limit points of A. We study the behaviour of subsets of G under action of Δ and its inverse mapping ?. For example, we show that if G is infinite and I is an ideal in P _G such that Δ(A) ∈ I and ?(A) ? I for each A ∈ I then I = P _G .