＜#代数学の参考書＞

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

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

＜#代数学の参考書＞

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

p20より引用:
『#集合 Gが次の条件を満たす時
Gを #位相群 という.

① Gは #群 である.
② Gは T_1 空間である. ※
③ Gの #群演算 は #連続 である.』

※p16より:
T_1 #分離公理 をみたす #位相空間 を T_1 空間という.