循环群、对称群、陪集和拉格朗日定理、正规子群和商群
元素的阶 设<G,·>是群，a∈G,a的整数次幂可归纳定义为： a0 = e an+1 = an· a, n∈N a-n = (a-1)n, n∈N 容易证明，∀m ...
原文：正规子群和商群
设 H lt G ,全体左陪集构成的集合 overline G gH:g in G ,我们希望赋予 overline G 群的结构,很自然的定义乘法为 aH cdot bH abH 容易验证此运算下有幺元 H ,以及任意的 aH in overline G 有逆元 a H .但是最主要的问题是:左陪集的代表元选取并不唯一,那么次乘法的定义是否是无矛盾的 换言之,若 aH a H,bH b H ,是 ...
2017-11-14 20:35 0 3213 推荐指数：
相关推荐
第二章 2.群中的等价关系 -- 陪集，共轭，正规子群与商群
群作为代数结构首先是一个集合，那么元素间可能有各种等价关系，这些等价关系给出了群的划分，也使群自身结构的特异性突出。 一、 陪集 定义 设$H$是$G$的一个子群，$a\in G$，作集合$aH=\{ax|x\in H\}$，称$aH$是关于子群$H$的一个左陪集。类似 ...
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
https://www.zhihu.com/question/324646020 https://math.stackexchange.com/questions/500212/show-that-ideal-is-a-subring 子群，子环是一种子结构 正规子群和理想是一种等价类 ...
Ker f 是 G 的正规子群的完整证明
已知 f: G → G' 是一个同态映射，e' 是 G' 的单位元，Ker f = {a ∈ G | f(a) = e'}. 则 Ker f 是 G 的正规子群. 证明：由同态映射定义知 f(a) = f(e·a) = f(e)·f(a)，f(a) = f(a·e) = f(a)·f(e ...
正规文法与正规式
3型文法也叫作正规文法，它对应于有限状态自动机，它是在2型文法的基础上满足：A->a|aB（右线性）或A->a|Ba（左线性）。如果有A->a,A->aB,B->a,B->cB则符合3型文法的要求。但是A->ab,A->aB,B-> ...
编译原理：正规文法与正规式
1.分别写出描述以下语言的正规文法和正规式： L1={abna|n≥0}。 L2={ambn|n≥1,m ≥1} L3={（ab）n|n≥1} 解析： （1）设文法G(S)={abna|n≥0} 正规文法： S → aA A → Ba B → bn B ...
群 子群 陪集
一 群、子群、陪集 实数集R上定义两种运算: \(+\): \(R\times R \rightarrow R\)（加法） \(*\): \(R\times R \rightarrow R\)（乘法） 满足 \(R\) 在 \(+\) 运算下是 阿贝尔群 (交换群)，和 \(R ...
子群和Lagrange定理
子群 设$(G,\cdot)$是群,$A\subset G$是$G$的子集,如果$(A,\cdot)$也构成群,那么称$A$是$G$的子群,记作$A\leq G$,且若$A\neq G$,则称$A$为$G$的真子群,记作$A<G$. 对了验证群$G$的子集$A$是否是$G$的子群 ...