離散群
数学において,位相群 G の離散部分群(りさんぶぶんぐん,英: discrete subgroup)とは,部分群 H であって,H の開被覆で任意の開部分集合が H の元をちょうどひとつ含むようなものが存在するものである.言い換えると,H の G における部分空間位相は離散位相である.例えば,整数の全体 Z は実数の全体 R(標準的な距離位相をいれる)の離散部分群であるが,有理数の全体 Q は離散部分群ではない.離散群とは離散位相を備えた位相群である.
任意の群には離散位相を与えることができる.離散空間からの任意の写像は連続であるから,離散群の間の位相的準同型はちょうどその群の間の群準同型である.したがって,群の圏と離散群の圏の間には同型がある.離散群はしたがってその(抽象)群と同一視できる.
位相群あるいはリー群に「自然に逆らって」離散位相を入れると有用な場合がある.例えばボーアコンパクト化(英語版)の理論やリー群の群コホモロジーにおいてである.
離散等長変換群(英語版)は距離空間の任意の点に対して等長変換のもとでの点の像の集合が離散集合であるような等長変換群である.離散対称変換群(英語版)は離散等長変換群である対称変換群である.