الاثنين، 19 نوفمبر 2018

التطابق المطابق لباور


السماح T (م)للدلالة على مجموعة من فاي (م)الأرقام أقل من 
 حدد
 f_m (x) = product_ (t in T (m)) (xt).
(1)
ثم تنص نظرية لاغرانج ذلك
 f_p (x) = x ^ (phi (p)) - 1 (mod p)
(2)
 (هاردي ورايت 1979، ص. 98).
 في الواقع ، هذه العلاقة تحمل لبعض القيم المركبة كذلك.
 القيمة التي تحملها هي ن = 1، 3 ، 4 ، 5 ، 6 ، 7 ، 10 ، 11 ، 13 ، 17 ، 19 ، 23 ، 29 ، ... 
(OEIS A158008 ).
يمكن تعميم هذا على النحو التالي. اسمحوا صيكون 
رئيس الغريب المقسوم عليه من مو ص ^ أأعلى سلطة الذي يقسم م، ثم
 f_m (x) = (x ^ (p-1) -1) ^ (phi (m) / (p-1)) (mod p ^ a)
(3)
وعلى وجه الخصوص،
 f_ (p ^ a) (x) = (x ^ (p-1) -1) ^ (p ^ (a-1)) (mod p ^ a).
(4)
الآن، إذا م> 2هو حتى و 2 ^ أ
هو أعلى سلطة من 2 أن يقسم م، ثم
 f_m (x) = (x ^ 2-1) ^ (phi (m) / 2) (mod 2 ^ a)
(5)
وعلى وجه الخصوص،
 f_ (2 ^ a) (x) = (x ^ 2-1) ^ (2 ^ (a-2)) (mod 2 ^ a).
(6)

ليست هناك تعليقات:

إرسال تعليق