ضوابط ومعايير الأعداد الأولية فيما بينها طوبولوجيّاً
المقايسة التحليلية لخصائص التباين وقيد التجريد الاختزالي صلب الفضاء $\mathbb{Z}$
1. التأسيس الاصطلاحي للأعداد الأولية فيما بينها (Coprime Numbers)
يُقيد الاصطلاح الرياضي صلب نظرية الأعداد الثنائي الصحيح النسبي $(a, b)$ بكونهما أوليين فيما بينهما إذا وفقط إذا انحصر قاسمها المشترك الأكبر عند العنصر الحيادي الأحادي الحاد صلب النطاق الطبيعي:
$\text{PGCD}(a, b) = 1$
النموذج التحليلي المعاير: معايرة المقدارين $8$ و $15$. تستقر المجموعة الشاملة لقواسم العدد $8$ عند $\mathcal{D}_8 = \{1, 2, 4, 8\}$، في حين تستقر قواسم العدد $15$ عند $\mathcal{D}_{15} = \{1, 3, 5, 15\}$. ويثبت استقراء المجموعتين انحصار نطاق التقاطع صلب المجموعة الأحادية المحدودة: $\mathcal{D}_8 \cap \mathcal{D}_{15} = \{1\}$.
2. التوصيف الهيكلي للكسور غير القابلة للاختزال (Irreducible Fractions)
تؤول العبارة الكسرية $\frac{a}{b}$ (حيث $b \in \mathbb{Z}^*$) نظاميّاً إلى وصف كسر غير قابل للاختزال إذا وفقط إذا تحقق الشرط الحاصم المتمثل في أولية بسطه ومقامه فيما بينهما طوبولوجيّاً.
تُمثل هذه الخاصية البنيوية المحدد الديدكتيكي المعتمد لضمان استقرار العبارات الجبرية صلب الأنماط النهائية الموحدة دون إمكانية للاستنزال التحليلي الموالي.
3. مبرهنة التجرد الاختزالي وتحقيق الأولية المتبادلة
لأجل أي ثنائية عددية $(a, b)$ خاضعة للمعايرة الخوارزمية $d = \text{PGCD}(a, b)$، تقضي المبرهنة الجبرية بأن اختزال المقادير بقسمتها على عاملها المشترك الأكبر $d$ يؤول حتماً بالثنائية المستحدثة إلى استيفاء قيد الأولية المتبادلة:
$\text{PGCD}\left(\frac{a}{d}, \frac{b}{d}\right) = 1$
حظر الخلط الاصطلاحي صلب الأهلية الأولية: يُلزم الطالب منهجيّاً بالفصل الصارم بين التوصيف الذاتي لـ العدد الأولي (Prime Number - وهو المقدار الذي لا يقبل القسمة إلا على نفسه وعلى الواحد الصحيح صلب النطاق الطبيعي)، والتوصيف البنيوي المشترك للأعداد الأولية فيما بينها (Coprime)؛ لكون الأهلية الذاتية للمقادير لا تؤثر على علاقتهما التبادلية؛ فالعدد $8$ يُصنف مركباً، والعدد $15$ يُصنف مركباً، بيد أنهما يستوفيان صراحة شرط الأولية المتبادلة طوبولوجيّاً.
ثبات التوافق مع القيمة المطلقة: لا تتأثر الخاصية الإجرائية للأعداد الأولية فيما بينها بالإشارات الجبرية للمتغيرات، حيث تستقر الصلاحية الاستدلالية عند التكافؤ التام: $\text{PGCD}(a, b) = 1 \iff \text{PGCD}(|a|, |b|) = 1$.