模n剩余类环的可逆元素求解（MATLAB）

模$n$剩余类环$Z_n$的可逆元素求解（MATLAB）

群环域的介绍

1、群（Group）的概念可以理解为：一个集合以及定义在这个集合上的二元运算，满足群的四条公理，封闭性、结合性、单位元、逆元素。
封闭性即集合内的元素做二元运算所得到的结果仍在这个集合内。
结合性即对集合内的元素a,b,c满足a+(b+c)=(a+b)+c
单位元即存在一个元素e对二元运算“+”满足e+a = a+e=a
可逆元即对集合内的元素a存在一个元素b满足a+b=b+a=e

阿贝尔群(Abelian Group)即可交换群是在满足群的基础上在加上一个可交换的属性。
可交换性即对集合内的元素a,b对二元运算.满足a+b=b+a

在群的基础上还有环和域的概念，在此简单介绍。
2、环(Ring)是在阿贝尔群的基础上，添加一种二元运算“.”·(乘法，但不同于初等代数的乘法)，“.”需要满足封闭性，结合性，除此之外，“+”与“.”满足分配律，其代数结构是环(R, +, ·)
分配律即对集合内的元素a,b,c有a.(b+c)=(a.b)+(a.c)

注意此时加法的单位元e被记做0元素

3、域(Field)是在交换环的基础上，还增加了二元运算除法，要求元素(除零以外)可以作除法运算，即每个非零的元素都要有乘法逆元。由此可见，域是一种可以进行加减乘除(除0以外)的代数结构，是数域与四则运算的推广。
注意整数集合不是域，因为整数的倒数不是整数。有理数、实数、复数可以形成域，分别叫有理数域、实数域、复数域。

从群到环，再到域，可以说是一个条件逐渐收敛的过程。

如果想了解更多的群环域知识，可以找一本近世代数的书籍进行观看阅读

模n剩余类环的介绍

模n剩余类环是在数论中模运算的基础上构成环的，在此简单介绍一下取模运算。

定理1
假设a和b均为正数，m是一正整数，若m整除b-a，则可将其表示为a=b(mod m)。式a=b(mod m)读作：“a与b模m同余”，正整数m称为模数。
注意上述定理中的“=”实为恒等于，笔者没有表示出来。

令$Z_n$表示集合{0,1,…,n-1},在其上定义加法和乘法运算，其运算类似于普通的实数域上的加法和乘法，所不同的知识所得到的值都是取模后的余数。
例如在$Z_9$上计算$7$