For $K$ a connected finite complex and $G$ a compact connected Lie
group, a finiteness result is proved for gauge groups ${\mathcal G}(P)$
of principal $G$-bundles $P$ over $K$: as $P$ ranges over all
principal $G$-bundles with base $K$, the number of homotopy types
of ${\mathcal G}(P)$ is finite; indeed this remains true when
these gauge groups are classified by $H$-equivalence,
that is, homotopy equivalences which respect multiplication
up to homotopy.
A case study is given for $K = S^4$, $G = \text{SU}(2)$:
there are eighteen $H$-equivalence classes of gauge group
in this case. These questions are studied via fibre homotopy
theory of bundles of groups; the calculations in the case
study involve $K$-theories and $e$-invariants. 1991 Mathematics Subject Classification: 54C35, 55P15, 55R10.