جذر عدد صحيح

أول ألف قيمة لـ rad ( n ). rad(n) = n عندما يكون n خالياً من المربعات .

في نظرية الأعداد ، يُعرَّف جذر العدد الصحيح الموجب n بأنه حاصل ضرب الأعداد الأولية المختلفة التي تقسم n . يظهر كل عامل أولي من عوامل n مرة واحدة فقط كعامل لهذا الناتج:

رأد(ن)=ص|نص برايمص{\displaystyle \displaystyle \mathrm {rad} (n)=\prod _{\scriptstyle p\mid n \atop p{\text{ prime}}}p}

يلعب الجذر دورًا محوريًا في صياغة حدسية abc . [ 1 ]

أمثلة

الأعداد الجذرية للأعداد الصحيحة الموجبة القليلة الأولى هي

1، 2، 3، 2، 5، 6، 7، 2، 3، 10، 11، 6، 13، 14، 15، 2، 17، 6، 19، 10، 21، 22، 23، 6، 5، 26، 3، 14، 29، 30، 31، 2، 33، 34، 35، 6، 37، 38، 39، 10، 41، 42، 43، 22، 15، 46، 47، 6، 7، 10، ... (التسلسل A007947 في OEIS ) .

على سبيل المثال، 504=23327{\displaystyle 504=2^{3}\cdot 3^{2}\cdot 7}

وبالتالي راد(504)=237=42{\displaystyle \operatorname {rad} (504)=2\cdot 3\cdot 7=42}

ملكيات

الوظيفةرأد{\displaystyle \mathrm {rad} }هي ضربية (ولكنها ليست ضربية تمامًا ).

الجذر لأي عدد صحيحن{\displaystyle n}هو أكبر قاسم خالٍ من المربعات لـن{\displaystyle n}وبالتالي يوصف أيضًا بأنه النواة الخالية من المربعات لـن{\displaystyle n}[ 2 ] لا توجد خوارزمية معروفة ذات زمن متعدد الحدود لحساب الجزء الخالي من المربعات لعدد صحيح. [ 3 ]

يتم تعميم التعريف ليشمل أكبر عدد ممكن من الأشخاص.ت{\displaystyle t}-قاسم حر لـن{\displaystyle n}،رأدت{\displaystyle \mathrm {rad} _{t}}وهي دوال ضربية تعمل على قوى الأعداد الأولية كما يلي:

رأدت(صهـ)=صمأنان(هـ،ت-1){\displaystyle \mathrm {rad} _{t}(p^{e})=p^{\mathrm {min} (e,t-1)}}

القضايات=3{\displaystyle t=3}وت=4{\displaystyle t=4}يتم إدراجها في الجدولين OEIS : A007948  و OEIS : A058035  .

يظهر مفهوم الجذر في حدسية abc ، التي تنص على أنه لأيε>0{\displaystyle \varepsilon >0}، يوجد عدد محدودكε{\displaystyle K_{\varepsilon }}بحيث يكون ذلك صحيحاً بالنسبة لجميع ثلاثيات الأعداد الصحيحة الموجبة الأولية فيما بينهاأ{\displaystyle a}،ب{\displaystyle b}، وج{\displaystyle c}مُرضٍأ+ب=ج{\displaystyle a+b=c}, [ 1 ]

ج<كεراد(أبج)1+ε{\displaystyle c<K_{\varepsilon }\,\operatorname {rad} (abc)^{1+\varepsilon }}

لأي عدد صحيحن{\displaystyle n}، العناصر العديمة القوة في الحلقة المنتهيةZ/نZ{\displaystyle \mathbb {Z} /n\mathbb {Z} }جميعها مضاعفاتراد(ن){\displaystyle \operatorname {rad} (n)}.

متسلسلة ديريشليه هي

ص(1+ص1-s1-ص-s)=ن=1راد(ن)نs{\displaystyle \prod _{p}\left(1+{\frac {p^{1-s}}{1-p^{-s}}}\right)=\sum _{n=1}^{\infty }{\frac {\operatorname {rad} (n)}{n^{s}}}}

الترميز والاسم

من المرجح أن جوزيف أوسترلي هو من قدم رمز الدالة ، في نفس الورقة البحثية التي نُشرت فيها حدسية abc . [ 4 ] ويرتبط الاسم بجذر المثالي ، كما هو الحال مع جذرأنا=ص1α1صكαك{\displaystyle I=\langle p_{1}^{\alpha _{1}}\cdots p_{k}^{\alpha _{k}}\rangle }في الحلبةZ{\displaystyle \mathbb {Z} }من الأعداد الصحيحة هو بالضبطأنا=ص1صك{\displaystyle {\sqrt {I}}=\langle p_{1}\cdots p_{k}\rangle }.

مراجع

  1. 1 2 غاورز، تيموثي (2008). "الجزء الأول: حدسية ABC" . دليل برينستون للرياضيات . مطبعة جامعة برينستون. ص  681.
  2. سلون، ن. ج. أ. (محرر). "التسلسل A007947" . الموسوعة الإلكترونية لتسلسلات الأعداد الصحيحة . مؤسسة OEIS.  
  3. أدلمان، ليونارد مماكيرلي، كيفن س. (1994). "مسائل مفتوحة في تعقيد نظرية الأعداد، الجزء الثاني". نظرية الأعداد الخوارزمية: الندوة الدولية الأولى، ANTS-I، إيثاكا، نيويورك، الولايات المتحدة الأمريكية، 6-9 مايو 1994، وقائع المؤتمر . سلسلة محاضرات في علوم الحاسوب. المجلد 877. سبرينغر. الصفحات 291-322 . CiteSeerX 10.1.1.48.4877 . doi : 10.1007/3-540-58691-1_70 . ISBN    978-3-540-58691-3MR 1322733 
  4. ^ Oesterlé، Joseph (1988)، “Nouvelles Approches du “théorème” de Fermat” ، Astérisque ، Séminaire Bourbaki exp 694 (161): 165–186 ، ISSN 0303-1179 ، MR 0992208