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 fiel
d net under a compact group. This compact group is its canonical gauge grou
p if the occurrence of sectors with infinite statistics can be ruled out fo
r the observable net and its vacuum Hilbert space is separable.