الحلقة الإقليدية
Euclidean Ring
تعريف
تسمى الحلقة التامة R
حلقة إقليدية euclidean ring إذا وجد تطبيق من مجموعة عناصر R
الغير صفرية
إلى مجموعة
الأعداد الصحيحة الغير سالبة بحيث
1.
لكل
.
2. لأي
يوجد
بحيث أن
و
أو
.
التطبيق N يسمى تقويم إقليدس Euclid evaluation. الشرط الثاني يعد تعميما لخوارزمية القسمة المعروفة في نظرية
العدد غير أن العنصرين
ليس بالضرورة
أن يكونا وحيدين ويسمى خوارزمية إقليدس Euclid algorithm.
أمثلة على حلقات إقليدية.
1. لتكن
القيمة المطلقة للعدد الصحيح a فإن
حلقة الأعداد الصحيحة
حلقة اقليدية بموجب الخاصية
لكل
و خوارزمية
اقليدس في نظرية العدد
2.
في الحقل F
إذا عرفنا
لكل عنصر غير صفري a من F فإننا
نحصل على حلقة إقليدية وفيها كل باقي
.
3. إذا كانت
حلقة الحدوديات على حقل F فإن
الدالة
التي ترسل كل
حدودية f إلى درجتها
تجعل من
حلقة إقليدية.
4. حلقة صحاح جاوس
مع التطبيق
تصبح حلقة إقليدية, انظر حلقة صحاح جاوس.
نظريات
مبرهنة1: كل حلقة إقليدية R هي منطقة مثالية رئيسية.
البرهان: افرض أن
مثالي في R. بما أن
جزئية من مجموعة الأعداد
الصحيحة الغير سالبة فإنها تملك عنصر
أصغر, إذا يوجد 
بحيث 
له أصغر قيمة وليكن a عنصر غير صفري من I. من خوارزمية إقليدس يوجد
بحيث
و
أو
. بما أن I
مثالية و
فإن r في I وبالتالي يستحيل أن يكون
. إذا
وبالتالي
.
حقيقة2: في الحلقة الإقليدية R العنصر u عنصر وحدة إذا وإذا فقط
كان
.
البرهان: إذا كان u
عنصر وحدة فإنه يوجد
بحيث
وبالتالي

إذا
. عكسيا, لتكن
. من خوارزمية إقليدس يوجد
بحيث

إذا كانت
فإن
والتي تؤدي إلى
وهذا مناقض للفرض. إذا
وعليه
. أي أن u عنصر وحدة.
حقيقة3: في الحلقة الإقليدية R إذا كان a ليس عنصر وحدة فإن
لكل
.
البرهان: افرض أن a
عنصر وحدة وأن
بحيث
. إذا من تعريف الحلقة
الإقليدية فإن
. من خوارزمية اقليدس يوجد
بحيث

إذا لم يكن
فإن
تقضي بأن

وهذا تناقض لأن
. إذا
وبالتالي
ومن قانون
الاختصار في الضرب نحصل على
. أي أن a عنصر وحدة وهذا
تناقض. إذا
.
المراجع
أ.د فالح بن عمران الدوسري, مقدمة في نظرية الحلقات
ب. هارتلي, ت. هاوكس, الحلقات, الحلقيات والجبر الخطي, ترجمة د. يوسف بن
عبد الله الخميس, د. أحمد حميد شراري, جامعة الملك سعود , النشر العلمي
والمطابع
Thomas W. Hungerford, ALGEBRA, Springer-Verlag.
I. N. Herstein, Topics in Algebra, John Wiley & Sons.
John R. Durbin, Modern Algebra: An Introduction, John Wiley & Sons.
http://en.wikipedia.org/wiki/Euclidean_domain
http://planetmath.org/?op=getobj&from=objects&id=3015

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