常用的逆元相关知识

逆元的相关知识

1. 单位元（幺元,Identity Element,简称IE）

单位元是集合里的一种特别的元素，与该集合里的二元运算有关。当单位元和其他元素结合时，并不会改变那些元素。单位元被使用在群和其他相关概念之中。
设 (S,)为一带有一二元运算 的集合S（称之为原群），则S内的一元素e被称为左单位元若对所有在S内的a而言，ea=a；且被称为右单位元若对所有在S内的a而言，ae=a。而若e同时为左单位元及右单位元，则称之为双边单位元，又简称为单位元。
例如：加法运算中的0，乘法运算中的1。

2.逆元素

一个存在单位元素e的代数系统，如果对S内的元素a存在，使得，则称为a对运算“”的左逆元素，亦称左逆元。
一个存在单位元素e的代数系统，如果对S内的元素a存在，使得，则称为a对运算“”的右逆元素，亦称右逆元。
这里的左逆元和右逆元是针对给定运算的某个元素而言的。我们说某个元素有没有逆元素，而不能说某个代数系统有没有逆元素。另外还需要说明：
(1)一个元素可以没有左逆元和右逆元；
(2)一个元素可以只有左逆元；
(3)一个元素可以只有右逆元；
(4)一个元素可以既有左逆元，又有右逆元。

逆元

在mod运算中的逆元素，a*b≡1（mod p），a，b互为逆元，a=b^-1 mod p
求逆元的方法：
a. 扩展欧几里得（略）
a*b ≡1 (mod p) 等价于 a*b+kp=1
利用gmpy2扩展库求解。
b. 费马小定理（欧拉定理）
i. 费马小定理：
条件：公式ab≡1（mod p）中，1）p为素数，2）gcd（a，p）=1
则可得a^(p-1)≡1（mod p）,可得a*a^(p-2)≡1（mod p）。
知逆元b=a^(p-2)
ii. 欧拉定理：
欧拉函数：任意给定正整数n，计算在小于等于n的正整数之中，有多少个与n构成互质关系？计算这个值的方法就叫做欧拉函数，以φ(n)表示.
欧拉函数有定理如下：
1) 如果n可以分解成两个互质的整数之积，即n=p×q，则有：φ(n)=φ(pq)=φ( p )φ( q );
2) 当p为质数，φ( p )=p-1
这两个定理常用于RSA加密中
欧拉定理：若a、p互素，则有aφ§≡1(modp)aφ§≡1(modp)(费马小定理的一般形式)
aφ§∗a≡1(modp)aφ§∗a≡1(modp)
aφ§−1aφ§−1就是a在mod p意义下的逆元。
还有其它的方法，暂时没有列出（还没学会）
参考链接：
逆元（推导 + 证明 + 求法） + 阶乘逆元（超基础，超详细)
逆元的求法总结（3种基本方法+4种实现）
三种求逆元总结（模板）