  We give an operator-algebraic interpretation of the notion of an ideal
generated by the unbounded operators associated to the elements of the Lie
algebra of a Lie group that implements the symmetries of a quantum system. We
use this interpretation to establish a link between Rieffel induction and the
implementation of a local Gauss law in lattice gauge theories similar to the
method discussed by Kijowski and Rudolph in [5, 6].
