证明或反证群G的正规子群个数与群上的同余关系个数相等.希望尽量详细些
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/08/06 03:04:47
证明或反证群G的正规子群个数与群上的同余关系个数相等.希望尽量详细些
我不太清楚同余关系的定义, 按我的理解给个定义:
G上的一个等价关系"≡", 若满足对任意a ≡ b, c ≡ d, 恒有ab ≡ cd, 则称"≡"为G上的一个同余关系.
如果是这种定义, 那么G上的同余关系与G的正规子群是一一对应的.
设"≡"是G上的一个同余关系, e为G的单位元.
考虑G的子集H = {h ∈ G | h ≡ e}.
可以验证H是G的一个子群:
1. 任意a, b ∈ H, 有a ≡ e, b ≡ e, 由"≡"是同余关系, 得ab ≡ e, 即有ab ∈ H.
2. 任意a ∈ H, 有a ≡ e, 而由"≡"是等价关系, 有a^(-1) ≡ a^(-1), 于是e = a·a^(-1) ≡ a^(-1).
即a^(-1) ≡ e, 也即a^(-1) ∈ H.
进而可以验证H是G的正规子群:
对任意a ∈ H, g ∈ G, 有g^(-1) ≡ g^(-1), a ≡ e, g ≡ g, 于是g^(-1)·a·g ≡ g^(-1)·g = e.
即g^(-1)·a·g ∈ H.
设H是G的一个正规子群.
定义G上的关系: a ≡ b当且仅当a^(-1)·b ∈ H (其实就是按左陪集分类).
可以验证"≡"是一个等价关系:
1. 对任意a ∈ G, 有a^(-1)·a = e ∈ H (H是子群, 故包含单位元), 即有a ≡ a.
2. 若a, b ∈ G满足a ≡ b, 即有a^(-1)·b ∈ H.
由H是子群, 有b^(-1)·a = (a^(-1)·b)^(-1) ∈ H, 即有b ≡ a.
3, 若a, b, c ∈ G满足a ≡ b, b ≡ c, 即有a^(-1)·b, b^(-1)·c ∈ H.
由H是子群, 有a^(-1)·c = (a^(-1)·b)·(b^(-1)·c) ∈ H, 即有a ≡ c.
进而可以验证"≡"是一个同余关系:
若a, b, c, d ∈ G满足a ≡ b, c ≡ d, 即有a^(-1)·b, c^(-1)·d ∈ H.
由H是正规, 有c^(-1)·(a^(-1)·b)·c ∈ H.
于是(ac)^(-1)·(bd) = (c^(-1)·a^(-1)·b·c)·(c^(-1)·d) ∈ H, 即有ac ≡ bd.
上述由同余关系构造正规子群以及由正规子群构造同余关系的过程是互逆的.
给定同余关系"≡", 可构造正规子群H = {h ∈ G | h ≡ e}.
可知a ≡ b当且仅当a^(-1)·b ∈ H (即a^(-1)·b ≡ e).
反之, 给定正规子群H, 可构造同余关系: a ≡ b当且仅当a^(-1)·b ∈ H.
可知H = {h ∈ G | h ≡ e}.
综上, G上的同余关系与正规子群可以建立一一对应.
当一个有限时另一个也有限且二者个数相等.
G上的一个等价关系"≡", 若满足对任意a ≡ b, c ≡ d, 恒有ab ≡ cd, 则称"≡"为G上的一个同余关系.
如果是这种定义, 那么G上的同余关系与G的正规子群是一一对应的.
设"≡"是G上的一个同余关系, e为G的单位元.
考虑G的子集H = {h ∈ G | h ≡ e}.
可以验证H是G的一个子群:
1. 任意a, b ∈ H, 有a ≡ e, b ≡ e, 由"≡"是同余关系, 得ab ≡ e, 即有ab ∈ H.
2. 任意a ∈ H, 有a ≡ e, 而由"≡"是等价关系, 有a^(-1) ≡ a^(-1), 于是e = a·a^(-1) ≡ a^(-1).
即a^(-1) ≡ e, 也即a^(-1) ∈ H.
进而可以验证H是G的正规子群:
对任意a ∈ H, g ∈ G, 有g^(-1) ≡ g^(-1), a ≡ e, g ≡ g, 于是g^(-1)·a·g ≡ g^(-1)·g = e.
即g^(-1)·a·g ∈ H.
设H是G的一个正规子群.
定义G上的关系: a ≡ b当且仅当a^(-1)·b ∈ H (其实就是按左陪集分类).
可以验证"≡"是一个等价关系:
1. 对任意a ∈ G, 有a^(-1)·a = e ∈ H (H是子群, 故包含单位元), 即有a ≡ a.
2. 若a, b ∈ G满足a ≡ b, 即有a^(-1)·b ∈ H.
由H是子群, 有b^(-1)·a = (a^(-1)·b)^(-1) ∈ H, 即有b ≡ a.
3, 若a, b, c ∈ G满足a ≡ b, b ≡ c, 即有a^(-1)·b, b^(-1)·c ∈ H.
由H是子群, 有a^(-1)·c = (a^(-1)·b)·(b^(-1)·c) ∈ H, 即有a ≡ c.
进而可以验证"≡"是一个同余关系:
若a, b, c, d ∈ G满足a ≡ b, c ≡ d, 即有a^(-1)·b, c^(-1)·d ∈ H.
由H是正规, 有c^(-1)·(a^(-1)·b)·c ∈ H.
于是(ac)^(-1)·(bd) = (c^(-1)·a^(-1)·b·c)·(c^(-1)·d) ∈ H, 即有ac ≡ bd.
上述由同余关系构造正规子群以及由正规子群构造同余关系的过程是互逆的.
给定同余关系"≡", 可构造正规子群H = {h ∈ G | h ≡ e}.
可知a ≡ b当且仅当a^(-1)·b ∈ H (即a^(-1)·b ≡ e).
反之, 给定正规子群H, 可构造同余关系: a ≡ b当且仅当a^(-1)·b ∈ H.
可知H = {h ∈ G | h ≡ e}.
综上, G上的同余关系与正规子群可以建立一一对应.
当一个有限时另一个也有限且二者个数相等.
设有限群G恰好具有两个n阶子群H,K,并且G由H,K生成,证明H,K是G的正规子群
能不能帮我证明一下 一个群的换位子群是不是正规的 如果是 咋个证明呢
设H是群G的子群,证明:对任意的g属于G ,集合K={g^-1hg|属于H}是G的子群,并证明H与K之间群同构
证明任一个群G不能是两个不等于G的子群的集合
1.设R和S是集合A上的对称关系,证明或反证:R-S也是A上的一个对称关系.
求抽象代数的一个证明试证:群G的任意有限子半群是子群.
18g水所含的氧原子个数与几g硫酸所含的氧原子个数相等(求详细解题步骤)
抽象代数题目:N是G的极大正规子群的充要条件是G/N为单群 答案说用对应定理
抽象代数群论问题:群G的正规子群中除了包含群的中心元素外,还包含什么其他元素?
设H,K分别是群G的阶为3,5的子群,证明H∩G={1}
离散数学中一个关于群和子群的证明题
群和子群有这个一个题,实在不懂,有哪位大虾帮帮忙证明,设G是交换群,证明G中一切有限阶元素所成集合H是G的一个子群