素数p下(Zₚ,+ₚ,•ₚ)为域的证明问询（含逆元证明需求）
没问题，我帮你拆解这两个证明任务，一步步来理清楚思路：
域的定义是交换环 + 每个非零元素存在乘法逆元，所以咱们分三步走：先证加法交换群，再证乘法满足交换环要求，最后补上非零元的逆元存在性。
第一步：证明(Zₚ, +ₚ)是加法交换群
要满足群的核心条件，再加上交换性：
- 封闭性：对任意a,b ∈ Zₚ，(a + b) mod p 的结果必然在0到p-1之间，属于Zₚ，加法封闭性成立。
- 结合律：((a +ₚ b) +ₚ c) = (a + b + c) mod p = (a +ₚ (b +ₚ c))，整数加法的结合性直接保证这一点。
- 单位元存在：0就是加法单位元，对任意a ∈ Zₚ，a +ₚ 0 = a mod p = a。
- 逆元存在：对任意a ∈ Zₚ，若a≠0，逆元是p - a；若a=0，逆元是0本身。因为a +ₚ (p - a) = p mod p = 0，完全符合逆元定义。
- 交换性：a +ₚ b = (a + b) mod p = (b + a) mod p = b +ₚ a，整数加法交换性直接导出。
第二步：证明(Zₚ, •ₚ)满足交换环的乘法要求
结合已经证好的加法群，只要乘法满足以下条件，就能构成交换环：
- 封闭性：对任意a,b ∈ Zₚ，(a × b) mod p 的结果在0到p-1之间，属于Zₚ，乘法封闭。
- 结合律：((a •ₚ b) •ₚ c) = (a × b × c) mod p = (a •ₚ (b •ₚ c))，整数乘法结合性保证成立。
- 交换性：a •ₚ b = (a × b) mod p = (b × a) mod p = b •ₚ a，整数乘法交换性直接导出。
- 分配律：左分配律
a •ₚ (b +ₚ c) = (a × (b + c)) mod p = (ab + ac) mod p = (a •ₚ b) +ₚ (a •ₚ c)；右分配律同理成立，整数乘法对加法的分配律直接支撑这一点。
第三步：补上非零元的乘法逆存在性
这部分是任务2的核心，咱们放在任务2里详细推导，这里只要明确它成立，就能完成域的证明。
综上，(Zₚ,+ₚ,•ₚ)满足交换环+非零元有逆的条件，因此是域。
这里有两种常用且直观的思路：
方法1：利用贝祖（Bézout）恒等式
因为p是素数，对于任意非零元a ∈ Zₚ，a的取值范围是1到p-1，所以a和p的最大公约数gcd(a,p)=1（素数的因数只有1和自身，a小于p且不为0，不可能整除p）。
根据贝祖恒等式：对于互质的两个整数a和p，存在整数x和y，使得
a×x + p×y = 1
把等式两边同时对p取模，p×y mod p = 0，因此得到：a •ₚ x ≡ 1 mod p
这说明x mod p 就是a的乘法逆元——它和a相乘模p等于1，且x mod p必然属于Zₚ，所以逆元存在。
方法2：利用有限集合的单射性质
对于非零元a ∈ Zₚ，考虑集合S = {a•ₚ1, a•ₚ2, ..., a•ₚ(p-1)}，也就是a和所有非零元相乘的模p结果。
首先证明S里的元素互不相同：假设a•ₚi = a•ₚj，那么a×(i-j) ≡ 0 mod p。因为p是素数，且a≠0（即p不整除a），所以p必须整除(i-j)。但i和j都在1到p-1之间，|i-j| < p，因此只能是i-j=0，即i=j。
这说明S是一个包含p-1个不同元素的集合，而Zₚ的非零元正好有p-1个，所以S就是Zₚ的所有非零元集合。那么1必然在S中，也就是说存在某个k ∈ {1,2,...,p-1}，使得a•ₚk = 1，这个k就是a的乘法逆元。
内容的提问来源于stack exchange，提问作者user508518
