Compact group

Symbol-free definition
A topological group is said to be compact if its underlying topological space is a compact space; in other words, if every open cover of the group has a finite subcover.

Facts

 * Compact implies every open subgroup has finite index