Quantum statistical mechanics, quantum spin system, infinite tensor product, Hilbert C*-module, C*-dynamical system, crossed product, Jordan-Wigner transformation, Fermi lattice gas