Reduction of the structure group
In mathematics, in particular the theory of principal bundles, one can ask if a principal -bundle over a group
"comes from" a subgroup
of
. This is called reduction of the structure group (to
), and makes sense for any map
, which need not be an inclusion map (despite the terminology).