  An inclusion of observable nets satisfying duality induces an inclusion of
canonical field nets. Any Bose net intermediate between the observable net and
the field net and satisfying duality is the fixed-point net of the field net
under a compact group. This compact group is its canonical gauge group if the
occurrence of sectors with infinite statistics can be ruled out for the
observable net and its vacuum Hilbert space is separable.
