有限域Z₅中非零元乘法逆元存在性的证明方法问询
2026-5-19
嘿，这个问题其实有几种很清晰的证明思路，我给你整理两个最实用的：
方法1：直接枚举验证（适合小阶有限域）
因为Z₅−{0}只有4个元素：{1,2,3,4}，我们可以逐个找到满足z*x ≡ 1 (mod 5)的x：
- 当z=1时：
1*1 = 1 ≡ 1 (mod 5)，所以x=1就是逆元 - 当z=2时：
2*3 = 6 ≡ 1 (mod 5)，对应的逆元x=3 - 当z=3时：
3*2 = 6 ≡ 1 (mod 5)，对应的逆元x=2 - 当z=4时：
4*4 = 16 ≡ 1 (mod 5)，对应的逆元x=4
每个非零元素都找到了符合要求的x，直接验证成立，这种方法对于像Z₅这种规模极小的集合来说，简单粗暴又直观。
方法2：利用 Bézout 恒等式（通用数论方法）
这个方法更具一般性，适合所有质数阶的有限域Z_p：
首先回忆Bézout恒等式：若整数a和n互质，则存在整数x、y，使得a*x + n*y = 1。
对于Z₅−{0}中的任意z，z的取值是1、2、3、4，而5是质数，z和5显然互质（z都不是5的倍数）。根据Bézout恒等式，存在整数x、y，使得z*x + 5*y = 1。
将等式两边同时对5取模，5*y mod 5 = 0，因此可以得到z*x ≡ 1 (mod 5)。
这里的x可能是任意整数，但我们只需要取x mod 5的结果——这个结果必然属于Z₅，而且因为z*x ≡1 mod5，x mod5不可能是0（否则左边为0，与右边的1矛盾），所以这个x mod5就是Z₅中满足条件的元素。
这种方法不需要依赖集合的大小，哪怕是更大的质数阶有限域也能适用。
内容的提问来源于stack exchange，提问作者Sonal_sqrt
相关产品推荐
相关产品推荐
