Equilibrium states for a classical lattice gas

Various definitions of thermodynamic equilibrium states for a classical lattice gas are given and are proved to be equivalent. In all cases, a set of equations is given, the solutions of which are by definition equilibrium states. Examples are the condition of Lanford and Ruelle, and the KMS boundary condition. In connection with this, it is shown that the time translation for classical interactions exists as an automorphism of the quantum algebra of observables, under conditions which are weaker than those found for quantum interactions.