gauge group, amenability, mean, invariant vacuum, quantised gauge theory