En matemàtiques, un grup (topològic, sovint sobreentès) compacte és un grup la topologia del qual és compacta. Els grups compactes són una generalització natural dels grups finits amb topologia discreta.
D'ara endavant, assumirem que tots els grups són espais de Hausdorff.