原文:正規子群和商群

設 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$的一個左陪集。類似 ...

Sat Feb 02 11:37:00 CST 2019 0 838
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 ...

Sun Dec 05 19:22:00 CST 2021 0 933
正規文法與正規

 3型文法也叫作正規文法,它對應於有限狀態自動機,它是在2型文法的基礎上滿足:A->a|aB(右線性)或A->a|Ba(左線性)。如果有A->a,A->aB,B->a,B->cB則符合3型文法的要求。但是A->ab,A->aB,B-> ...

Wed Oct 16 19:34:00 CST 2019 0 640
編譯原理:正規文法與正規

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 ...

Sat Oct 19 05:02:00 CST 2019 0 2282
子群 陪集

一 群、子群、陪集 實數集R上定義兩種運算: \(+\): \(R\times R \rightarrow R\)(加法) \(*\): \(R\times R \rightarrow R\)(乘法) 滿足 \(R\) 在 \(+\) 運算下是 阿貝爾群 (交換群),和 \(R ...

Thu Oct 28 17:16:00 CST 2021 0 137
子群和Lagrange定理

子群 設$(G,\cdot)$是群,$A\subset G$是$G$的子集,如果$(A,\cdot)$也構成群,那么稱$A$是$G$的子群,記作$A\leq G$,且若$A\neq G$,則稱$A$為$G$的真子群,記作$A<G$. 對了驗證群$G$的子集$A$是否是$G$的子群 ...

Sat Nov 04 00:07:00 CST 2017 0 1908
 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM