离散群

✍ dations ◷ 2025-07-11 15:06:30 #拓扑群

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)

在数学中,离散群是配备了离散拓扑的群 。带有这种拓扑 成为了拓扑群。拓扑群 的离散子群是其相对拓扑为离散拓扑的子群 。例如,整数集 Z 形成了实数集 R 的离散子群,但是有理数集 Q 不行。

任何群都可以给予离散拓扑。因为出自离散空间的所有映射都是连续的,离散群的拓扑同态完全就是底层群的群同态。因此,在群范畴和离散群范畴之间有一个同构,离散群因此同一于它们的底层(非拓扑)群。由于这个想法,术语离散群论被用来称呼对没有拓扑结构的群的研究,用来对比于拓扑群论或李群论。它在逻辑上和技术上被分为有限群论和无限群论。

在有些场合拓扑群或李群反自然的配备上离散拓扑是有用的。这可以在玻尔紧致化理论和在李群的群上同调理论中找到实例。

因为拓扑群是齐次的,你只需要查看一个单一的点就能确定这个群是否为离散的。特别是,拓扑群是离散的,当且仅当包含单位元的单元素集合是开集。

离散群是和零维李群同样的东西(不可数离散群不是第二可数的,所以要求李群满足这个公理的作者不把这些群认做李群)。离散群的单位元单元就是平凡子群而单元的群同构于这个群自身。

因为只有在有限集合上的豪斯多夫拓扑是离散拓扑,有限豪斯多夫拓扑群必然是离散群。可得出所有的豪斯多夫群的有限子群是离散群。

的离散子群 是馀紧致(cocompact)的,如果有 的紧子集 使得 = 。

离散正规子群在覆盖群和局部同构群的理论中扮演重要角色。连通群 的离散正规子群必然位于 的中心并因此是阿贝尔群。

其他性质:

相关

  • 基线字体排印学中,基线(英语:Baseline)指的是多数字母排列的基准线。如右图所示,大多字母都沿着红色基线排列,唯有“p”向下延伸超过基线,超过的部分称为降部。段落中连续行的基线间的
  • 集体耕作集体耕作以及共同耕作是多种农业生产中的一种。是由多位农业主合资进行农业生产。这种集体的类型本质上是一个在各农业主在农业活动共同参与的农业生产合作社。集体农庄的典
  • 马尔库斯·奥列里乌斯马可·奥勒留(拉丁语:Marcus Aurelius,121年4月26日-180年3月17日),全名为马可·奥勒留·安敦宁·奥古斯都(拉丁语:Marcus Aurelius Antoninus Augustus)。是罗马帝国五贤帝时代最后
  • font color=white美国的编号公路/font美国的编号公路由四个主要部分组成:州际公路系统、美国国道、州级公路以及各州内的县级公路组成。这些公路普遍使用数字来进行标识,并使用不同的公路标志牌风格加以区分,如州际
  • 斐林试剂斐林试剂(Fehling's reagent),也称斐林试液、菲林试剂,是一个常用的分析化学试剂。公元1849年由德国化学家赫尔曼·冯·斐林(英语:Hermann von Fehling)制作出来。斐林试剂能醛基的
  • 四福花四福花(学名:)为五福花科四福花属的植物,是中国的特有植物。分布于中国大陆的四川等地,生长于海拔2,300米的地区,常生长在林中湿地,目前尚未由人工引种栽培。
  • 罗子雄罗子雄,出生于湖南,年幼随父母迁至武汉,曾创办 V6DP 设计师社区,ABOUTCG 视频教学网站;2012 年加入锤子科技担任 UI 设计总监;2016 创办 Source Technology。
  • 起辇谷起辇谷是《元史》中提到的一处地名。根据《元史》记载,蒙古帝国和元朝的历代君主都葬于此,是东亚历史上最大型的帝王陵墓。元代皇家秘葬制度,帝王陵墓不封丘,包括随葬品也不能封
  • 冯登府冯登府(1783年2月12日-1841年12月7日),字云伯,号勺园,又号柳东,浙江嘉兴梅里人,清代经学家,浙西词派后期的代表人物。出生于乾隆四十八年,卒于清宣宗道光二十一年十月二十五日(辛丑年,乙
  • 迈克·马尔瓦尼约翰·迈克尔·“迈克”·马尔瓦尼(英语:John Michael "Mick" Mulvaney;1967年7月21日-)是美国共和党籍政治人物。自2011年到2017年,他是南卡罗来纳州第5选举区选出的美国众议院议