网安自学之路-信息安全数学基础（二）-环

前言

本人跨专业考研上岸网络空间安全专业，本科期间除了C语言外完全0基础，为了研究生期间跟得上学校进度，开启自学之路。在知乎上找了找经验，买了本《深入浅出密码学》开始入门密码学。看了不到两章，就被用到的整数环、mod运算给难住了，遂又开始补习密码学所需要的数学基础。为了保持自己的学习动力和加强记忆，开始随学习进度更新学习笔记和个人理解。
Tip:课程为哈尔滨工业大学韩琦老师所讲的信息安全数学基础课程，笔记也是本人所做该课程的随堂笔记。文章中包含个人为方便记忆所做的个人理解，因本人水平有限，疏漏或理解错误在所难免，欢迎批评指正！

二、环

群是针对三元组而言的，内部分别是（集合，集合上的二元运算，集合内某元），但实际的集合中可能包含多种集合上的二元运算（加和乘是可能出现在同一集合中的）和具有特殊性质的集合内某元（0或1都是一种很特殊的元）。将三元组拓展为五元组后，通过判别条件R1—R6我们就可以定义更多结构，并讨论他们的性质。

由此可以看出五元组的结构为（集合，集合上的二元运算（加），集合上的二元运算（乘），零元，单位元）。将五元组中的加法群或乘法群单独拉出来判别可以得到如下定义：

蓝色笔记是个人理解：当满足R4时，即满足群条件的G1、G2、G4，也就是满足了R2的条件G1、G2，故在此记R4包含R2。同理，当满足R6时，（R*，·，1）为交换群，那么其必定是群，满足R5；同时，群和半群的差异就在于逆元条件G3，当交换群（R*，·，1）的集合增加一个没有逆元的元0后，自然变为交换半群，满足R4。因此，R6包含了R4和R5条件。
两个可以加深判别条件R1—R6理解的实际例子：

随后又出现了几个定义和一个例子。在第三章中出现过整环，但是理想和主理想还没出现过，效果上看，感觉是一种可以通过运算达到“禁锢在群I内”效果的特殊定义，可能以后用得到？整数环的例子在密码学书籍中多次出现，总算是一睹真容了。

随后是重头戏，环上多项式的定义：

之后又补充定义了环上多项式的加和乘运算：

又定义环上多项式集合，又定义其上的加、乘运算，之后要干嘛？肯定是组合成五元组定义多项式环啊！

略去的证明直接跟着上述Prove就可以。
老师补充了一个关于环上多项式加、乘后次数但有点问题的定理：

如图，随手就能举个反例，故具体问题具体分析吧，这个也好算。