  In gauge theories the presence of constraints can obstruct expressing the
global Hilbert space as a tensor product of the Hilbert spaces corresponding to
degrees of freedom localized in complementary regions. In algebraic terms, this
is due to the presence of a center --- a set of operators which commute with
all others --- in the gauge invariant operator algebra corresponding to finite
region. A unique entropy can be assigned to algebras with center, giving place
to a local entropy in lattice gauge theories. However, ambiguities arise on the
correspondence between algebras and regions. In particular, it is always
possible to choose (in many different ways) local algebras with trivial center,
and hence a genuine entanglement entropy, for any region. These choices are in
correspondence with maximal trees of links on the boundary, which can be
interpreted as partial gauge fixings. This interpretation entails a gauge
fixing dependence of the entanglement entropy. In the continuum limit however,
ambiguities in the entropy are given by terms local on the boundary of the
region, in such a way relative entropy and mutual information are finite,
universal, and gauge independent quantities.
