免费模运算结合性计算器

探索模运算的结合性及其他性质

模算术中的一个关键问题是“模运算可结合吗？”模加法和模乘法都表现出强烈的代数性质，包括结合律、交换律和分配律。本文在剩余类上定义这些运算，验证每个性质，并给出模乘法结合律的逐步证明。（使用在线模运算性质计算器可以快速确认这些结果。）

定义模运算

设 $n$ 为正整数。整数 $x$ 模 $n$ 的剩余类记作 $[x]$，表示所有与 $x$ 同余的数（即所有形如 $x + nk$ 的整数，其中 $k$ 是整数）。在这些类上定义两种基本运算：

• 模加法： $[a] + [b] = [a+b]$。同样地，$(a + b) \bmod n = ((a \bmod n) + (b \bmod n)) \bmod n$。
• 模乘法： $[a] \cdot [b] = [a \cdot b]$。同样地，$(a \cdot b) \bmod n = ((a \bmod n) \cdot (b \bmod n)) \bmod n$。

结合律

如果一个运算满足改变括号顺序不改变结果，则该运算具有结合律。模加法和模乘法都满足结合律：

• 加法： $([x] + [y]) + [z] = [x] + ([y] + [z])$。
• 乘法： $([x] \cdot [y]) \cdot [z] = [x] \cdot ([y] \cdot [z])$。

模乘法结合律的证明

从左侧开始，重复应用模乘法的定义：

$$\begin{aligned} ([x] \cdot [y]) \cdot [z] &= [x \cdot y] \cdot [z] \quad \text{(definition)} \\ &= [(x \cdot y) \cdot z] \quad \text{(again by definition)} \\ &= [x \cdot (y \cdot z)] \quad \text{(associativity of integer multiplication)} \\ &= [x] \cdot [(y \cdot z)] \quad \text{(definition)} \\ &= [x] \cdot ([y] \cdot [z]) \quad \text{(definition)}。 \end{aligned}$$

因为从左侧推导出了右侧，所以该性质成立。加法的证明使用整数加法的结合律，采用类似的模式。

交换律

如果一个运算满足操作数的顺序不影响结果，则该运算满足交换律。同样，两种运算都满足交换律：

$$[x] + [y] = [y] + [x], \qquad [x] \cdot [y] = [y] \cdot [x]。$$

这些直接由普通整数加法和乘法的交换律结合模运算定义得出。

乘法对加法的分配律

分配律将两种运算联系起来。模乘法对模加法在两个方向上都满足分配律：

$$([x] + [y]) \cdot [z] = [x] \cdot [z] + [y] \cdot [z], \qquad [x] \cdot ([y] + [z]) = [x] \cdot [y] + [x] \cdot [z]。$$

验证第一个等式：

$$\begin{aligned} ([x] + [y]) \cdot [z] &= [x + y] \cdot [z] \quad \text{(addition definition)} \\ &= [(x + y) \cdot z] \quad \text{(multiplication definition)} \\ &= [x \cdot z + y \cdot z] \quad \text{(distributivity of integers)} \\ &= [x \cdot z] + [y \cdot z] \quad \text{(addition definition)} \\ &= [x] \cdot [z] + [y] \cdot [z] \quad \text{(multiplication definition)}。 \end{aligned}$$

第二个等式用类似的方法证明。

总结

模加法和模乘法既满足结合律也满足交换律，并且乘法对加法满足分配律。这些性质使模运算成为一个结构良好的代数系统。无论您是在测试这些概念的学生，还是在密码学或计算机科学中应用它们的专业人士，交互式工具（如模运算性质计算器）可成为验证任意模数下结合律、交换律和分配律的便捷助手。