Math & Numbers

模 n 乘法阶计算器（乘法群元素阶）

求元素 a 模 n 的乘法阶 ord_n(a)——使 a^k ≡ 1 (mod n) 的最小 k ≥ 1（要求 gcd(a, n) = 1）。算法从 φ(n) 出发逐个剥去素因子并测试 a^(ord/p)，输出 a 的幂表、最小性证明（对每个整除 k 的素数 p 验证 a^(k/p) ≢ 1）、生成的循环子群 <a>，并标注 a 是否为原根（ord = φ(n)）或达到最大阶（ord = λ(n)）。经典例：ord_7(3) = 6 = φ(7)，3 是 mod 7 的原根；ord_15(2) = 4 < φ(15) = 8。