登录注册写文章

近世代数理论基础14：同构定理

近世代数理论基础14：同构定理

同构定理

同态的基本性质

设 $f:G\to \overline{G}$ 是同态映射, $\forall S\subseteq G$ ,令 $f(S)=\{f(a)|a\in S\}$ 为S在映射f下的像集,对 $\overline{S}\le\overline{G}$ ,令 $f^{-1}(\overline{S})=\{a\in G|f(a)\in \overline{S}\}$ 为集合 $\overline{S}$ 的原像

引理：设 $f:G\to \overline{G}$ 是满同态,则有

1. $H\le G\Rightarrow f(H)\le \overline{G}$

2. $\overline{H}\le\overline{G}\Rightarrow f^{-1}(\overline{H})\le G$

3. $N\lhd G\Rightarrow f(N)\lhd \overline{G}$

4. $\overline{N}\lhd \overline{G}\Rightarrow f^{-1}(\overline{N})\lhd G$

证明：

$1.\forall \overline{a},\overline{b}\in f(H)$

$设a,b分别为\overline{a},\overline{b}的一个原像$

$则f(b^{-1})=f(b)^{-1}=(\overline{b})^{-1}$

$\because H为G的子群$

$\therefore ab^{-1}\in H$

$\therefore \overline{a}(\overline{b})^{-1}=f(a)f(b)^{-1}=f(ab^{-1})\in f(H)$

$\therefore f(H)\le \overline{G}$

$2.设\overline{H}为\overline{G}的一个子群$

$\forall \overline{a},\overline{b}\in \overline{H}$

$令\overline{a}=f(a),\overline{b}=f(b)$

$由\overline{H}\le \overline{G}$

$f(ab^{-1})=\overline{a}(\overline{b})^{-1}\in \overline{H}$

$\therefore f^{-1}(\overline{H})为G的子群$

$3.\forall \overline{a}\in\overline{G}$

$\because f是满射$

$\therefore \exists a\in G使f(a)=\overline{a}$

$\forall \overline{n}\in f(N),\exists n\in N使f(n)=\overline{n}$

$\because N\lhd G$

$\therefore a^{-1}na\in N$

$\therefore (\overline{a})^{-1}\cdot \overline{n}\cdot\overline{a}=f(a^{-1}na)\in f(N)$

$\therefore \overline{N}\lhd \overline{G}$

$4.若\overline{N}为\overline{G}的正规子群$

$\forall a\in G,n\in f^{-1}(\overline{N})$

$令\overline{a}=f(a),\overline{n}=f(n)$

$\because f(a^{-1}na)=(\overline{a})^{-1}\overline{n}\overline{a}\in \overline{N}$

$\therefore a^{-1}na\in f^{-1}(\overline{N})$

$\therefore f^{-1}(\overline{N})是G的正规子群$

第一同构定理

定理：设 $f:G\to \overline{G}$ 是满同态,记 $K=Ker(f)$ ,定义两个集合 $S=\{H\le G|K\subset H\}$ , $\overline{S}=\{\overline{H}|\overline{H}\le \overline{G}\}$ ,则

1.存在一一映射(双射) $\overline{f}:S\to \overline{S}$

2.若 $N\in S$ 且 $N\lhd G$ ,则 $\overline{f}(N)\lhd \overline{G}$ ,且 $G/N\cong \overline{G}/\overline{f}(N)$

证明：

$1.\forall H\in S,\overline{f}(H)=f(H)=\{f(h)|h\in H\}$

$\therefore f(H)\le \overline{G}$

$\therefore \overline{f}(H)\in \overline{S}$

$\therefore \overline{f}是从S到\overline{S}的映射$

$\forall \overline{H}\le\overline{G}$

$令g(\overline{H})=f^{-1}(\overline{H})$

$要证g(\overline{H})\in S$

$只需证g(\overline{S})\le G且Ker(f)\subset g(\overline{H})$

$\therefore g(\overline{H})=f^{-1}(\overline{H})\le G$

$\forall a\in Ker(f)\subset f^{-1},有f(a)=\overline{e}\in\overline{H}$

$\therefore a\in f^{-1}(\overline{H})=g(\overline{H})$

$即Ker(f)\subset f^{-1}(\overline{H})=g(\overline{H})$

$\therefore g为从\overline{S}到S的映射$

$下证\overline{f}\circ g=I_{\overline{S}}$

$\forall \overline{H}\in\overline{S}$

$\because \overline{f}\circ g(\overline{H})=\overline{f}(g(\overline{H}))$

$=\overline{f}(f^{-1}(\overline{H}))=f(f^{-1}(\overline{H}))$

$又f是满同态$

$\therefore f(f^{-1}(\overline{H}))=\overline{H}$

$再证g\circ \overline{f}=I_S$

$\forall H\in S$

$要证g\circ \overline{f}(H)=H$

$\because (g\circ \overline{f})(H)=f^{-1}(\overline{f}(H))=f^{-1}(f(H))$

$\therefore H\subset f^{-1}(f(H))$

$\forall a\in f^{-1}(f(H)),有f(a)\in f(H)$

$即\exists h\in H,使f(a)=f(h)$

$\therefore f(ah^{-1})=\overline{e}$

$即ah^{-1}\in Ker(f)\subset H$

$令ah^{-1}=h_1$

$则a=h_1h\in H$

$即f^{-1}(f(H))\subset H$

$2.若N\in S且N\lhd G$

$则f(N)\lhd \overline{G}$

$即\overline{f}(N)\lhd \overline{G}$

$定义复合映射\varphi$

$\varphi:G\overset{f}{\to}\overline{G}\overset{\pi}{\to}\overline{G}/\overline{f}(N)$

$其中\pi:\overline{G}\to \overline{G}/\overline{f}(N)是自然同态$

$则\varphi为从G到\overline{G}/\overline{f}(N)的满同态$

$记同态\varphi的核为Ker(\varphi)$

$群\overline{G}/\overline{f}(N)中的单位元为\overline{f}(N)=f(N)$

$\therefore a\in Ker(\varphi)\Leftrightarrow \pi(f(a))=f(N)$

$\Leftrightarrow f(a)\in f(N)$

$\Leftrightarrow a\in f^{-1}(f(N))=N$

$即Ker(\varphi)=N$

$由同态基本定理$

$G/Ker(\varphi)=G/N\cong \overline{G}/\overline{f}(N)\qquad\mathcal{Q.E.D}$

注：第一同构定理的常用形式：若取 $\overline{G}=G/K,N\lhd G$ ,且 $K\subseteq N$ ,则 $G/N\cong (G/K)/(N/K)$

第二同构定理

定理：设G是群,H,K是G的子群,且 $K\lhd G$ ,则

1. $HK=\{hk|h\in H,k\in K\}\le G$

2. $H\cap K\lhd H$

3. $K\lhd HK$

4. $H/(H\cap K)\cong HK/K$

证明：

$4.定义映射f:H\to HK/K,f(h)=hK$

$易证f是满同态$

$商群HK/K中的单位元为K$

$\therefore h\in Ker(f)\Leftrightarrow f(h)=hK=K$

$\Leftrightarrow h\in H\cap K$

$\therefore Ker(f)=H\cap K$

$由同态基本定理$

$定理成立\qquad\mathcal{Q.E.D}$

例：

1.设 $m\gt 1$ 为正整数,决定群 $(Z/mZ,+)$ 的所有子群

$显然同态f:Z\to Z/mZ,n\mapsto [n]是满同态$

$同态f的核Ker(f)=\{n\in Z|f(n)=[0]\}=mZ$

$确定集合S,即(Z,+)中所有包含Ker(f)的子群H$

$(Z,+)的子群H形如nZ,其中n为正整数$

$由mZ\subset nZ\Leftrightarrow m\in nZ\Leftrightarrow n|m$

$S=\{H\le Z|Ker(f)\subset H\}=\{dZ|d|m\}$

$确定集合\overline{S}=\{\overline{H}\le Z/mZ\}$

$设H\in S,则存在m的正因子d使H=dZ$

$故\overline{f}(H)=f(H)=\{[0],[d],,[2d],\cdots\}=dZ/mZ$

$由第一同构定理$

$|\overline{S}|=|S|$

$故群(Z/mZ.+)中子群的个数为m的正因子的个数$

$且对m的任一因子d,有Z/dZ\cong (Z/mZ)/(dZ/mZ)$

2.设 $S_n$ 为n次对称群,若G为 $S_n$ 的子群,证明G中所含置换或全是偶置换或奇偶置换各半

证：

$若G含奇置换$

$则GA_n=S_n$

$且G\cap A_n是G中全部偶置换集合$

$\because G\le S_n,A_n\lhd S_n$

$由第二同构定理$

$S_n/A_n=GA_n/A_n\cong G/(A_n\cap G)$

$\therefore |G/(A_n\cap G)|=|S_n/A_n|=2$

$\therefore |G|=2\cdot |A_n\cap G|$

$即G中偶置换和奇置换各占一半\qquad\mathcal{Q.E.D}$

©著作权归作者所有,转载或内容合作请联系作者

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 219,869评论 6赞 508
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 93,716评论 3赞 396
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 166,223评论 0赞 357
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 59,047评论 1赞 295
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 68,089评论 6赞 395
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 51,839评论 1赞 308
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 40,516评论 3赞 420
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 39,410评论 0赞 276
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 45,920评论 1赞 319
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 38,052评论 3赞 340
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 40,179评论 1赞 352
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 35,868评论 5赞 346
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 41,522评论 3赞 331
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 32,070评论 0赞 22
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 33,186评论 1赞 272
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 48,487评论 3赞 375
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 45,162评论 2赞 356

推荐阅读更多精彩内容

不忘初心，静待花开
不忘初心、静待花开！我们坚持自己的教育梦想，执着地把对教育的信念如潺潺流水般滋润教学的土壤，期待着那一株含苞待放花...
陕县824刘晓静阅读 331评论 0赞 0
「DR」逃／姝蔷
全世界只有不到3%的人微信搜索并且关注了箫凌你真是个特别的人策划：箫凌「from Overture Stud...
箫凌阅读 130评论 0赞 0
为什么我喜欢Smalltalk？
http://www.vaikan.com/why-i-love-smalltalk/ C，C++，Python等...
Albert陈凯阅读 1,330评论 0赞 0

3赞4赞

赞赏

手机看全文