On $\mathbb{F}_q$-Order of Polynomials and Properties of $r$-Primitive and $k$-Normal Elements over Finite Fields

ملخص تقني: حول الرتبة $\mathbb{F}_q$ للحدوديات وخصائص العناصر $r$-الأولية و $k$-الاعتيادية فوق الحقول المنتهية

بيان المشكلة
تمتلك الحقول المنتهية، وتحديداً الامتداد $\mathbb{F}_{q^n}$ فوق $\mathbb{F}_q$، بنيتين جبريتين أساسيتين: بنية فضاء متجهي ذي $n$ بُعد وبنية زمرة ضربية دورية. وتؤدي هاتان البنيتان إلى ظهور فئات متميزة من العناصر: العناصر الأولية (مولدات الزمرة الضربية) والعناصر الاعتيادية (مولدات الفضاء المتجهي عبر مرافقاتها). وبينما تُعد الرتبة الضربية والرتبة $\mathbb{F}_q$ (الحدودية الدنيا التي تُعدم عنصراً تحت تأثير التماثل الفروفي - Frobenius automorphism) مفاهيم راسخة لعناصر الحقل، فإن تطبيقها على الحدوديات كان أقل منهجية. وتحديداً، يتناول البحث الحاجة إلى تعريف رسمي للرتبة $\mathbb{F}_q$ للحدودية واستخدام هذا المفهوم لاستقصاء الخصائص الهيكلية وتعداد العناصر والحدوديات $r$-الأولية و $k$-الاعتيادية.

المنهجية
يستخدم المؤلفون مزيجاً من التعريفات الجبرية، والتحليل الهيكلي، والعد التوليفي ضمن إطار نظرية الحقول المنتهية.

1. توسيع التعريف: يقدم البحث تعريفاً رسمياً للرتبة $\mathbb{F}_q$ لحدودية $f \in \mathbb{F}_q[x]$، ويُرمز لها بـ $\text{Ord}(f)$، وتُعرف بأنها الحدودية الوحيدة المنتظمة (monic) ذات الدرجة الأدنى بحيث تقسم $f$ التركيب $g \circ x$ (حيث يرمز $\circ$ للتركيب).
2. التحليل الهيكلي: يؤسس المؤلفون علاقات بين الرتبة $\mathbb{F}_q$ لحدودية ما والرتبة $\mathbb{F}_q$ لجذورها، لا سيما بالنسبة للحدوديات غير القابلة للاختزال. كما يحللون كيفية سلوك الرتبة $\mathbb{F}_q$ تحت عمليات الحدوديات مثل التركيب، والضرب، والقاسم المشترك الأكبر.
3. التقسيم والعد: تستخدم الدراسة مفاهيم العناصر $m$-الحرة و $g$-الحرة لتقسيم مجموعات عناصر الحقل بناءً على رتبها ورتبها $\mathbb{F}_q$. ويتم تطبيق النظرية الأولى للتشاكل على التشاكلات المعرفة بواسطة تأثيرات الحدوديات لاشتقاق صيغ العدد لركائز محددة من $\mathbb{F}_{q^n}$.
4. الخصائص الجبرية: يبحث البحث في سلوك العناصر $r$-الأولية و $k$-الاعتيادية تحت عمليات الحقل (الضرب والجمع)، وتحديداً فحص الشروط التي يتم بموجبها حفظ هذه الخصائص أو تحويلها.

المساهمات والنتائج الرئيسية

• صياغة الرتبة $\mathbb{F}_q$ للحدوديات:

  • يقدم البحث تعريفاً دقيقاً للرتبة $\mathbb{F}_q$ للحدوديات، مستلهماً ذلك من القياس على الرتبة $\mathbb{F}_q$ لعناصر الحقل.
  • تثبت الخاصية 4 أنه بالنسبة للحدودية غير القابلة للاختزال $f$، فإن $\text{Ord}(f)$ تساوي الرتبة $\mathbb{F}_q$ لجذورها.
  • توضح الخاصية 9 أن الرتبة \mathbb \mathbb{F}_q لحاصل ضرب حدوديات متباينة في القاسم المشترك الأكبر هي المضاعف المشترك الأصغر (LCM) لرتبها $\mathbb{F}_q$ الفردية.
  • تشخص الخاصية 10 الحدوديات الاعتادية: تكون الحدودية $f$ من الدرجة $m$ اعتيادية إذا وفقط إذا كانت منتظمة (monic) و$\text{Ord}(f) = x^m - 1$.

• تعداد الحدوديات:

  • تشتق الخاصية 12 صيغة لعدد الحدوديات غير القابلة للاختزال من الدرجة $n$ ذات رتبة $\mathbb{F}_q$ محددة $f$. ويكون العدد هو $\phi(f)/n$ إذا كانت رتبة $f$ (يُرمز لها بـ $\text{ord}(f)$) تساوي $n$، و $0$ بخلاف ذلك.
  • باستخدام هذه النتائج، يقدم المؤلفون صيغة مجموع صريحة لعدد الحدوديات $k$-الاعتيادية من الدرجة $n$ فوق $\mathbb{F}_q$.

• خصائص العناصر $r$-الأولية و $k$-الاعتيادية:

  • تحلل الخاصية 16 حاصل ضرب العناصر $r_1$-الأولية و $r_2$-الأولية، مبينة أنه إذا كانت رتبهما الضربيتان أولية فيما بينهما، فإن حاصل ضربهما يكون $\gcd(r_1, r_2)$-أولياً.
  • تبحث الخاصية 24 و النتيجة 25 في مقلوب العناصر الاعتادية، حيث تثبت أنه إذا كان $\alpha$ هو $(n-1)$-اعتيادي، فإن $\alpha^{-1}$ هو أيضاً $(n-1)$-اعتيادي.
  • تفحص الخاصية 26 و النتيجة 27 مجموع العناصر. إذا كان $\alpha$ و $\beta$ يمتلكان رتباً $\mathbb{F}_q$ متباينة في القاسم المشترك الأكبر $f$ و $g$، فإن $\text{Ord}(\alpha + \beta) = fg$. وبناءً على ذلك، إذا كان $\alpha$ هو $k_1$-اعتيادي و $\beta$ هو $k_2$-اعتيادي، فإن مجموعهما هو $(k_1 + k_2 - n)$-اعتيادي.

• التقسيم والمتطابقات:

  • يعرّف البحث مجموعات من العناصر بناءً على قابلية القسمة لرتبها ولرتبها $\mathbb{F}_q$ (على سبيل المثال، النظرية 17 والخاصية 20).
  • تستخدم الخاصية 19 و الخاصية 21 التشاكلات لحساب عدد مجموعات القوى $r$-الأسية ومجموعات العناصر التي تقبل القسمة على حدودية معينة من حيث رتبها $\mathbb{F}_q$.
  • توفر هذه الاشتقاقات براهين بديلة للمتطابقات الكلاسيكية المتعلقة بدالة أويلر $\phi$، وتحديداً $\sum_{d|n} \phi(d) = n$ و $\sum_{g|f} \phi(g) = q^{\deg(f)}$.

الأهمية
يزعم البحث أنه يوفر إطاراً موحداً ومنهجياً لدراسة الحدوديات غير القابلة للاختزال من خلال ربط الرتبة $\mathbb{F}_q$ للحدودية مباشرة بخصائص جذورها. يسمح هذا النهج باشتقاق صيغ تعداد صريحة للحدوديات $k$-الاعتيادية، وهو موضوع تم تعريفه سابقاً من قبل Alizadeh وآخرين ولكن لم يتم تعدادُه بشكل كامل بهذه الطريقة المحددة. علاوة على ذلك، يوسع العمل فهم العناصر $r$-الأولية و $k$-الاعتيادية من خلال تحليل تفاعلاتها الجبرية تحت الجمع والضرب، مما يقدم رؤى تركيبية جديدة لبنية امتدادات الحقول المنتهية. ويضع المؤلفون هذا العمل كتحسين للتعريفات الكلاسيكية (بالإشارة إلى Ore) ضمن السياق الحديث للحقول المنتهية، بهدف سد الفجوة بين البنى الجبرية القائمة على العناصر وتلك القائمة على الحدوديات.