(12)第六章-指数与原根.pptVIP

§ 3 指标、二项同余方程 当模 m 有原根 g 时 , 它的既约剩余系可表为 g ? 1, g , ? , g 0 1 ? ( m ) ? 1 . 也就是说 , 对任一 a ,( a , m ) ? 1, ? 必可惟一地表为 : a ? g (mod m ),0 ? ? ? ? ( m ). 这表明当模 m 有原根时 , 通过原根 g , 模 m 的既约 剩余系与模 ? ( m ) 的完全剩余系之间可建立一一 对应的关系 . 定义 1 设模 m 有原根 g ,( a , m ) ? 1. 我们把 a ? g (mod m ),0 ? ? ? ? ( m ) 中的 ? 称为是 a 对 ? 模 m 的以 g 为底的指标 , 记作 ? m , g ( a ), 当不会 混淆时简记作 ? g ( a ) 或 ? ( a ). 性质 1 设 g 是模 m 的原根 , ( a , m ) ? 1. 若 g ? a (mod m ), 则有 h ? ? m , g ( a ) (mod ? ( m )), h 且反过来也成立 . 性质 2 设 g 是模 m 的原根 , ( ab , m ) ? 1, 则有 ? m , g ( ab ) ? ? m , g ( a ) ? ? m , g ( b ) (mod ? ( m )). 证：记 ? ( c ) ? ? m , g ( c ), 我们有 ab ? g ? ( a ) ? g ? ( b ) ? g ? ( a ) ? ? ( b ) (mod m ) ? 是模 m 的两个不同的原根 , 性质 3 设 g , g ( a , m ) ? 1. 我们有 ? m , g ? ( a ) ? ? m , g ? ( g ) ? ? m , g ( a ) (mod ? ( m )). 证 : 设 ? 1 ? ? m , g ? ( a ) , ? 2 ? ? m , g ? ( g ), ? 3 ? ? m , g ( a ). ? (mod m ), a ? g (mod m ), g ? g ? (mod m ), a ? g ? a ? g 由此及性质 1 证得 . ? , ? m , g ? ) ? 1(mod ? ( m )) 特别地 , 取 a ? g ? ( g ) ? ? m , g ( g 性质 3 刻画了对不同原根的指标之间的关系以上性质 . 表明：通常对数的运算规则 , 对指标的运算也成立 . ? 1 ? 2 ? 3 ? 3 ? 2 (mod m ). 性质 4 设 g 是模 m 的原根 , ( a , m ) ? 1. 我们有 ? m ( a ) ? ? ( m ) / ( ? m , g ( a ), ? ( m )). 由此推出 , 当 m 有 原根时 , 对每个正除数 d ? ( m ), 在模 m 的一个 既约剩余系中 , 恰有 ? ( d ) 个元素对模 m 的 指数等于 d . 特别地 , 恰有 ? ( ? ( m )) 个原根 . 当已知模 m 的一个原根 g 时 , 我们通过依次 计算 g , g , ? , g 0 1 ? ( m ) ? 1 中的 g 对模 m 的绝对最小剩余 j 或最小正剩余 , 就可得到模 m 的绝对最小既约剩 余系或最小既约正剩余系的每个元素的指标， 由此从 ? m ( a ) ? ? ( m ) / ( ? m , g ( a ), ? ( m )) 得到指数 . 把所得 这些结果，按指标的大小顺序或既约剩余系的 大小顺序来列表 . 这种表通常称为指标表 . 例 1 构造模 23 以原根 5 为底的指标表 . 设 n ? 2, 我们把同余方程 x ? a (mod m ) 称为模 m 的 n 二项同余方程 . 定义 1 设 m ? 2,( a , m ) ? 1, n ? 2. 如果同余方程 x ? a (mod m ) 有解 , 就称是 a 模 m 的 n 次剩余 , 如果无解 , n 就称是 a 模 m 的 n 次非剩余 . 定理 1 设 m ? 2,( a , m ) ? 1,( a , m ) ? 1, 及模 m 有原根 g. 那么 , 同余方程 x ? a (mod m ) 有解 , 即 a 模 m 的 n 次剩余的充要 n 条件是 ( n , ? ( m )) ? ( a ), 这里 ? ( a ) ? ? m , g ( a ) 是 a 对模 m 的以 g 为 底的指标 . 有解时恰有 ( n , ? ( m )) 个解 . 证明 : 若 x ? x 1