A topological group that is also a compact space, i.e., every open cover has a finite subcover. Examples include the circle group (the group of complex numbers on the unit circle), the torus (the product of two circles), and the orthogonal group (the group of linear isometries of a Euclidean space).