Z/nZ · 陪集与乘法
哪些输入会落到同一个类？
求 ax = b 时，先看看“乘以 a”把不同的 x 送到哪里。输入端每个数都是一个模 n 的类。
d = gcd(a,n)是否 d ∣ b解的个数解在模 n 中的间距
沿着纤维找全部解
点选输入端的解。红色首行的目标是 b；同一行的输入拥有相同输出。再次点选可取消标记。图中列出非空纤维及目标纤维，未列出的输出没有原像。
输入 [x] →输出 [ax]
整数换了，类变了吗？
点数轴上的整数，选中它所属的类。颜色只作辅助，方括号中的余数才是类的标签。
输入类 的代表
系数类 的代表
相差 n 的整数属于同一陪集。代表相乘所得整数可以不同，但两个乘积的差仍是 n 的倍数。