CINTA作业四:群、子群

本文详细证明了群论中的几个关键定理,包括:1)群的乘法封闭性和逆元性质;2)群的幂运算性质,如乘法结合律和分配律;3)对于偶数阶群,存在二阶元的证明;4)子群的定义及其充分必要条件。这些证明揭示了群结构的基本特征和操作规律。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

3. 证明命题6.6
G 为群,且 a, b, c G。如果 ba = ca,则 b = c;并且,如果 ab = ac,则 b = c
证明:         \because a∈G,G为群 
                    \therefore\exists a^{-1}∈G  使得 b·a·a^{-1}=c·a·a^{-1}
                    \therefore b=c
                   同理    a^{-1}·a·b=a^{-1} ·a·b
                    \therefore b=c
4. 证明命题6.7
G 是群,a, b G,以下性质成立。
m, n Zgmgn = gm+n
m, n Z(gm)n = g mn
n Z(gh)n = (h1g1)n;如果 G 是阿贝尔群,则 (gh)n = gnhn
证明:       \becauseg^{m}=g·g·……·g  (m−1次群运算)      g^{n}=g·g·……·g  (n−1次群运算)
                  \therefore g^{m} g^{n}=g·g·……·g (m+n−1次群运算) =g^{m+n}
                  \because (g^{m})^{n} = g^{m}·g^{m}·……·g^{m}(n−1次群运算)
                  \therefore(g^{m})^{n}=g^{m*n}
5. 证明对任意偶数阶群 G,都存在 g Gg \neqe g2 = e
证明:
 假设偶数阶群G 不存在二阶元 g,即不存在g ∈ G , g ≠ e 且 g^{2} = e,并且群的阶数为n。那么群 G 中除单位元 e 之外的 n − 1个元素 g均不等于其逆元g^{-1} ,这样每个 g 和 g^{-1}将相互两两配对,则n − 1必须是偶数,而又因为 n是偶数,故产生矛盾,所以偶数阶群一定有二阶元。
6. 给出命题6.8的完整证明。
G 的非空子集 H G 的子群,当且仅当 H \neq,且对任意 a, b Hab^{-1} H
证明:   充分性   \becausea, b ∈ H,b^{-1}H
                           \therefore 由群封闭性得 ab^{-1}H
              必要性    \foralla,b∈H,  b^{-1}H,ab=a (b^{-1})^{-1}H    满足封闭性
                             \foralla,b,c∈H,(ab)c=a(bc)。   满足结合律
                             \foralla∈H,有a^{-1}∈H ,使得e=a·a^{-1}∈H          存在单位元
                             \forallb∈H,有b^{-1}=eb^{-1}∈H。          存在逆元
                             H满足群公理
7. G是群,对任意n N, i [0, n]gi G。证明g0g1 · · · gn 的逆元是gn1 · · ·g1g01

 证明:     

               \becauseG是群,gi​∈G,有gigi^{-1}​=e 
              
 g0g1...gn有逆元gn1 · · ·g1g01

                          

 

                            

 

 

 

 

 

 

 

命题 6.6
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值