网安自学之路-信息安全数学基础（三）-域（上）

前言

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

三、域

具有特殊性质的环可以被称作域，这种五元组在实际的数学中更加常见。它的定义和性质如下：

可以看到，数学中最常见的“域”这个概念，尽管从小用到大，但没有特别强调过。学到此才意识到它是由此定义的，包括有理数域、实数域、复数域等。
域仍然是一个很大的概念，根据域上集合所含元素数的不同，又可以分为无限域与有限域。

在计算机领域最常见的便是有限域GF（2），通过域的性质可以解释到为什么明明是域上的加法“⊕”会在计算机中用作“异或”，域上的乘法反而在计算机中作为“与”这种加法性质的表示。
在域F的运算具有以下性质：

韩老师没有给出证明，我自己尝试了一一证明，但本人并非数学专业出身，证明过程可能存在纰漏，若有问题还望指正：

至此，我们已经将“域”这个概念以及其上的运算规则理清楚了，按照环上的步骤，开始考虑“域上多项式”这个概念。（其实定义基本相同，只有多项式系数的取值范围有所差异，一个是环，另一个是域）

同样的，域上多项式的加、乘运算也是同环上多项式的加、乘运算相同，但有一种特殊的定义：带余除法。

这个定义极为重要，多项式的关系以及定义大都基于带余除法。
有了因式与倍式的概念，在研究两个多项式时就可以从这两个概念入手，引出“公因式”及“公倍式”的概念。

最高公因式与最小公倍式在定义时特别强调了“首一多项式”，我自己的思考如下：

在定义了公因式这个概念后，我们重新审视带余除法这个等式，发现了一个有趣的引理：

域上多项式集合中的两个多项式间还有什么性质呢？有一个定理极为重要，并且在证明上会引出一个特别的算法。

证明如下：

这个定理看起来不太显眼，但证明过程中所用到的这种逐步展开，再回代的数学思维是很重要的。来学个例题：


至此，我们便可以求两个多项式的最高公因式以及利用两多项式表示最高公因式的方法啦！