子群的陪集（左陪集、右陪集）定义

引言

在群论中，子群的陪集概念是研究群结构的重要工具。陪集不仅揭示了子群与原群之间的深刻联系，还在分类群、商群构造及群的分类理论中扮演核心角色。本文将系统阐述左陪集与右陪集的定义及其关键性质，为理解群论中的核心概念提供基础框架。

左陪集与右陪集的定义

设$ G $为一个群，$ H $为$ G $的子群。对于任意$ g \in G $，左陪集 $ gH $ 定义为$ { g h \mid h \in H } $。类似地，右陪集 $ Hg $ 定义为$ { h g \mid h \in H } $。
左陪集与右陪集的本质区别在于元素的排列顺序：左陪集的元素由群元素与子群元素的乘积构成，而右陪集则由子群元素与群元素的乘积构成。两者在群论中具有对称性，但具体性质存在差异。

左陪集的性质

存在性：对于任意$ g \in G $，左陪集$ gH $始终存在，且其数量等于群$ G $的阶$ |G| $除以子群$ H $的阶$ |H| $。
等价类数：左陪集的总数为$ \frac{|G|}{|H|} $，这一结果源于群的轨道分解定理。
左陪集的闭包性：左陪集集合$ G/H $是一个群，称为商群，其运算规则为$ (gH)(hH) = g h H $。
左陪集的不变性：若$ H $是$ G $的子群，则左陪集$ gH $与右陪集$ Hg $在群论中互为对偶，且两者在群的分类中具有对称性。

右陪集的性质

对称性：右陪集$ Hg $与左陪集$ gH $在群论中互为对偶，其性质完全由左陪集的性质推导得出。
商群的构造：右陪集的集合$ G/H $同样构成群，其运算规则为$ (Hg)(Hh) = H(g h) $。
陪集的不变性：右陪集的性质与左陪集一致，但具体运算顺序需调整以符合群的乘法定义。
群的分类：在群论中，陪集的分类常用于研究群的结构，例如通过商群的同构性质判断群的可解性或可交换性。

陪集的典型应用

分类群：通过分析陪集的分类，可以将群划分为不同类，例如有限群的分类依赖于其陪集的结构。
商群的构造：陪集的集合直接构成商群，是研究群的商结构的核心工具。
群的分类器：在代数拓扑中，陪集的分类常用于构建群的分类器，例如通过商群的同构性质确定群的同伦类型。
群的不变性：陪集的性质在群的不变性研究中具有重要意义，例如在特征子群的构造中，陪集的分类直接决定群的特征。

总结

子群的陪集（左陪集、右陪集）是群论中的基础概念，其定义与性质深刻揭示了群结构的内在规律。左陪集与右陪集在群的分类、商群构造及群的不变性研究中具有核心地位。通过分析陪集的分类与性质，可以进一步拓展群论的应用边界，例如在代数拓扑、表示理论及数论中的广泛应用。未来研究可进一步探索陪集在非交换群、有限群及无限群中的特殊性质，以深化对群结构的系统理解。