＜#代数学の参考書＞

「連続群論の基礎」(朝倉書店1973村上)

p21より:
『#任意 の #群 Gは
そこに #離散位相 を与えれば
#位相群 である.
このように離散位相を持つ位相群を
#離散群 という.
位相群では T_1 #分離公理 を
仮定しているから
有限個の元からなる位相群は
必ず離散群である.』