离散数学(二)拉格朗日定理离散数学(二)拉格朗日定理.pdfVIP

离散数学(二)第七讲 计算机学院: 焦晓鹏 拉格朗日定理 主要内容: 11 陪集 2 拉格朗日定理 重点和难点: 重点: 陪集的性质 一、陪集 陪集的定义： 设H ，∗ 为G ，∗ 的子群，对任一a ∈G ，定义 aH= a∗H={a∗h|h ∈H}, 称为元素a 关于H 的左陪集 a:左陪集aH的表示元素 Ha=H∗a={h∗a|h ∈H}, 称为元素a 关于H 的右陪集 a:右陪集Ha 的表示元素 例1 ：I,+是R,+ 的子群，则 3I={3+i|i∈I }=I ，4I={4+i|i∈I }=I 3I=4I 2.5I={2.5+i|i∈I }, 3.4I={3.4+i|i∈I } 2.5I∩3.4I=Ø 一、陪集 定理1 ：设H , ∗是群G , ∗ 的子群, aH和bH是任意二个左陪集, 那么, 或aH=bH 或aH∩bH=Ø 。 思路：令命题P ：aH ∩bH=Ø 命题Q：aH=bH 要证P ∨Q为真，即要证┐P→Q为真。即要证┐(aH ∩bH=Ø)→aH=bH 证明:假设aH∩bH ≠Ø ，我们证明aH=bH 。 设aH∩bH≠Ø, 那么必存在一个公共元素f , 有f ∈aH∩bH,则存在 h ,h ∈H, 使f=a ∗h = b∗h , 因此a=b∗h ∗h -1 1 2 1 2 2 1 下面证明aH⊆bH ： ∀x ∈aH,存在h ∈H使得x=a∗h , 因而x=b∗h ∗(h )-1∗h , 根据H 3 3 2 1 3 中运算的封闭性知h ∗(h )-1∗h ∈H ，所以x ∈bH 。 2 1 3 同理可证bH⊆aH。因此aH=bH。 一、陪集 定理2 ：设H ，∗ 为G ，∗ 的子群, 则H 的任意左陪集的大小(基 数)是相同的。即对任意a,b ∈G有|aH|= |bH|= |H|。 证明: 假设H = {h , h , … , h } ，那么aH= {a∗h , a∗h , …, a∗h }。 1 2 m 1 2 m 定义函数f: H→aH,对任何一h ∈H ，f(h)= a∗h 。 f: H→aH单射, 对∀h ,h ∈H ,若h ≠h ,则a∗h ≠a∗h 。 1 2 1 2 1 2 f: H→aH 为满射是显然的。 因此f 为双射，故|aH|= |H|得证。 一、陪集 定理3 ：设H , ∗是群G , ∗ 的子群, 则H 的所有左陪集构成G 的 一个划分。 证明(1)证明H所有左陪集的并集为G。即∀a ∈G ，有 aH G a G ∈ 由于H ⊆G且G对∗封闭可得，aH ⊆G 。 a∈G 下面证明aH ⊇G 。 a∈G