定義
G を位相群とする。
G の位相が離散（>>60）のとき G を離散群と言う。