Griffiths' inequalities for Ashkin-Teller model

The two Griffiths' (1967) inequalities for the correlation functions of Ising ferromagnets with two-body interactions, and two other inequalities obtained by Kelly and Sherman (1968) and by Sherman (1969) are shown to hold not only for the Ashkin-Teller (1943) model but also for a generalized Ashkin-Teller model (Kihara et al., 1954) with many-body interactions involving arbitrary clusters of particles. A cluster of particles is understood to mean a collection of pairs of particles rather than a group of particles. The four generalized inequalities under consideration are presented in the form of theorems, and a new inequality is obtained.