＜#代数学の参考書＞

「連続群論の基礎」(朝倉書店1973村上)
https://www.hmv.co.jp/artist_%...

p136より引用:
『#集合 G が次の条件を満たす時，
これを #リー群 という.

① G は #群 である.
② G は #実解析多様体 である.
③ G の #群演算 は #実解析的 である.』