@gunron-tan.bsky.socialOct 6, 2026, 5:38 AM #リー群:ある#リー環:ある#リー体:無い#リー代数:ある#位相群:ある#位相環:ある ①#位相体:ある ②#位相代数:ある ③#連続群:ある#連続環:言わない#連続体:ある#連続代数:言わない①②Pontryagin「連続群論」③https://ja.wikipedia.org/wiki/...#位相線型環=#位相多元環,位相代数