定義
完全不連結（>>537）なコンパクト群（>>599）を副有限群（profinite group）と言う。