Assume that \(G\)  is abelian. In this context [1]} gives an abstract description of such inequalities, however it is difficult to perform explicit calculations or deduce general statements from their presentation. One can view some of the results herein as a combinatorialisation of [1]}, which turn out to be very amenable to applications.
