lattice gauge theory, quantum field theory, quantum constraints, C*-algebra, operator algebra, infinite tensor product