合数是绝对假素数的充要条件.pdfVIP

总 35 卷　第 4 期 数　学　研　究 V ol. 35　N o. 4 2002 年 12 月 Journal of M athem atical Study D ec. 2002 合数是绝对假素数的充要条件 袁 新 梅　　李 鹤 年 (江西宜春学院数学系, 江西 宜春 336000) 摘　要　利用正整数模的特征数这一新概念给出了合数是绝对假素数的充要条件. 以此为据, 证明了绝对假素数是奇数, 它无异于 1 的平方因数, 并且至少是三个互异的奇素数的乘积; 还给出了 两个绝对假素数或两个大于 1 的奇数的乘积是绝对假素数的充要条件. 关键词　简化剩余系; 二次剩余; 正整数的标准分解式 中图分类号　 156. 1 　　　　文献标识码　 O A 1　引言和引理 p ( ) 众所周知, 当p 是素数时, 对一切整数 a 来说, 同余式a ≡a m odp 成立. 这就是数论中 ( ) 著名的费马 F erm at 定理. 同样, 众所周知, 费马定理没有逆定理. 即是说, 对一切整数 a 来 m ( ) 说, 使同余式 a ≡a m odm 成立的正整数m 不一定是素数, 它可以是合数. 如 561 = 3 ×11 × 17, 2821 = 7 × 13 ×31, 10585 = 5 ×29 ×73, 15841 = 7 ×31 ×73 就是具有这种性 质的合数. 由于这种合数m 与素数p 有这样一个相同的性质, 因此称它为一种假素数. m ( ) 定义 1　 对一切整数a 来说, 使同余式a ≡a m odm 成立的合数m 称为绝对假素数或卡 ( ) 米契尔 Carm ich eal 数. 本文将利用文献[3 ] 与[4 ] 中两个新概念——二次剩余函数及正整数模的特征数——来 讨论绝对假素数的性质. S ( ) 定义2　 假定m 是大于 1 的整数, 对一切与m 互素的整数a 来说, 使同余式a ≡1 m odm 成立的最小正整数S 称为模m 的特征数. 性质 1　 已知S 是模m 的特征数. 对一切与m 互素的整数a 来说, 若正整数 t 使同余式at ( ) ≡ 1 m odm 成立, 则S t. ( ) ( ) 定义 3　 二次剩余函数 r m 是定义在正整数集合上的函数, 它在正整数m 上的值 r m 是模m 的任一简化剩余系里全部模m 的二次剩余的个数. ( ) 显然, 由同余的性质知, r m 的值由m