伽罗华有限域_伽罗华域（Galois Field）上的四则运算

伽罗华域(Galois Field)上的四则运算

Évariste Galois ，伽罗华(也译作伽瓦罗)，法国数学家，群论的创立者。用群论彻底解决了根式求解代数方程的问题，而且由此发展了一整套关于群和域的理论。

本文介绍伽罗华域，以及在伽罗华域上的四则运算方式。伽罗华域上的四则运算实际上是多项式计算，后文中详细介绍。

一、相关数学概念

1、域

一组元素的集合，以及在集合上的四则运算，构成一个域。其中加法和乘法必须满足交换、结合和分配的规律。加法和乘法具有封闭性，即加法和乘法结果仍然是域中的元素。

域中必须有加法单位元和乘法单位元，且每一个元素都有对应的加法逆元和乘法逆元。但不要求域中的 0有乘法逆元。

2、有限域

仅含有限多个元素的域。因为它由伽罗华所发现，因而又称为伽罗华域。

所以当我们说伽罗华域的时候，就是指有限域。

GF(2w)表示含有2w个元素的有限域。

3、单位元

Identity Element，也叫幺元(么元)，通常使用e来表示单位元。单位元和其他元素结合时，并不会改变那些元素。

对于二元运算，若ae=a，e称为右单位元；若ea=a，e称为左单位元，若ae=e*a=a，则e称为单位元。

4、逆元

对于二元运算，若ab=e，则a称为b的左逆元素，b称为a的右逆元素。若ab=ba=e，则称a为b的逆元，b为a的逆元。

5、本原多项式

域中不可约多项式是不能够进行因子分解的多项式， 本原多项式 (primitive polynomial)是一种特殊的不可约多项式。当一个域上的本原多项式确定了，这个域上的运算也就确定了。本原多项式一般通过查表可得，同一个域往往有多个本原多项式。

通过将域中的元素化为多项式形式，可以将域上的乘法运算转化为普通的多项式乘法再模本原多项式。

二、多项式运算

由于GF(2w)上的四则运算是基于多项式运算的，这里先介绍多项式运算。

多项式一般长这个样子：f(x) = x6 + x^ 4 + x2 + x + 1。

1、多项式加减法

将两个多项式中相同阶数的项系数相加或相减。

例如 (x2 + x ) + (x + 1) = x2 + 2x +1

2、多项式乘法

将其中一个多项式的各项分别与另一个多项式的各项相乘，然后把相同指数的项的系数相加。

例如 (x2 + x) * (x + 1) = x2 * (x + 1) + x * (x + 1) = x3 + x2 + x2 + x

3、多项式除法

使用长除法。例如计算x3-12x2-42，除以x-3。使用长除法计算，商x2-9x-27，余数-123。

4、GF(2w)上的多项式运算

对于GF(2w)上的多项式计算，多项式系数只能取 0或1。(如果是GF(3w)，那么系数可以取 0、 1、 2)