We show that standard identities and theorems for lattice models with Uð1Þ symmetry get reexpressed discretely in the tensorial formulation of these models. We also explain the geometrical analogy between the continuous lattice equations of motion and the discrete selection rules of the tensors. We further construct a gauge-invariant transfer matrix in arbitrary dimensions, show the equivalence with its gaugefixed version in a maximal temporal gauge, and explain how a discrete Gauss's law is always enforced. Moreover, we propose a noise-robust way to implement Gauss's law in arbitrary dimensions, and we reformulate Noether's theorem for global, local, continuous, or discrete Abelian symmetries: for each given symmetry, there is one corresponding tensor redundancy. We discuss semiclassical approximations for classical solutions with periodic boundary conditions in two solvable cases, and we show the correspondence of their weak coupling limit with the tensor formulation after Poisson summation. Finally, we briefly discuss connections with other approaches and implications for quantum computing.