13.陪集和拉格朗日定理

title: 13. 陪集和拉格朗日定理 tags: zk basic abstract algebra group theory coset WTF zk 教程第 13 讲：陪集和拉格朗日定理 在群论中，陪集是一种描述群中平移或变换的重要概念，理解陪集有助于我们研究群的对称性和结构。本讲将介绍陪集的定义及其性质，以及拉格朗日定理。 陪集 在群论中，群中的一个子集和元素运算组成的集合被称为陪集。陪集不是群，但可以将群分解为不相交、大小相等的子集，是研究群的基本工具，也是拉格朗日定理的基础。 陪集定义： 给定一个群 $(G, )$ 和它的一个子群 $(H, )$，对于 $G$ 中的一个元素 $a$，我们定义与 $H$ 关于左陪集的 运算： $aH = \{ah \mid h \in H\}$ 。这表示将 $H$ 中的每个元素 $h$ 与 $a$ 进行 运算，得到的新集合 $aH$ 被称为左陪集。为了简单，我们省略 符号，将左陪集记为 $aH$。 注意： 运算是群中元素之间的运算，运算结果是元素；而 运算是群中元素和子群之间的运算，效果是该元素与子群中每个元素进行 运算，运算结果是集合。你...