دالة كارمايكل

في نظرية الأعداد ، وهي فرع من فروع الرياضيات ، تُعرَّف دالة كارمايكل λ ( n ) لعدد صحيح موجب n بأنها أصغر عدد صحيح موجب m بحيث

أم1(تعديلن){\displaystyle a^{m}\equiv 1{\pmod {n}}}

ينطبق هذا على كل عدد صحيح أولي نسبيًا مع n . جبريًا، λ ( n ) هو أس المجموعة الضربية للأعداد الصحيحة بتردد n . ولأن هذه المجموعة أبيلية منتهية ، فلا بد من وجود عنصر رتبته تساوي الأس λ ( n ) . يُسمى هذا العنصر جذرًا أوليًا من نوع λ بتردد n .

دالة كارمايكل λ : λ ( n ) لـ 1 ≤ n ≤ 1000 (مقارنة بدالة أويلر φ )

سميت دالة كارمايكل على اسم عالم الرياضيات الأمريكي روبرت كارمايكل الذي عرّفها في عام 1910. [ 1 ] وهي تُعرف أيضًا باسم دالة كارمايكل λ ، ودالة المعامل المختزلة ، ودالة الأس الأقل عالمية .

رتبة المجموعة الضربية للأعداد الصحيحة بتردد n هي φ ( n ) ، حيث φ هي دالة أويلر . وبما أن رتبة أي عنصر في مجموعة منتهية تقسم رتبة المجموعة، فإن λ ( n ) تقسم φ ( n ) . يقارن الجدول التالي أول 36 قيمة لـ λ ( n ) (المتتالية A002322 في OEIS ) و φ ( n ) (مُظللة بالخط العريض إذا كانت مختلفة؛ القيم n التي تجعلها مختلفة مُدرجة في (المتتالية A033949 في OEIS ) ).

ن123456789101112131415161718192021222324252627282930313233343536
λ ( n )11224262641021264416618461022220121862843081016126
φ ( n )112242646410412688166188121022820121812288301620162412

أمثلة عددية

  • ن = 5. مجموعة الأعداد الأصغر من 5 والأعداد الأولية فيما بينها هي {1، 2، 3، 4 }. بالتالي، فإن دالة أويلر لها القيمة φ (5) = 4 ، وقيمة دالة كارمايكل، λ (5) ، يجب أن تكون قاسمًا للعدد 4. القاسم 1 لا يحقق تعريف دالة كارمايكل لأنأ11(تعديل5){\displaystyle a^{1}\not \equiv 1{\pmod {5}}}باستثناءأ1(تعديل5){\displaystyle a\equiv 1{\pmod {5}}}ولا ينطبق ذلك على الرقم 2 أيضاً، لأن223241(تعديل5){\displaystyle 2^{2}\equiv 3^{2}\equiv 4\not \equiv 1{\pmod {5}}}وبالتالي فإن λ (5) = 4. في الواقع،142434441(تعديل5){\displaystyle 1^{4}\equiv 2^{4}\equiv 3^{4}\equiv 4^{4}\equiv 1{\pmod {5}}}. كل من 2 و 3 هما جذور λ أولية modulo 5 وأيضًا جذور أولية modulo 5.
  • ن = 8. مجموعة الأعداد الأصغر من 8 والأعداد الأولية فيما بينها هي {1، 3، 5، 7} . بالتالي، φ (8) = 4، ويجب أن يكون λ (8) قاسمًا للعدد 4. في الواقع ، λ (8) = 2 لأن123252721(تعديل8){\displaystyle 1^{2}\equiv 3^{2}\equiv 5^{2}\equiv 7^{2}\equiv 1{\pmod {8}}}الجذور الأولية لـ λ بتردد 8 هي 3 و 5 و 7. لا توجد جذور أولية بتردد 8.

تكرار λ ( n )

يمكن التعبير عن دالة لامدا لكارمايكل لقوة عدد أولي بدلالة دالة أويلر. أي عدد ليس 1 أو قوة عدد أولي يمكن كتابته بشكل فريد كحاصل ضرب قوى عددية أولية مختلفة، وفي هذه الحالة يكون λ لحاصل الضرب هو المضاعف المشترك الأصغر لـ λ لقوى الأعداد الأولية. تحديدًا، يُعطى λ ( n ) بالعلاقة التكرارية التالية:

λ(ن)={φ(ن)لو ن هو 1 أو 2 أو 4 أو قوة عدد أولي فردي،12φ(ن)لو ن=2ر، ر3،المضاعف المشترك الأصغر(λ(ن1)،λ(ن2)،...،λ(نك))لو ن=ن1ن2...نك أين ن1،ن2،...،نك هي قوى أعداد أولية مختلفة.{\displaystyle \lambda (n)={\begin{cases}\varphi (n)&{\text{if }}n{\text{ is 1, 2, 4, or an odd prime power,}}\\{\tfrac {1}{2}}\varphi (n)&{\text{if }}n=2^{r},\ r\geq 3,\\\operatorname {lcm} {\Bigl (}\lambda (n_{1}),\lambda (n_{2}),\ldots ,\lambda (n_{k}){\Bigr )}&{\text{if }}n=n_{1}n_{2}\ldots n_{k}{\text{ where }}n_{1},n_{2},\ldots ,n_{k}{\text{ are powers of distinct primes.}}\end{cases}}}

دالة أويلر لقوة عدد أولي، أي عدد p r حيث p عدد أولي و r ≥ 1 ، تُعطى بالصيغة التالية:

φ(صر)=صر-1(ص-1).{\displaystyle \varphi (p^{r}){=}p^{r-1}(p-1).}

نظريات كارمايكل

أثبت كارمايكل نظريتين تُثبتان معًا أنه إذا تم اعتبار λ ( n ) كما هو مُعرَّف في العلاقة التكرارية للقسم السابق، فإنه يُحقق الخاصية المذكورة في المقدمة، وهي أنه أصغر عدد صحيح موجب m بحيثأم1(تعديلن){\displaystyle a^{m}\equiv 1{\pmod {n}}}لكل عدد أولي نسبيًا مع n .

النظرية 1 - إذا كان العدد a أوليًا نسبيًا مع العدد n، فإنأλ(ن)1(تعديلن){\displaystyle a^{\lambda (n)}\equiv 1{\pmod {n}}}[ 2 ]

هذا يعني أن رتبة كل عنصر من عناصر المجموعة الضربية للأعداد الصحيحة بتردد n تقسم λ ( n ) . ويسمي كارمايكل العنصر a الذي يحقق الشرط التالي:أλ(ن){\displaystyle a^{\lambda (n)}}هو أصغر قوة لعدد متطابق مع 1 (mod n ) لجذر لامدا أولي modulo n . [ 3 ] (لا ينبغي الخلط بين هذا وبين الجذر الأولي modulo n ، الذي يشير إليه كارمايكل أحيانًا باسم الجذر الأولي).φ{\displaystyle \varphi }(-root modulo n .)

النظرية 2 - لكل عدد صحيح موجب يوجد جذر أولي من نوع λ بتردد n . علاوة على ذلك، إذا كان g جذرًا من هذا النوع، فإنه يوجدφ(λ(ن)){\displaystyle \varphi (\lambda (n))}الجذور الأولية من نوع λ التي تتطابق مع قوى g . [ 4 ]

إذا كانت g أحد الجذور الأولية من نوع λ التي تضمنها النظرية، فإنزم1(تعديلن){\displaystyle g^{m}\equiv 1{\pmod {n}}}لا يوجد حلول صحيحة موجبة m أقل من λ ( n ) ، مما يدل على أنه لا يوجد عدد صحيح موجب m < λ ( n ) بحيثأم1(تعديلن){\displaystyle a^{m}\equiv 1{\pmod {n}}}لكل عدد أولي نسبيًا مع n .

لا يعني البيان الثاني من النظرية 2 أن جميع الجذور الأولية من الرتبة λ بتردد n متطابقة مع قوى جذر واحد g . [ 5 ] على سبيل المثال، إذا كان n = 15 ، فإن λ ( n ) = 4 بينماφ(ن)=8{\displaystyle \varphi (n)=8}وφ(λ(ن))=2{\displaystyle \varphi (\lambda (n))=2}يوجد أربعة جذور أولية من نوع λ بتردد 15، وهي 2 و7 و8 و13 .1248474134{\displaystyle 1\equiv 2^{4}\equiv 8^{4}\equiv 7^{4}\equiv 13^{4}}الجذران 2 و8 متطابقان مع قوى بعضهما البعض، والجذران 7 و13 متطابقان مع قوى بعضهما البعض، لكن لا 7 ولا 13 متطابقان مع أي قوة من قوى 2 أو 8، والعكس صحيح. أما العناصر الأربعة الأخرى للمجموعة الضربية بتردد 15، فهي 1 و4 (التي تحقق...).4228272132{\displaystyle 4\equiv 2^{2}\equiv 8^{2}\equiv 7^{2}\equiv 13^{2}})، 11، و 14، ليست جذور λ بدائية modulo 15.

كمثال معاكس، إذا كان n = 9 ، فإنλ(ن)=φ(ن)=6{\displaystyle \lambda (n)=\varphi (n)=6}وφ(λ(ن))=2{\displaystyle \varphi (\lambda (n))=2}يوجد جذران أوليان من نوع λ بتردد 9، وهما 2 و5، كل منهما متطابق مع القوة الخامسة للآخر. وهما أيضاً أوليان.φ{\displaystyle \varphi }-جذور باقي قسمتها على 9.

خصائص دالة كارمايكل

في هذا القسم، عدد صحيحن{\displaystyle n}يقبل القسمة على عدد صحيح غير صفريم{\displaystyle m}إذا كان هناك عدد صحيحك{\displaystyle k}بحيثن=كم{\displaystyle n=km}. يُكتب هذا على النحو التالي

م|ن.{\displaystyle m\mid n.}

نتيجة لصغر قيمة λ ( n )

لنفترض أن a m ≡ 1 (mod n ) لجميع الأعداد a الأولية فيما بينها مع n . إذن λ ( n ) | m .

البرهان: إذا كان m = ( n ) + r حيث 0 ≤ r < λ ( n ) ، فإن

أر=1كأر(أλ(ن))كأر=أكλ(ن)+ر=أم1(تعديلن){\displaystyle a^{r}=1^{k}\cdot a^{r}\equiv \left(a^{\lambda (n)}\right)^{k}\cdot a^{r}=a^{k\lambda (n)+r}=a^{m}\equiv 1{\pmod {n}}}

لكل عدد أولي نسبيًا مع n . ويترتب على ذلك أن r = 0 لأن r < λ ( n ) و λ ( n ) هو أصغر أس موجب يتحقق عنده التطابق لكل عدد أولي نسبيًا مع n .

λ ( n ) يقسم φ ( n )

هذا ما يُستنتج من نظرية الزمر الأولية ، لأن أس أي زمرة منتهية يجب أن يقسم رتبة الزمرة. λ ( n ) هو أس الزمرة الضربية للأعداد الصحيحة بتردد بينما φ ( n ) هي رتبة تلك الزمرة. وبالتحديد، يجب أن يتساوى الأسان في الحالات التي تكون فيها الزمرة الضربية دورية لوجود جذر أولي ، وهو ما ينطبق على قوى الأعداد الأولية الفردية.

وبالتالي يمكننا اعتبار نظرية كارمايكل بمثابة تحسين لنظرية أويلر .

قابلية القسمة

أ|بλ(أ)|λ(ب){\displaystyle a\,|\,b\Rightarrow \lambda (a)\,|\,\lambda (b)}

دليل.

بحسب التعريف، لأي عدد صحيحك{\displaystyle k}معالقاسم المشترك الأكبر(ك،ب)=1{\displaystyle \gcd(k,b)=1}(وبالتالي أيضاً)القاسم المشترك الأكبر(ك،أ)=1{\displaystyle \gcd(k,a)=1}لدينا ذلكب|(كλ(ب)-1){\displaystyle b\,|\,(k^{\lambda (b)}-1)}وبالتاليأ|(كλ(ب)-1){\displaystyle a\,|\,(k^{\lambda (b)}-1)}وهذا يثبت أنكλ(ب)1(تعديلأ){\displaystyle k^{\lambda (b)}\equiv 1{\pmod {a}}}لكل k عدد أولي نسبيًا مع a . وبناءً على نتيجة الحد الأدنى التي تم إثباتها أعلاه، لديناλ(أ)|λ(ب){\displaystyle \lambda (a)\,|\,\lambda (b)}.

تعبير

لكل عددين صحيحين موجبين a و يكون ذلك صحيحاً.

λ(لجم(أ،ب))=لجم(λ(أ)،λ(ب)){\displaystyle \lambda (\mathrm {lcm} (a,b))=\mathrm {lcm} (\lambda (a),\lambda (b))}.

هذه نتيجة مباشرة لتكرار وظيفة كارمايكل.

طول الدورة الأسية

لورمأx=الأعلىأنا{رأنا}{\displaystyle r_{\mathrm {max} }=\max _{i}\{r_{i}\}}هو أكبر أس في التحليل إلى العوامل الأوليةن=ص1ر1ص2ر2صكرك{\displaystyle n=p_{1}^{r_{1}}p_{2}^{r_{2}}\cdots p_{k}^{r_{k}}}من n ، ثم لجميع a (بما في ذلك تلك التي ليست أولية نسبياً مع n ) وجميع rr max ،

أرأλ(ن)+ر(تعديلن).{\displaystyle a^{r}\equiv a^{\lambda (n)+r}{\pmod {n}}.}

على وجه الخصوص، بالنسبة لـ n الخالية من المربعات ( r max = 1 )، لكل a لدينا

أأλ(ن)+1(تعديلن).{\displaystyle a\equiv a^{\lambda (n)+1}{\pmod {n}}.}

القيمة المتوسطة

لأي قيمة n ≥ 16 : [ 6 ] [ 7 ]

1نأنانλ(أنا)=نlnنهـب(1+o(1))lnlnن/(lnlnlnن){\displaystyle {\frac {1}{n}}\sum _{i\leq n}\lambda (i)={\frac {n}{\ln n}}e^{B(1+o(1))\ln \ln n/(\ln \ln \ln n)}}

(يُطلق عليها تقريب إردوش فيما يلي) مع الثابت

ب:=هـ-γصP(1-1(ص-1)2(ص+1))0.34537{\displaystyle B:=e^{-\gamma }\prod _{p\in \mathbb {P} }\left({1-{\frac {1}{(p-1)^{2}(p+1)}}}\right)\approx 0.34537}

و γ ≈ 0.57721 ، ثابت أويلر-ماسكيروني .

يُقدّم الجدول التالي لمحة عامة عن أول 2 26 – 1 =67 108 863 قيمة لدالة λ ، لكل من المتوسط ​​الدقيق وتقريبه بواسطة Erdős.

بالإضافة إلى ذلك ، تُقدَّم لمحة عامة عن قيم "اللوغاريتم على اللوغاريتم" التي يسهل الوصول إليها LoL ( n ) :  = ln λ ( n ) / ln n مع

  • LoL( n ) > 4 / 5λ ( n ) > n 4 / 5 .

هناك، إدخال الجدول في الصف رقم 26 في العمود

  •  نسبة الضحك > 4 / 5  60.49

يشير ذلك إلى أن 60.49% (≈40,000,000 ) من الأعداد الصحيحة 1n 67 108 863 لها λ ( n ) > n 4 / 5 مما يعني أن غالبية قيم λ أسية في طول l := log 2 ( n ) للمدخل n ، أي 

(245)ل=24ل5=(2ل)45=ن45.{\displaystyle \left(2^{\frac {4}{5}}\right)^{l}=2^{\frac {4l}{5}}=\left(2^{l}\right)^{\frac {4}{5}}=n^{\frac {4}{5}}.}
νn = 2 ν – 1مجموعأنانλ(أنا){\displaystyle \sum _{i\leq n}\lambda (i)}متوسط1نأنانλ(أنا){\displaystyle {\tfrac {1}{n}}\sum _{i\leq n}\lambda (i)}متوسط ​​إردوشالمتوسط ​​الدقيقمتوسط ​​لعبة League of Legendsنسبة الضحك > 4 / 5نسبة الضحك > 7 / 8
5312708.70967768.6437.88130.67824441.9435.48
66396415.30158761.4144.01360.69989138.1030.16
7127357428.14173286.6053.07740.71729138.5827.56
82551299450.956863138.1902.71190.73033138.8223.53
95114803293.996086233.1492.48040.74049840.9025.05
101023178816174.795699406.1452.32350.74848241.4526.98
112047662952323.865169722.5262.23090.75488642.8427.70
1240952490948608.2901101304.8102.14500.76102743.7428.11
13819193827641145.4967652383.2632.08060.76657144.3328.60
1416383355045862167.1602274392.1292.02670.77169546.1029.52
15327671347368244111.9670408153.0541.98280.77643747.2129.15
16655355137587967839.45671815225.43 1.94220.78106449.1328.17
17131071196441359214987.40066 28576.97 1.90670.78540150.4329.55
18262143752921820828721.79768 53869.76 1.87560.78956151.1730.67
195242872893564434255190.46694 101930.9 1.84690.79353652.6231.45
201048575111393101150106232.8409 193507.1 1.82150.79735153.7431.83
212097151429685077652204889.9090 368427.6 1.79820.80101854.9732.18
2241943031660388309120395867.5158 703289.4 1.77660.80454356.2433.65
2383886076425917227352766029.1187 1345633 1.75660.80793657.1934.32
2416777215249068726559901484565.386 2580070 1.73790.81120458.4934.43
2533554431966665958654302880889.140 4956372 1.72040.81435159.5235.76
26671088633756190480865765597160.066 9537863 1.70410.81738460.4936.73

الفاصل الزمني السائد

لجميع الأعداد N وجميع الأعداد الصحيحة الموجبة nN باستثناء o ( N ) [ 8 ] (الأغلبية "السائدة"):

λ(ن)=ن(lnن)lnlnlnن+أ+o(1){\displaystyle \lambda (n)={\frac {n}{(\ln n)^{\ln \ln \ln n+A+o(1)}}}}

مع الثابت [ 7 ]

أ:=-1+صPlnص(ص-1)20.2269688{\displaystyle A:=-1+\sum _{p\in \mathbb {P} }{\frac {\ln p}{(p-1)^{2}}}\approx 0.2269688}

الحدود الدنيا

لأي عدد كبير بما فيه الكفاية N ولأي Δ ≥ (ln ln N ) 3 ، يوجد على الأكثر

شمالخبرة(-0.69(ΔlnΔ)13){\displaystyle N\exp \left(-0.69(\Delta \ln \Delta )^{\frac {1}{3}}\right)}

الأعداد الصحيحة الموجبة n ≤ N بحيث λ ( n ) ≤ ne −Δ . [ 9 ]

الحد الأدنى للطلب

لأي متتالية n 1 < n 2 < n 3 < ⋯ من الأعداد الصحيحة الموجبة ، وأي ثابت 0 < c < 1 / ln 2 ، وأي i كبير بما فيه الكفاية : [ 10 ] [ 11 ]

λ(نأنا)>(lnنأنا)جlnlnlnنأنا.{\displaystyle \lambda (n_{i})>\left(\ln n_{i}\right)^{c\ln \ln \ln n_{i}}.}

القيم الصغيرة

بالنسبة لثابت c وأي قيمة موجبة كبيرة بما فيه الكفاية A ، يوجد عدد صحيح n > A بحيث [ 11 ]

λ(ن)<(lnأ)جlnlnlnأ.{\displaystyle \lambda (n)<\left(\ln A\right)^{c\ln \ln \ln A}.}

علاوة على ذلك، فإن n من الشكل

ن=qP(q-1)|مq{\displaystyle n=\mathop {\prod _{q\in \mathbb {P} }} _{(q-1)|m}q}

لبعض الأعداد الصحيحة الخالية من المربعات m < (ln A ) c ln ln ln A . [ 10 ]

صورة الوظيفة

مجموعة قيم دالة كارمايكل لها دالة عد [ 12 ]

x(lnx)η+o(1)،{\displaystyle {\frac {x}{(\ln x)^{\eta +o(1)}}},}

أين

η=1-1+lnln2ln20.08607{\displaystyle \eta =1-{\frac {1+\ln \ln 2}{\ln 2}}\approx 0.08607}

الاستخدام في علم التشفير

تُعد دالة كارمايكل مهمة في علم التشفير نظرًا لاستخدامها في خوارزمية تشفير RSA .

برهان النظرية 1

بالنسبة لـ n = p ، وهو عدد أولي، فإن النظرية 1 تعادل نظرية فيرما الصغرى :

أص-11(تعديلص)للجميع أ عدد أولي نسبيًا لـ ص.{\displaystyle a^{p-1}\equiv 1{\pmod {p}}\qquad {\text{for all }}a{\text{ coprime to }}p.}

بالنسبة للقوى الأولية p r ، r > 1 ، إذا

أصر-1(ص-1)=1+حصر{\displaystyle a^{p^{r-1}(p-1)}=1+hp^{r}}

إذا كان هذا صحيحًا لعدد صحيح h ، فإن رفع كلا الطرفين إلى القوة p يعطي

أصر(ص-1)=1+حصر+1{\displaystyle a^{p^{r}(p-1)}=1+h'p^{r+1}}

بالنسبة لعدد صحيح آخرح{\displaystyle h'}وبالاستقراء يترتب على ذلك أنأφ(صر)1(تعديلصر){\displaystyle a^{\varphi (p^{r})}\equiv 1{\pmod {p^{r}}}}لكل عدد أولي نسبيًا مع p ، وبالتالي مع p r . وهذا يثبت النظرية لـ n = 4 أو أي قوة عدد أولي فردي.

تحسين النتيجة لقوى أعلى من العدد اثنين

بالنسبة لعدد أولي نسبيًا مع (قوى) العدد 2 ، لدينا a = 1 + 2 لعدد صحيح . ثم،

أ2=1+4ح2(ح2+1)=1+8(ح2+12)=:1+8ح3{\displaystyle a^{2}=1+4h_{2}(h_{2}+1)=1+8{\binom {h_{2}+1}{2}}=:1+8h_{3}}،

أينح3{\displaystyle h_{3}}هو عدد صحيح. عندما يكون r = 3 ، يُكتب هذا

أ2ر-2=1+2رحر.{\displaystyle a^{2^{r-2}}=1+2^{r}h_{r}.}

تربيع كلا الطرفين يعطي

أ2ر-1=(1+2رحر)2=1+2ر+1(حر+2ر-1حر2)=:1+2ر+1حر+1،{\displaystyle a^{2^{r-1}}=\left(1+2^{r}h_{r}\right)^{2}=1+2^{r+1}\left(h_{r}+2^{r-1}h_{r}^{2}\right)=:1+2^{r+1}h_{r+1},}

أينحر+1{\displaystyle h_{r+1}}عدد صحيح. ويترتب على ذلك بالاستقراء أن

أ2ر-2=أ12φ(2ر)1(تعديل2ر){\displaystyle a^{2^{r-2}}=a^{{\frac {1}{2}}\varphi (2^{r})}\equiv 1{\pmod {2^{r}}}}

للجميعر3{\displaystyle r\geq 3}وكلها أعداد أولية مشتركة مع2ر{\displaystyle 2^{r}}[ 13 ]

الأعداد الصحيحة التي لها عوامل أولية متعددة

بحسب نظرية التحليل الفريد ، يمكن كتابة أي عدد n > 1 بطريقة فريدة على النحو التالي:

ن=ص1ر1ص2ر2صكرك{\displaystyle n=p_{1}^{r_{1}}p_{2}^{r_{2}}\cdots p_{k}^{r_{k}}}

حيث p 1 < p 2 < ... < p k أعداد أولية، و r 1 ، r 2 ، ... ، rk أعداد صحيحة موجبة. تُثبت نتائج قوى الأعداد الأولية أنه، بالنسبة لـ1جك{\displaystyle 1\leq j\leq k}،

أλ(صجرج)1(تعديلصجرج)للجميع أ عدد أولي نسبيًا لـ ن وبالتالي إلى صأنارأنا.{\displaystyle a^{\lambda \left(p_{j}^{r_{j}}\right)}\equiv 1{\pmod {p_{j}^{r_{j}}}}\qquad {\text{for all }}a{\text{ coprime to }}n{\text{ and hence to }}p_{i}^{r_{i}}.}

ويترتب على ذلك أن

أλ(ن)1(تعديلصجرج)للجميع أ عدد أولي نسبيًا لـ ن،{\displaystyle a^{\lambda (n)}\equiv 1{\pmod {p_{j}^{r_{j}}}}\qquad {\text{for all }}a{\text{ coprime to }}n,}

حيث، كما هو موضح في التكرار،

λ(ن)=المضاعف المشترك الأصغر(λ(ص1ر1)،λ(ص2ر2)،...،λ(صكرك)).{\displaystyle \lambda (n)=\operatorname {lcm} {\Bigl (}\lambda \left(p_{1}^{r_{1}}\right),\lambda \left(p_{2}^{r_{2}}\right),\ldots ,\lambda \left(p_{k}^{r_{k}}\right){\Bigr )}.}

يستنتج المرء من نظرية الباقي الصينية أن

أλ(ن)1(تعديلن)للجميع أ عدد أولي نسبيًا لـ ن.{\displaystyle a^{\lambda (n)}\equiv 1{\pmod {n}}\qquad {\text{for all }}a{\text{ coprime to }}n.}

انظر أيضاً

ملحوظات

  1. كارمايكل، روبرت دانيال (1910). "ملاحظة حول دالة جديدة في نظرية الأعداد" . نشرة الجمعية الرياضية الأمريكية . 16 (5): 232-238 . doi : 10.1090/S0002-9904-1910-01892-9 .
  2. كارمايكل (1914) ص 40
  3. كارمايكل (1914) ص 54
  4. كارمايكل (1914) ص 55
  5. كارمايكل (1914) ص 56
  6. ^ النظرية 3 في اردوس (1991)
  7. 1 2 ساندور وكريستيسي (2004) ص.194
  8. ^ نظرية 2 في اردوس (1991) 3. النظام العادي. (ص 365)
  9. النظرية 5 في فريدلاندر (2001)
  10. 1 2 النظرية 1 في إردوس (1991)
  11. 1 2 ساندور وكريستيسي (2004) ص.193
  12. فورد، كيفن؛ لوكا، فلوريان؛ بوميرانس، كارل (27 أغسطس 2014). "صورة دالة لامدا لكارمايكل ". الجبر ونظرية الأعداد . 8 (8): 2009-2026 . arXiv : 1408.6506 . doi : 10.2140/ant.2014.8.2009 . S2CID 50397623 . 
  13. كارمايكل (1914) ص 38-39

مراجع