抽象代数/近世代数
理论为主
陌雨’
Github:https://github.com/infinity-07
展开
-
抽象代数中的一些基本定义/整环/整区/Gauss整区/UFD
整环:无零因子的环叫做整环整区:含恒等元的交换整环叫做整区Gauss整区:即为唯一分解环 UFD原创 2021-03-04 17:07:34 · 2316 阅读 · 0 评论 -
循环群中的某个定理
设 G=<a>G=<a>G=<a> 是循环群定理一: 若 GGG 为无限循环群,则 GGG 的生成元只有 aaa 和 a−1a^{-1}a−1定理二: 若 GGG 为 nnn 阶有限循环群,则 GGG 的生成元共有 φ(n)\varphi(n)φ(n)个,它们是 ak(1⩽k⩽n,(k,n)=1a^k(1\leqslant k\leqslant n,(k,n)=1ak(1⩽k⩽n,(k,n)=1).定理一证明: 显然 ⟨a−1⟩=⟨a⟩=G.\langle a^原创 2020-11-18 17:30:14 · 1470 阅读 · 0 评论 -
交错群的生成元系
2020-11-18 抽代笔记原创 2020-11-18 17:05:17 · 2241 阅读 · 0 评论 -
同态基本定理
同态基本定理设 f:G→G′f:G\to G'f:G→G′ 是群的同态.则 Imf=f(G){\rm Im}f=f(G)Imf=f(G) 是 G′G'G′ 的子群,Kerf={f−1(1)=g∈G∣f(g)=1}{\rm Ker}f=\{f^{-1}(1)={g\in G|f(g)=1}\}Kerf={f−1(1)=g∈G∣f(g)=1} 是 GGG 的正规子群. 并且有群同构fˉ:G/kerf≅Imf,fˉ(gˉ)=f(g)\bar{f}:G/{\rm ker}f\cong {\rm Im}f,\q原创 2020-11-15 22:45:24 · 3390 阅读 · 0 评论 -
右傍集的性质
性质Ha=Hb(aH=bH)Ha=Hb(aH=bH)Ha=Hb(aH=bH) 的充要条件是 ab−1∈H(a−1b∈H)ab^{-1}\in H(a^{-1}b\in H)ab−1∈H(a−1b∈H)∣Ha∣=∣Hb∣(∣aH∣=∣bH∣)|Ha|=|Hb|(|aH|=|bH|)∣Ha∣=∣Hb∣(∣aH∣=∣bH∣)若 Ha≠Hb(aH≠bH)Ha\ne Hb(aH\ne bH)Ha=Hb(aH=bH),则 Ha∩Hb=∅Ha\cap Hb=\varnothingHa∩Hb=∅...原创 2020-11-15 22:36:37 · 376 阅读 · 0 评论 -
抽象代数:a 上面有一根横线的含义
抽代笔记原创 2020-11-15 22:24:45 · 9615 阅读 · 0 评论 -
核只有单位元等价于映射是单射
代数笔记原创 2020-11-11 14:17:05 · 2168 阅读 · 5 评论 -
抽象代数中的记号
抽代笔记原创 2020-11-11 14:09:47 · 2299 阅读 · 0 评论 -
拉格朗日/循环群的子群都是子群
拉格朗日定理/循环群的子群均是循环群学习笔记原创 2020-11-05 14:35:59 · 2598 阅读 · 0 评论 -
子群的判断条件
子群的判断条件原创 2020-11-04 14:14:11 · 3769 阅读 · 0 评论 -
代数基本定义
代数基本定义一般线性群特殊线性群阶i 次单位根群周期群,无扭群,混合群子群中心元素,无中心群,中心循环群循环群,生成元一般线性群GLn(k)GL_n(k)GLn(k):数域FFF上所有nnn阶可逆矩阵的集合,关于矩阵的乘法作成群,这个群叫做一般线性群,当n>1n>1n>1时,这个群不是交换群特殊线性群SLn(K)SL_n(K)SLn(K):数域FFF上所有行列式等于 111 的 nnn 阶矩阵的集合,则 SLn(F)SL_n(F)SLn(F) 关于矩阵的乘法作成群,这个群叫做原创 2020-10-22 16:58:00 · 2949 阅读 · 0 评论 -
群的概念
群的概念半群交换半群幺半群群交换群/Abel群/加法群总结半群设SSS是一个非空集,在SSS上存在一个二元运算记为“ · ”(乘法),即对任意x,y∈Sx,y\in Sx,y∈S,总存在唯一的元x⋅y∈Sx · y\in Sx⋅y∈S与之对应,又该乘法适合结合律,则称S是一个半群交换半群一个半群的乘法如果适合交换律,则称这个半群为交换半群。幺半群如果在一个半群SSS中存在一个元素eee,使对一切a∈Sa\in Sa∈S,均有ea=ae=aea=ae=aea=ae=a则称eee是SSS的幺原创 2020-10-21 15:56:26 · 748 阅读 · 0 评论 -
群的定义
群的定义第一定义第二定义第一定义设 G 为非空集合,若存在二元运算 ( 称为乘法 ) 满足下列条件:封闭性: ∀a,b∈G,ab∈G\forall a, b \in G, a b \in G∀a,b∈G,ab∈G ;结合律: ∀a,b,c∈G,a(bc)=(ab)c\forall a, b, c \in G, a(b c)=(a b) c∀a,b,c∈G,a(bc)=(ab)c ;左单位元: ∃e∈G,∋∀a∈G,ea=a\exists e \in G, \ni \forall原创 2020-10-17 17:45:18 · 1917 阅读 · 2 评论