陪集定义与性质.pptVIP

前页 前页 前页 * 目录 后页 返回 * 前页 定理2.1.3 ---一一对应 二、陪集的定义与性质 定理2.1.2 ---性质 §2.1 子群的陪集 一、子群的乘积 定义2.1.1 ---子群的乘积 定理2.1.1 ---子群乘积的性质 例1 例2 三、拉格朗日 定理及其应用 定义2.1.3 ---指数 定理2.1.4 ---拉格朗日定理 定理2.1.5 ---费马小定理 定义2.1.2 ---陪集 例3 例4 一、子集乘积的定义与性质 定义2.1.1 设 与 是群 的两个非空子集, 称集合 为群的子集 与 的 乘积 (product). 如果 为群 的一个元素, ,则 与 分别简记为 和 注 当 为加群时, 上述记号应相应地改为 并称 为 与 的和 (sum). 显然有 例1 在 中, 设 则 当群 不是交换群时, 与 一般是不相同的. 同时还要特别注意, 即使 , 也并不意味着对 任意 的，一定有 . 正确应该是, 对任意的 ,存在 ,使 例2 在 中, 设 直接计算可得, 所以 , 但 . 这个例子说明, 由 , 一般不能推出 . 定理2.1.1 设 是群 的非空子集, 是群 的 一个元素, 则 (1) ; (2) 如果 或 , 则 ; (3) 如果 是群 的子群, 则 ; (4) 如果 是群 的两个子群, 则 也是群 的子群的充分必要条件是 . 证 必要性 设 为 的子群. 对任意的 ,其中 ,有 ． 而存在 使 . 从而 所以 反之, 对任意的 , 其中 , 有 于是 所以 这就证明了 充分性 对任意的 , 其中 , 由于 , 因此有 由此知, 是 的子群. 二、陪集的定义与性质 定义2.1.2 设 是群, 是 的子群. 对任意的 , 群 的子集 与 分别称为 在 中的左陪集(left coset)和右陪集 (right coset). 试求 在群 中的所有左陪集和右陪集. 例3 在群 中, 设 解 我们有 所以, 子群 在 中有三个不同的左陪集 类此地可以得到 的右陪集有 定理2.1.2 设 是群 子群, , 则 (1) ; (2) 的充分必要条件是 ; (3) 为子群的充分必要条件是 ; (4) 的充分必要条件是 ; (5) 与 或者完全相同, 或者无公共元素; (6) . 证 (1) . (2) 如果 ,则因 , 所以 反之, 如果 , 则 . 从而 所以 . (3) 设 为子群. 因 , 所以 , 于是 , 使 . . 从而存在 所以 . 另一方面, 如果 , 则 为子群. (4) 如果 , 则 从而由(2)知, . 反之, 如果 ，则又由(2)得 , 于是 (5) 假设 . 任取 , 则存在 , 使 从而 . (6) 考察映射 易