摘要: 设$H<G$,全体左陪集构成的集合$\overline{G}=\{gH:g\in G\}$,我们希望赋予$\overline{G}$群的结构,很自然的定义乘法为$$aH\cdot bH=abH$$容易验证此运算下有幺元$H$,以及任意的$aH\in\overline{G}$有逆元$a^{-1}H$. 阅读全文
posted @ 2017-11-14 20:35 陶哲轩小弟 阅读(5553) 评论(0) 推荐(0) 编辑