1. التحديد البنيوي للقاسم المشترك الأكبر ($PGCD$)

يُقيد الاصطلاح التحليلي القاسم المشترك الأكبر لعددين صحيحين نسبيّين $a$ و $b$ (بشرط عدم انعدامهما معاً، $a^2 + b^2 \neq 0$) بأنه أكبر عدد صحيح طبيعي يقسم صلب الفضاء $\mathbb{Z}$ كلاً من المتغيرين في آن واحد، ويُرمز له نظاميّاً بالترميز: $\text{PGCD}(a, b)$.

المبرهنات والمحددات الاختزلية المحورية:

- قيد الاختزال الإقليدي المباشر: $\text{PGCD}(a, b) = \text{PGCD}(b, r)$؛ حيث يُقيد المتغير $r$ باعتباره باقي القسمة الإقليدية الصارمة للمقسوم $a$ على القاسم $b$.

- قيد الفرق الجبري الموزون: $\text{PGCD}(a, b) = \text{PGCD}(a, a-b)$.

2. البروتوكول الإجرائي لخوارزمية إقليدس (القسمات المتتالية)

يتأسس السلوك الخوارزمي لإقليدس على التكرار المطرد لعمليات القسمة الإقليدية المشروطة، بنقل القاسم ليصبح مقسوماً والباقي ليصبح قاسماً في الرتبة الموالية، حتى بلوغ باقي منعدم تماماً ($r_n = 0$). وتفيد المبرهنة نظاميّاً بأن الـ $PGCD$ هو آخر باقي غير معدوم صلب سلسلة الحساب المنفصلة.

النموذج الحسابي المعاير: استخراج المقدار $\text{PGCD}(252, 105)$ عبر مصفوفة القسمات المتتالية:

$252 = 105 \times 2 + 42$

$105 = 42 \times 2 + 21$

$42 = 21 \times 2 + 0$

يستقر الباقي الأخير غير المنعدم عند الرتبة الثانية عند القيمة $21$، ومنه: $\text{PGCD}(252, 105) = 21$.

3. الخواص الجبرية والامتدادات التركيبية للمقدار $PGCD$

• خاصية التجانس الخطي الدالي: لأجل كل متغير طبيعي غير معدوم $k$، يستقر التناسب وفق الصيغة المباشرة: $\text{PGCD}(ka, kb) = k \times \text{PGCD}(a, b)$.

• مبرهنة الاختزال الأولي التفكيكي: إذا ثبت أن $d = \text{PGCD}(a, b)$، فإنه يوجد حتماً ثنائي وحيد من الأعداد الصحيحة النسبيّة $(a', b')$ يقبلان قيد الأولية فيما بينهما (أي $\text{PGCD}(a', b') = 1$) بحيث تحقق البنية الجبرية الانسجام الآتي:

$a = da' \quad \text{و} \quad b = db'$