![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
近世代数
文章平均质量分 84
WeidanJi
这个作者很懒,什么都没留下…
展开
-
近世代数--群--怎么判断是不是群?
近世代数--群--群的等价定义左单位元 左逆元xa=bxa=bxa=b ay=b有解ay=b有解ay=b有解博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。对于群的定义,最基本封闭性结合性单位元逆元左单位元 左逆元封闭性结合性左单位元左逆元xa=bxa=bxa=b ay=b有解ay=b有解ay=b有解封闭性结合性xa=b,ay=bxa=b,ay=bxa=b,ay=b有解...原创 2020-11-16 15:15:15 · 4511 阅读 · 0 评论 -
近世代数--子群--怎么判断是不是子群?
近世代数--群--子群的等价定义博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。(G,⋅)(G,·)(G,⋅)是一个群,HHH是G的非空子集,下列三个式子等价:(1)H≤GH\le GH≤G(2)∀a,b∈G,ab∈G,a−1∈G\forall a,b\in G,ab\in G,a^{-1}\in G∀a,b∈G,ab∈G,a−1∈G(3)∀a,b∈G,ab−1∈G\forall a,b\in G,ab^{-1}\in G∀a,b∈原创 2020-11-17 14:21:03 · 6827 阅读 · 0 评论 -
近世代数--陪集--拉格朗日定理|G|=|H|·[G:H],传递性[G:H][H:K]=[G:K]
信息安全数学基础--群环域--拉格朗日定理先验知识定理博主是初学信息安全数学基础(整除+同余+原根+群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。先验知识群G:非空集合+代数运算:单位元+逆元+封闭性+结合性子群H:H是G的非空子集,对于G的代数运算还是满足:单位元+逆元+封闭性+结合性,记为H≤GH\le GH≤G陪集:g∈G,Hg\in G,Hg∈G,H是(G,⋅)(G,·)(G,⋅)的子群,集合{g⋅h∣h∈H}\{g·h|h\in H\}{g原创 2020-10-28 19:29:01 · 6898 阅读 · 0 评论 -
近世代数--陪集--|左陪集|=|右陪集|
近世代数--子群--|左陪集|=|右陪集|博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-11-19 15:38:55 · 16239 阅读 · 0 评论 -
近世代数--正规子群--群、同态核、同态象的大小关系
近世代数--正规子群--群、同态核、同态象的大小关系∣G∣=∣Kerφ∣∣Imφ∣|G|=|Ker\varphi||Im\varphi|∣G∣=∣Kerφ∣∣Imφ∣博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。∣G∣=∣Kerφ∣∣Imφ∣|G|=|Ker\varphi||Im\varphi|∣G∣=∣Kerφ∣∣Imφ∣...原创 2020-12-17 19:12:35 · 3996 阅读 · 0 评论 -
近世代数--商群--群和商群是一一对应的
近世代数--商群--群和商群是一一对应的博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。商群:GGG是群,N◃GN\triangleleft GN◃G,那么G/NG/NG/N就是GGG关于NNN的商群。群GGG所有包含NNN的子群,与商群G/NG/NG/N的子群一一对应。用数学符号表示:N◃G,N≤H≤G,H/N≤G/N,N\triangleleft G,N\le H\le G,H/N\le G/N,N◃G,N≤H≤G,H/N≤G/原创 2020-11-26 15:47:31 · 2658 阅读 · 0 评论 -
近世代数--群同构--第一同构定理
信息安全数学基础--群环域--群同态等价式先验知识群同态等价式f=σφ,f=\sigma\varphi,f=σφ,证明σ\sigmaσ是同构的博主是初学信息安全数学基础(整除+同余+原根+群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。先验知识正规子群:∀a∈G,H≤G,\forall a\in G,H\le G,∀a∈G,H≤G,有aH=Ha,aH=Ha,aH=Ha,则称HHH是GGG的正规子群,记作H◃G。H\triangleleft G。H◃G。原创 2020-10-29 16:45:30 · 5076 阅读 · 2 评论 -
近世代数--群同构--第二同构定理
近世代数--群同构--第二同构定理博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-11-25 15:03:13 · 4395 阅读 · 0 评论 -
近世代数--群同构--第三同构定理
近世代数--群同构--第三同构定理博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。先验知识在第一同构定理。第三同构定理:H◃G,N◃G,N⊆HH\triangleleft G,N\triangleleft G,N\subseteq HH◃G,N◃G,N⊆H,有G/H≅(G/N)/(H/N)G/H\cong (G/N)/(H/N)G/H≅(G/N)/(H/N)证明:根据第一同构定理,我们把G/NG/NG/N看作GGG,G/HG/HG/H看原创 2020-11-25 17:38:26 · 3180 阅读 · 1 评论 -
近世代数--置换群--一个置换的例子
近世代数--置换群--一个置换的例子博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。在S4S_4S4中,令K={(1),(12)(34),(13)(24)}K=\{(1),(12)(34),(13)(24)\}K={(1),(12)(34),(13)(24)},要证KKK是SSS的正规子群。首先我们要知道正规子群的几个等价定义。H◃GH \triangleleft GH◃G∀a∈G,aH=Ha\forall a\in G,aH=原创 2020-12-11 23:48:40 · 2308 阅读 · 0 评论 -
近世代数--置换群--置换permutation分解成什么?置换的级如何计算?
信息安全数学基础--群环域--置换群,对称群博主是初学信息安全数学基础(整除+同余+原根+群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。置换群:设集合MMM是一个非空集,GGG是MMM到它自身上的所有元素一一映射组成的集合,GGG对于映射的复合运算构成一个群,称为置换群。对称群:当MMM为具有nnn个元素的有限集合 时,它的全部置换所组成的群GGG也称为nnn次对称群,记为SnS_nSn。比如:M={1,2,3}M=\{1,2,3\}M={1,2,原创 2020-10-28 14:13:55 · 6001 阅读 · 0 评论 -
近世代数--置换群--判断置换的奇偶性
近世代数--群--置换的奇偶性博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。偶置换even permutation:奇置换odd permutation:...原创 2020-11-18 16:52:05 · 11618 阅读 · 1 评论 -
近世代数--循环群--怎么判断是不是循环群?
信息安全数学基础--群环域--怎么判断是不是循环群?博主是初学信息安全数学基础(整除+同余+原根+群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。三个方法:1.定义循环群:设群GGG中任意元素都可以表示成某一固定元素aaa的幂次,G={an∣n∈Z},G=\{a^n|n\in Z\},G={an∣n∈Z},那么称GGG为循环群,aaa为群GGG的生成元,写成G=<a>G=<a>G=<a>。有一个例子,目前还不是很明原创 2020-11-05 16:59:22 · 13833 阅读 · 0 评论 -
近世代数--有限交换群--存在元素的阶是群阶的素因子
近世代数--有限交换群--子群、元素的阶是有限交换群阶的因子博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-11-29 20:28:18 · 3657 阅读 · 0 评论 -
近世代数--有限交换群--存在子群的阶是群阶的因子
近世代数--有限交换群--存在子群的阶是有限交换群阶的因子设GGG为有限交换群,∣G∣=n,∀m∣n,∃H≤G,|G|=n,\forall m\mid n,{\exists}H\le G,∣G∣=n,∀m∣n,∃H≤G,使得∣H∣=m|H|=m∣H∣=m博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。设GGG为有限交换群,∣G∣=n,∀m∣n,∃H≤G,|G|=n,\forall m\mid n,{\exists}H\le G,∣G∣=n,原创 2020-12-01 15:25:03 · 2318 阅读 · 0 评论 -
近世代数--外直积--外直积是什么?关于阶的性质?
近世代数--外直积和内直积--基本性质博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-12-13 15:48:31 · 1735 阅读 · 1 评论 -
近世代数--内直积--内直积是什么?充要条件?
近世代数--内直积--内直积是什么?充要条件?博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。通过直积,我们可以把若干个小群组合成一个大群,也可以把一个大群分解成一些子群的乘积。内直积:(internal direct product)H◃G,K◃GH\triangleleft G,K\triangleleft GH◃G,K◃G,G=HKG=HKG=HKH∩K={e}H\cap K=\{e\}H∩K={e}则GGG是HHH和KK原创 2020-12-13 16:57:58 · 2368 阅读 · 0 评论 -
近世代数--内外直积--本质是一样的
近世代数--内外直积--本质是一样的博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-12-13 19:57:28 · 1418 阅读 · 0 评论 -
近世代数--环--环的一些基本概念
信息安全数学基础--群环域--关于环的一堆概念:环,幺元,含幺环,交换环,零元,零因子,整环,除环,域,子环,理想,商环博主是初学信息安全数学基础(整除+同余+原根+群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。环:(R,+,⋅),∀a,b,c∈R(R,+,·),\forall a,b,c\in R(R,+,⋅),∀a,b,c∈R“+”“+”“+”满足交换律,a+b=b+aa+b=b+aa+b=b+a“⋅”“·”“⋅”满足结合律,a⋅(b⋅c)=(原创 2020-11-05 20:15:51 · 8682 阅读 · 0 评论 -
近世代数--子环--怎么判断是不是子环?
近世代数--子环--怎么判断是不是子环?博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-12-14 19:26:16 · 5944 阅读 · 1 评论 -
近世代数--整环--高斯整环
近世代数--整环--高斯整环博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。高斯整环是一类重要的整环,高斯(Gauss)最先对这个环进行研究,从而开创了代数数论的研究领域。这里有简单描述整环的基本概念。...原创 2020-12-15 13:23:57 · 7884 阅读 · 0 评论 -
近世代数--整环与域--有限的整环是域
近世代数--整环与域--有限的整环是域博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。这里是整环和域的概念整环:除环:域:有限的整环是域:...原创 2020-12-15 15:10:09 · 10631 阅读 · 1 评论 -
近世代数--除环与域--四元数体
近世代数--除环与域--四元数体博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。四元数体是爱尔兰数学家哈密顿(W.R.Hamilton)于1843年发现的,是数学史上一件划时代的事件,把代数学从传统算术中解放出来,开启现代代数学的发展。...原创 2020-12-15 15:09:39 · 4927 阅读 · 2 评论 -
近世代数--主理想--主理想的组成
近世代数--理想--主理想的组成博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。原创 2020-12-16 19:14:54 · 8133 阅读 · 6 评论 -
近世代数--素理想--I是R的素理想↔R/I是整环
近世代数--素理想--I是R的素理想↔R/I是整环博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。↔\leftrightarrow↔原创 2020-12-21 10:56:03 · 3089 阅读 · 0 评论 -
近世代数--极大理想--I是R的极大理想↔R/I是域
近世代数--极大理想--I是R的极大理想↔R/I是域博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。↔\leftrightarrow↔原创 2020-12-21 10:56:59 · 5409 阅读 · 0 评论 -
近世代数--素理想和极大理想--有单位元的交换环,每个极大理想都是素理想
近世代数--素理想和极大理想--有单位元的交换环,每个极大理想都是素理想博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。商环类似商群,通过对环、理想限制某些条件,可以构造出不同特点的环。现在我们通过素理想,构造整环;通过极大理想,构造域。...原创 2020-12-22 14:30:06 · 4617 阅读 · 1 评论 -
近世代数--环同态--环同态基本定理
近世代数--环同态--环同态基本定理博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-22 19:43:05 · 6739 阅读 · 1 评论 -
近世代数--环同态--环的第二同构定理
近世代数--环同态--环的第二同构定理博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-22 21:08:43 · 2835 阅读 · 0 评论 -
近世代数--环同态--环的扩张定理
近世代数--环同态--环的扩张定理博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-23 00:31:57 · 2129 阅读 · 0 评论 -
近世代数--特征--环的特征,域的特征
近世代数--特征--环的特征,域的特征博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-23 15:15:53 · 8603 阅读 · 0 评论 -
近世代数--整环的商域--整环D扩充为域Q
近世代数--整环,域--整环扩充为域博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-28 23:56:06 · 2659 阅读 · 0 评论 -
近世代数--整环上的唯一分解问题--相伴是整环上的等价关系,最大公因子建立在相伴所划分的等价类上
近世代数--整环上的唯一分解问题--相伴是整环上的等价关系博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。相伴:DDD为整环,a,b∈D,a∣b,b∣a,a,b\in D,a\mid b,b\mid a,a,b∈D,a∣b,b∣a,则称aaa与bbb相伴,记作a∼ba\sim ba∼b。相伴是整环上的一种等价关系,对元素的划分。iii是不可约元↔i=ab→i∼a,b∈U\leftrightar原创 2021-01-06 15:13:49 · 1949 阅读 · 0 评论 -
近世代数--整环上的唯一分解问题--唯一分解整环上有算术分解定理
近世代数--唯一分解整环博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-29 17:12:39 · 3470 阅读 · 0 评论 -
近世代数--整环上的唯一分解问题--唯一分解整环中元素的标准分解式
近世代数--整环上的唯一分解问题--唯一分解整环中元素的标准分解式博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-31 16:10:03 · 1648 阅读 · 0 评论 -
近世代数--整环上的整除理论--主理想整环中最大公因子的存在表示定理
近世代数--主理想整环博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-29 17:13:17 · 3098 阅读 · 0 评论 -
近世代数--整环上的整除理论--欧几里得整环中的带余除法定理
近世代数--欧几里得整环博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2020-12-29 17:13:54 · 2333 阅读 · 0 评论 -
近世代数--多项式环--未定元的存在性
近世代数--多项式环博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。原创 2020-12-29 20:43:14 · 2731 阅读 · 1 评论 -
近世代数--唯一分解整环上的多项式环--本原多项式
近世代数--唯一分解整环上的多项式环--本原多项式博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2021-01-06 13:30:54 · 2425 阅读 · 0 评论 -
近世代数--唯一分解整环上的多项式环--本原多项式的可约问题
近世代数--唯一分解整环上的多项式环--本原多项式的可约问题博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。我整理成一个系列:近世代数,方便检索。...原创 2021-01-07 20:19:26 · 863 阅读 · 0 评论