الحلقة التامة (المنطقة الصحيحة)
Integral Domain
في الحلقات يحدث أن يكون حاصل ضرب
عنصرين
بالرغم من أن
و
. كمثال في
لدينا
العنصر 3 هنا يسمى قاسم للصفر وكذلك العنصر 2. الآن سنحاول أن نميز الحلقات التي لا يحدث فيها
مثل هذه الحالات وتعرف بالحلقات التامة والبعض يطلق عليها مسمى "المنطقة
الصحيحة" ونبدأ بتعريف قاسم الصفر.
تعريف الحلقة التامة
تعريف (قواسم الصفر في حلقة): ليكن
عنصر من حلقة R. نقول أن a قاسم أيمن للصفر right zero divisor إذا وجد
من R بحيث
. نقول أن a
قاسم أيسر للصفر left zero divisor إذا وجد
من R بحيث
. نقول أن a
قاسم للصفر zero divisor إذا وجد
من R بحيث
.
تعريف (الحلقة التامة):الحلقة التامة (أو المنطقة الصحيحة) هي حلقة ابدالية R ذات
محايد
ولا تملك أي قاسم للصفر, أي أنه إذا كان
بحيث
فإن
أو
.
أمثلة على حلقات تامة وغير تامة
1. الحلقة
تامة إذا وإذا فقط كان p عدد
أولي. كمثال
حلقة تامة بينما
ليست تامة حيث
.
2. حلقة الأعداد الصحيحة
تامة لكونها إبدالية ذات محايد
وخالية من قواسم الصفر.
3. في حلقة المصفوفات
العنصر
قاسم للصفر لأنه غير صفري ويوجد عنصر غير صفري
بحيث
وعليه فإن
حلقة غير تامة.
4. الحلقة

الجزئية من حلقة الأعداد المركبة لها محايد ولا تملك قواسم للصفر ولكنها ليست حلقة تامة لأنها غير إبدالية.
5. الحلقة
تامة فهي إبدالية ومحايدها 1 ولا تملك قواسم للصفر حيث أنه إذا كان
فإن
أو
.
6. إذا كان R,S حلقتين تامة فإن الحلقة
تامة إذا وفقط إذا كانت إحدى
الحلقتين R أو S هي الحلقة التافهة
. هذا واضح من العملية
.
الحلقة التامة وقوانين الاختصار
بالنسبة لعملية الجمع في حلقة R نجد أن قانوني الشطب أو الاختصار

متحققة حيث
وهذا لأن
زمرة. الحقيقة التالية تبين لنا الشرط الضروري
والكافي لتحقق قانوني الشطب بالنسبة لعملية الضرب.
مبرهنة: إذا كانت R
حلقة إبدالية ذات محايد
فإن R خالية من قواسم الصفر إذا وإذا فقط كان لكل عنصر
في R ولأي
فإن قوانين الاختصار في الضرب
التالية متحققة

لذلك الحلقة الإبدالية R ذات
المحايد حلقة تامة إذا وإذا فقط تحققت قوانين الاختصار (*) حيث
.
البرهان: افرض أن
حيث
. إذا
وبالتالي

بما أن R لا تملك قواسم للصفر فإن
أي
. بالمثل نستطيع إثبات أن
تقتضي
. لإثبات العكس افرض أن
وأن
. بما أن
وبما أن قوانين الاختصار متحققة فإن
والذي يثبت أن R خالية من قواسم الصفر.
المراجع
أ.د فالح بن عمران الدوسري, مقدمة في نظرية الحلقات
Thomas W. Hungerford, ALGEBRA, Springer-Verlag.

الشبكة موقع متخصص في عرض علوم الرياضيات في صفحات ثابتة تحتوي كل صفحة على وحدة معرفية معينة.
التعليقات
علِّق