شبه حلقي
في الجبر المجرد ، تُعرف الحلقة شبه الحلقية بأنها بنية جبرية . تُعدّ الحلقات شبه الحلقية تعميمًا للحلقات ، إذ تُسقط شرط وجود معكوس جمعي لكل عنصر . وفي الوقت نفسه، تُعدّ الحلقات شبه الحلقية تعميمًا للشبكات التوزيعية المحدودة .
أصغر شبه حلقة ليست حلقة هي الجبر البولياني ذو العنصرين ، على سبيل المثال مع الفصل المنطقي.كعملية جمع. ومن الأمثلة المحفزة التي لا تُمثل حلقة ولا شبكة مجموعة الأعداد الطبيعية(بما في ذلك الصفر) تحت عمليتي الجمع والضرب العاديتين. وتكثر أنصاف الحلقات لأن عملية الضرب المناسبة تنشأ كتركيب دوال للتشاكلات الداخلية على أي أحادي تبديلي .
مصطلحات
يُعرّف بعض المؤلفين أنصاف الحلقات دون اشتراط وجودأووهذا يجعل المقارنة بين الحلقة وشبه الحلقة من جهة، وبين المجموعة وشبه المجموعة من جهة أخرى، أكثر سلاسة. غالبًا ما يستخدم هؤلاء المؤلفون مصطلح "حلقة " للدلالة على المفهوم المُعرَّف هنا. [ 1 ] [ أ ] وقد نشأ هذا المصطلح على سبيل المزاح، حيث يُشير إلى أن الحلقات هي حلقات بدون عناصر سالبة . (على غرار استخدام مصطلح "حلقة" للدلالة على حلقة بدون عنصر محايد ضربي ) .
يُستخدم مصطلح " ديويد " (اختصارًا لـ "أحادي مزدوج") للدلالة على أنصاف الحلقات أو غيرها من البنى. وقد استخدمه كونزمان عام 1972 للدلالة على نصف الحلقة. [ 2 ] (ويُستخدم أحيانًا للدلالة على أنصاف الحلقات المرتبة طبيعيًا [ 3 ]، ولكن استخدمه باتشيلي وآخرون عام 1992 للدلالة على الزمر الفرعية المتساوية القوة. [ 4 ] )
تعريف
نصف الحلقة هي مجموعةمزود بعمليتين ثنائيتينوتسمى الجمع والضرب، بحيث: [ 5 ] [ 6 ] [ 7 ]
- هي زمرة تبديلية ذات عنصر محايد يسمى:
- هي مجموعة أحادية ذات عنصر محايد يسمى:
علاوة على ذلك، ترتبط البديهيات التالية بالعمليتين:
- من خلال عملية الضرب، يتم إفناء أي عنصر من اليسار واليمين بواسطة العنصر المحايد الجمعي:
- عملية الضرب من اليسار واليمين تتوزع على عملية الجمع:
الترميز
الرمزعادة ما يتم حذفها من الترميز؛ أي،تمت كتابته للتو
وبالمثل، فإن ترتيب العمليات هو ترتيب تقليدي، حيثيتم تطبيقه قبل. إنه،يشير.
لغرض إزالة الغموض، يمكن للمرء أن يكتبأوللتأكيد على البنية التي تنتمي إليها الوحدات قيد الدراسة.
لوهو عنصر من عناصر شبه الحلقة و، ثمالضرب المتكرر لـيُشار إلى نفسه بـويكتب أحدهم بالمثللـالجمع المتكرر مرات.
بناء حلقات نصفية جديدة
الحلقة الصفرية مع المجموعة الأساسيةهي شبه حلقة تُسمى شبه الحلقة التافهة. ويمكن تحديد هذه التفاهة من خلالوهكذا، عند الحديث عن أنصاف الحلقات غير التافهة،يُفترض ذلك ضمنيًا في كثير من الأحيان كما لو كان بديهية إضافية. الآن، بالنظر إلى أي حلقة شبهية، توجد عدة طرق لتعريف حلقات شبهية جديدة.
كما ذكرنا، الأعداد الطبيعيةتشكل بنيتها الحسابية شبه حلقة. بأخذ الصفر وصورة العملية اللاحقة في شبه حلقةأي المجموعةإلى جانب العمليات الموروثة، فهي دائمًا عملية فرعية من.
لوهي شبه حلقة تبديلية، وتركيب الدوال يوفر عملية الضرب لتشكيل شبه حلقة: المجموعةمن التشكلات الداخليةتشكل شبه حلقة حيث يتم تعريف الجمع من الجمع النقطي في. التشاكل الصفري والعنصر المحايد هما العنصران المحايدان على التوالي. إذامعبنصف حلقة، نحصل على نصف حلقة يمكن ربطها بالمربعالمصفوفاتبمعاملات في، شبه الحلقة المصفوفية باستخدام قواعد الجمع والضرب العادية للمصفوفات. معطىونصف حلقة،هي دائمًا شبه حلقة أيضًا. وهي عمومًا غير تبديلية حتى لوكانت عملية تبادلية.
ملحقات دوروه : إذاإذا كان نصف حلقة،مع الجمع والضرب النقطيين الموضحين بواسطة :=\langle x\cdot y+(x\,m+y\,n),n\cdot m\rangle } تُعرّف حلقة شبهية أخرى ذات عنصر ضربيوبالمثل جداً، إذاأي تقسيم فرعي لـويمكن أيضًا تعريف شبه حلقة علىبمجرد استبدال الجمع المتكرر في الصيغة بالضرب. في الواقع، تعمل هذه التركيبات حتى في ظل شروط أقل صرامة، حيث أن البنيةليس من الضروري فعلياً أن يكون لها وحدة ضرب.
تُعتبر أنصاف الحلقات الخالية من مجموع الأصفار، بمعنى ما، أبعد ما يكون عن كونها حلقات. ففي شبه حلقة، يمكن إضافة صفر جديد إليها.إلى المجموعة الأساسية، وبالتالي الحصول على حلقة شبهية خالية من مجموع الأصفار وتفتقر أيضًا إلى قواسم الصفر . على وجه الخصوص، الآنوالحلقة شبه القديمة ليست في الواقع حلقة شبه فرعية. يمكن للمرء بعد ذلك الاستمرار وإضافة عناصر جديدة "فوقها" عنصرًا تلو الآخر، مع مراعاة الصفر دائمًا. تعمل هاتان الاستراتيجيتان أيضًا في ظل شروط أقل صرامة. في بعض الأحيان تكون الرموزعلى التوالي.تُستخدم هذه الأدوات عند تنفيذ هذه الإنشاءات.
إن إضافة صفر جديد إلى الحلقة شبه التافهة، بهذه الطريقة، ينتج عنه حلقة شبه أخرى يمكن التعبير عنها من حيث الروابط المنطقية للفصل والوصل:وبالتالي، فإن هذه هي أصغر شبه حلقة ليست حلقة. وبشكل صريح، فهي تنتهك بديهيات الحلقة كما يلي:للجميع، أيليس له معكوس جمعي. في التعريف الذاتي المزدوج ، يكمن الخلل في(لا ينبغي الخلط بين هذا وبين الخاتم)، والتي تعمل عملية جمعها كعملية XORفي نموذج فون نيومان للأعداد الطبيعية ،،ويمكن تمثيل الحلقة شبه الحلقية المكونة من عنصرين بدلالة الاتحاد والتقاطع في نظرية المجموعات على النحو التالي:. في الواقع، لا يزال هذا الهيكل يشكل شبه حلقة عندمايتم استبدالها بأي مجموعة مأهولة على الإطلاق.
المثل العليا على نصف دائرةتشكل هذه العناصر، مع عملياتها القياسية على المجموعات الجزئية، حلقة شبهية بسيطة مرتبة شبكياً وخالية من مجموع الأصفار. مثالياتوهي متوافقة تمامًا مع مُثُلمجموعة الأفكار اليسارية لـ(وكذلك المثل العليا الصحيحة) تمتلك أيضًا الكثير من هذا الهيكل الجبري، باستثناء أنه حينهالا تعمل كعنصر محايد ضربي ثنائي الجانب.
لوهي حلقة نصفية وهو مكان مأهول بالسكان ،يرمز إلى المونويد الحر ومتعددات الحدود الرسميةتشكل الكلمات فوقها حلقة شبهية أخرى. بالنسبة للمجموعات الصغيرة، تُستخدم العناصر المولدة عادةً للدلالة على الحلقة شبهية متعددة الحدود. على سبيل المثال، في حالة عنصر واحد فقطبحيثيكتب أحدهمحلقات فرعية خالية من مجموع الصفريمكن استخدامها لتحديد الحلقات الفرعية لـ.
بالنظر إلى مجموعة، ليس بالضرورة مجرد عنصر منفرد، بل إضافة عنصر افتراضي إلى المجموعة الأساسية لشبه الحلقةيمكن تعريف شبه حلقة الدوال الجزئية منل.
بالنظر إلى الاشتقاقعلى نصف دائرة، عملية أخرى ""مُرضٍ"يمكن تعريفها كجزء من عملية ضرب جديدة علىمما ينتج عنه حلقة نصفية أخرى.
ما سبق ليس بأي حال من الأحوال قائمة شاملة للتركيبات المنهجية.
الاشتقاقات
الاشتقاقات على شبه حلقةهل الخرائطمعو.
على سبيل المثال، إذاهومصفوفة الوحدة وثم المجموعة الفرعية منالمعطاة بواسطة المصفوفاتمعهي شبه حلقة ذات مشتقة.
ملكيات
من الخصائص الأساسية للحلقات النصفية أنليس قاسمًا للصفر من اليسار أو اليمين ، وهذاولكن أيضاًمربعات متطابقة، أي أن هذه المربعات لها.
تُورَث بعض الخصائص البارزة من بنى المونويد: تتطلب بديهيات المونويد وجود عنصر محايد، وبالتالي لا يمكن أن تكون المجموعة الأساسية لشبه الحلقة فارغة. كذلك، فإن المسند الثنائييُعرَّف بأنه، المعرّفة هنا لعملية الجمع، تشكل دائمًا علاقة الترتيب المسبق القانونية الصحيحة . الانعكاسيةيشهد على ذلك الهوية. علاوة على ذلك،يكون هذا صحيحًا دائمًا، وبالتالي فإن الصفر هو أصغر عنصر بالنسبة لهذا الترتيب الجزئي. وبالنظر إليه تحديدًا في عملية الجمع التبادلي، يمكن تجاهل التمييز بين "اليمين". في الأعداد الصحيحة غير السالبةعلى سبيل المثال، هذه العلاقة غير متناظرة ومترابطة بقوة ، وبالتالي فهي في الواقع ترتيب كلي (غير صارم) .
فيما يلي، نناقش المزيد من الخصائص الشرطية.
الحقول النصفية
أي حقل هو أيضًا شبه حقل ، وهو بدوره شبه حلقة توجد فيها أيضًا المعكوسات الضربية.
خواتم
أي حقل هو أيضًا حلقة ، وهي بدورها شبه حلقة توجد فيها أيضًا معكوسات جمعية. تجدر الإشارة إلى أن شبه الحلقة لا تتطلب هذا الشرط، أي أنها لا تتطلب سوى أحادي تبديلي ، وليس زمرة تبديلية . إن الشرط الإضافي للحلقة بحد ذاته يستلزم وجود صفر ضربي. هذا التباين هو أيضًا سبب وجوب تحديد الصفر الضربي صراحةً في نظرية أنصاف الحلقات.
هنا، المعكوس الجمعي لـ، مربعات إلى. كفروقات تراكميةتوجد دائماً في حلقة،هي علاقة ثنائية بسيطة في حلقة.
أنصاف الحلقات التبادلية
تُسمى الحلقة شبهيةً حلقةً تبديليةً إذا كانت عملية الضرب فيها تبديليةً أيضًا. [ 8 ] ويمكن تلخيص بديهياتها بإيجاز كما يلي: تتكون من اثنين من أحاديات تبديليةوعلى مجموعة واحدة بحيثو.
مركز نصف الحلقة هو نصف حلقة فرعية، وكونه تبديليًا يعادل كونه مركزه الخاص .
الحلقة شبه التبادلية للأعداد الطبيعية هي الكائن الأولي من نوعها، مما يعني وجود خريطة فريدة تحافظ على البنية لـفي أي شبه حلقة تبديلية.
تُعدّ الشبكات التوزيعية المحدودة أنصاف حلقات تبديلية مرتبة جزئياً، تُحقق معادلات جبرية معينة تتعلق بالتوزيعية والتماثل. وبالتالي، فإنّ نظائرها الثنائية كذلك .
طلب حلقات نصفية
يمكن تعريف المفاهيم أو الترتيب باستخدام صيغ صارمة أو غير صارمة أو من الدرجة الثانية . وتعمل خصائص إضافية مثل التبادلية على تبسيط البديهيات.
بافتراض وجود ترتيب كلي صارم (يُسمى أحيانًا بالترتيب الخطي، أو الترتيب الزائف في الصياغة البنائية)، فإن العناصر الموجبة والسالبة ، بحسب التعريف، تحققعلى التوالي.بسبب عدم الانعكاسية من النوع الصارم، إذاإذا كان قاسمًا صفريًا من اليسار، فإنهذا غير صحيح. تتميز العناصر غير السالبة بـثم يتم كتابتها.
بشكل عام، يمكن نفي الترتيب الكلي الصارم لتحديد ترتيب جزئي مرتبط به. ويتجلى عدم تناظر الأول على النحو التالي:في الواقع، في الرياضيات الكلاسيكية، يُعد هذا الأخير ترتيبًا كليًا (غير صارم) بحيثيشير إلىوبالمثل، فإن أي ترتيب كلي (غير صارم) يكون نفيه غير انعكاسي ومتعدٍ ، وتُسمى هاتان الخاصيتان مجتمعتان أحيانًا بالترتيب شبه الصارم. وهذا يُعرّف الترتيب الكلي الصارم تعريفًا كلاسيكيًا - بل يمكن تعريف الترتيب الكلي الصارم والترتيب الكلي بدلالة بعضهما البعض.
تذكر أن "إنّ التعريف المذكور أعلاه تافه في أي حلقة. ويُظهر وجود حلقات تقبل ترتيبًا غير صارم غير تافه أن هذه الحلقات لا تتطابق بالضرورة مع "".
أنصاف حلقات متماثلة جمعيًا
حلقة نصفية يكون فيها كل عنصر عنصرًا متماثلًا جمعيًا ، أيلجميع العناصريُطلق عليه اسم شبه حلقة متساوية القوة (إضافية) . [ 9 ] إنشاءيكفي هذا. انتبه إلى أنه في بعض الأحيان يُطلق على هذا اسم شبه الحلقة المتساوية القوة، بغض النظر عن قواعد الضرب.
في مثل هذه الحلقة النصفية،يعادلويشكل دائمًا أمرًا جزئيًا، ويُشار إليه هنا الآن بـوعلى وجه الخصوص، هنالذا، فإن أنصاف الحلقات المتساوية القوة جمعيًا خالية من مجموع الأصفار، وفي الواقع، فإن نصف الحلقة الوحيدة المتساوية القوة جمعيًا التي لها جميع المعكوسات الجمعية هي الحلقة التافهة، وبالتالي فإن هذه الخاصية خاصة بنظرية أنصاف الحلقات. ويحترم الجمع والضرب الترتيب بمعنى أنيشير إلىويشير كذلك إلىإلى جانبللجميعو.
لوإذا كانت متعددة الحدود في دالة متماثلة جمعيًا، فإن كثيرات الحدود في.
تُعتبر الحلقة النصفية التي يوجد على مجموعتها الأساسية بنية شبكية مرتبة شبكياً إذا تطابق المجموع مع الوصل.والمنتج يقع أسفل منطقة اللقاءإن الحلقة شبه المرتبة للمثاليات في الحلقة شبه ليست بالضرورة توزيعية بالنسبة لبنية الشبكة.
وبشكل أدق من مجرد خاصية التساوي الجمعي، يُطلق على شبه الحلقة اسم حلقة بسيطة إذا وفقط إذاللجميعثم أيضًاوللجميع. هناثم يعمل كعنصر لانهائي جمعي. إذاإذا كانت حلقة شبهية متساوية القوة جمعيًا،مع العمليات الموروثة، تُعدّ الحلقة الفرعية البسيطة مثالًا على حلقة فرعية بسيطة. ومن الأمثلة على الحلقات الفرعية المتساوية الجمع غير البسيطة الحلقة الفرعية الاستوائية علىمع الدالة القصوى من الرتبة الثانية، بالنسبة للرتبة القياسية، كعملية جمع. إن تقريبها الجزئي البسيط أمر تافه.
الحلقة شبه c هي حلقة شبه متساوية القوة مع تعريف الجمع على مجموعات عشوائية.
حلقة شبهية متساوية القوة جمعية مع ضرب متساوي القوة،يُطلق عليها اسم شبه الحلقة المتساوية القوة جمعيًا وضربيًا ، أو ببساطة شبه الحلقة المتساوية القوة. أما أنصاف الحلقات البسيطة التبادلية التي تتمتع بهذه الخاصية فهي تحديدًا الشبكات التوزيعية المحدودة ذات العنصر الأدنى والأعلى الوحيدين (وهما الوحدات). وتُعدّ جبريات هايتينغ من هذه الأنصاف الحلقات، بينما تُعتبر الجبريات البولية حالة خاصة منها.
علاوة على ذلك، بالنظر إلى شبكتين توزيعيتين محدودتين، هناك تركيبات تؤدي إلى حلقات شبهية تبادلية متطابقة الجمع، وهي أكثر تعقيدًا من مجرد المجموع المباشر للهياكل.
خطوط الأعداد
في نموذج للخاتم، يمكن للمرء أن يُعرّف مسندًا إيجابيًا غير تافهومسندمثليشكل ذلك نظامًا كليًا صارمًا، يحقق خصائص مثلأو قانون التثليث الكلاسيكي . يشكل هذا التركيب، مع عمليتي الجمع والضرب القياسيتين، حقلًا مرتبًا ترتيبًا صارمًا كاملًا من نوع ديديكيند . وبحسب التعريف ، فإن جميع خصائص الرتبة الأولى المثبتة في نظرية الأعداد الحقيقية قابلة للإثبات أيضًا في نظرية الحقل المغلق الحقيقي القابل للتقرير . على سبيل المثال، هنايتعارض مع.
لكن بالإضافة إلى الحقول المرتبة، تظل الخصائص الأربع المذكورة أدناه صالحة أيضًا في العديد من الحلقات الفرعية لـبما في ذلك الأعداد النسبية، والأعداد الصحيحة، بالإضافة إلى الأجزاء غير السالبة من كل بنية من هذه البنى. وعلى وجه الخصوص، تُعد الأعداد الحقيقية غير السالبة، والأعداد النسبية غير السالبة، والأعداد الصحيحة غير السالبة، أنصاف حلقات من هذا النوع. تتشابه الخاصيتان الأوليان مع الخاصية السارية في أنصاف الحلقات المتساوية القوة: إذ يحترم كل من الإزاحة والقياس هذه الحلقات المرتبة ، بمعنى أن الجمع والضرب في هذه الحلقة يحترمان
بخاصة،وبالتالي فإن تربيع العناصر يحافظ على الإيجابية.
لاحظ خاصيتين إضافيتين صحيحتين دائمًا في الحلقة. أولًا، بشكل بديهيلأي. وعلى وجه الخصوص، يمكن التعبير عن وجود الفرق الجمعي الموجب على النحو التالي:
ثانيًا، في حالة وجود ترتيب ثلاثي، يتم تقسيم العناصر غير الصفرية للمجموعة الجمعية إلى عناصر موجبة وسالبة، مع انتقال عملية الانعكاس بينهما.ثبت أن جميع المربعات غير سالبة. وبالتالي، فإن الحلقات غير التافهة لها وحدة ضرب موجبة.
وبعد مناقشة ترتيب صارم، يترتب على ذلك ما يلي:و، إلخ.
حلقات نصفية مرتبة بشكل منفصل
توجد بعض المفاهيم المتضاربة حول التقطيع في نظرية الترتيب. وبالنظر إلى ترتيب صارم على شبه حلقة، فإن أحد هذه المفاهيم يُعطى بواسطةالتحلي بالإيجابية والتغطيةأي أنه لا يوجد عنصربين الوحدات،. الآن في السياق الحالي، يُطلق على الترتيب اسم الترتيب المنفصل إذا تم استيفاء هذا الشرط، وعلاوة على ذلك، فإن جميع عناصر الحلقة شبه السالبة غير سالبة، بحيث تبدأ الحلقة شبه السالبة بالوحدات.
يرمز بـتؤكد نظرية شبه الحلقة التبادلية ذات الترتيب المنفصل أيضًا صحة الخصائص الأربع المذكورة أعلاه التي تربط الترتيب الصارم بالبنية الجبرية. جميع نماذجها تمتلك النموذجبما أن الجزء الأولي، وعدم اكتمال غودل ، وعدم قابلية تعريف تارسكي تنطبق بالفعل علىتُؤكد العناصر غير السالبة في حلقة تبديلية مرتبة بشكل منفصل صحة بديهياتلذا، فإن نموذجًا أكثر غرابة للنظرية يُعطى بواسطة العناصر الموجبة في حلقة كثيرات الحدود، مع مسند إيجابي لـمُعرَّف بدلالة آخر معامل غير صفري،، وكما سبق. بينمايثبت كل شيء- جمل صحيحة حولوبعيدًا عن هذا التعقيد، يمكن للمرء أن يجد عبارات بسيطة من هذا القبيل مستقلة عنعلى سبيل المثال، بينما-جمل صحيحة حوللا تزال هذه العبارات صحيحة بالنسبة للنموذج الآخر الذي تم تحديده للتو، وذلك من خلال فحص متعدد الحدود.يوضح-استقلال- يدعي أن جميع الأرقام على شكلأو( فردي أو زوجي ). مما يدل على ذلك أيضًايمكن ترتيبها بشكل منفصل، مما يدل على أن-مطالبةللقيم غير الصفرية(لا يوجد عدد نسبي مربع يساوي") مستقل. وبالمثل، فإن التحليل لـيُظهر استقلال بعض العبارات المتعلقة بالتحليل إلى عوامل، وهو أمر صحيح فيهناكتوصيفات البدائية التيلا يتم التحقق من صحة الرقم.
في الاتجاه الآخر، من أي نموذج منيمكن للمرء أن يبني حلقة مرتبة، والتي تحتوي حينها على عناصر سالبة بالنسبة للترتيب، والتي لا تزال منفصلة بالمعنى الذيأغطيةولهذا الغرض، يتم تعريف فئة تكافؤ للأزواج من شبه الحلقة الأصلية. وبشكل تقريبي، تتوافق الحلقة مع اختلافات العناصر في البنية القديمة، مما يعمم الطريقة التي تتوافق بها الحلقة الأوليةيمكن تعريفها منوهذا، في الواقع، يضيف جميع المعكوسات، ثم يصبح الترتيب الجزئي تافهاً مرة أخرى من حيث ذلك.
بغض النظر عن حجم الجبر ذي العنصرين، لا تبدأ أي حلقة شبه بسيطة بالوحدات. كما أن كونها مرتبة ترتيبًا منفصلاً يتناقض مع، على سبيل المثال، الترتيب القياسي على حلقة الأعداد النسبية غير السالبة.، وهو ما يجعله كثيفًا بين الوحدات. كمثال آخر،يمكن طلبها، ولكن ليس بشكل سري.
الأعداد الطبيعية
بالإضافة إلى ذلك، فإن الاستقراء الرياضي يعطي نظرية مكافئة لحسابات بيانو من الدرجة الأولىومن المعروف أيضاً أن هذه النظرية ليست قاطعة ، ولكنهذا هو النموذج المقصود بالطبع.يثبت ذلك أنه لا يوجد قواسم صفرية وأنها خالية من المجموع الصفري، وبالتالي فإن أي نموذج لها ليس حلقة.
البديهيات القياسية لـوهي أكثر إيجازًا، وعادةً ما تُعالج نظرية ترتيبها من حيث "غير الصارمة".ومع ذلك، فإن مجرد إزالة مبدأ الاستقراء القوي من تلك البديهيات لا يُنتج نظرية جبرية قابلة للتطبيق. في الواقع، حتى حساب روبنسونإنّ إزالة الاستقراء مع إعادة إضافة مسلمة وجود السلف لا تثبت بديهية المونويد..
حلقات نصفية كاملة
الحلقة شبه الكاملة هي حلقة شبه يكون فيها المونويد الجمعي مونويدًا كاملاً ، أي أن لها عملية جمع لانهائيةلأي مجموعة فهارسوأن قوانين التوزيع التالية (اللامتناهية) يجب أن تسري: [ 10 ] [ 11 ] [ 12 ]
من أمثلة الحلقات شبه الكاملة مجموعة القوى لوحدة أحادية تحت الاتحاد وحلقة المصفوفة شبه الكاملة. [ 13 ] بالنسبة للحلقات شبه التبادلية، والحلقات شبه المتساوية الجمع، والحلقات شبه البسيطة، ترتبط هذه الخاصية بالشبكات المتبقية .
أنصاف الحلقات المتصلة
تُعرَّف الحلقة شبه المتصلة بأنها حلقة يكون فيها شبه الزمرة الجمعية شبه زمرة متصلة . أي أنها مرتبة جزئيًا ولها خاصية الحد الأعلى الأدنى ، ويحافظ فيها الجمع والضرب على الترتيب والقيم العليا.مع عمليات الجمع والضرب المعتادة وتوسيع الترتيب، تكون حلقة شبه متصلة. [ 14 ]
أي حلقة شبه متصلة تكون كاملة: [ 10 ] ويمكن اعتبار هذا جزءًا من التعريف. [ 13 ]
أنصاف حلقات النجوم
الحلقة النصفية النجمية ( أو الحلقة النصفية المغلقة) هي حلقة نصفية مع عامل أحادي إضافي[ 9 ] [ 11 ] [ 15 ] [ 16 ] مُرضية
جبر كلين هو شبه حلقة نجمية مع جمع متماثل وبعض البديهيات الإضافية. وهي مهمة في نظرية اللغات الرسمية والتعبيرات النمطية . [ 11 ]
حلقات نصفية نجمية كاملة
في شبه الحلقة النجمية الكاملة ، يتصرف عامل النجمة بشكل مشابه لنجمة كلين المعتادة : بالنسبة لشبه الحلقة الكاملة، نستخدم عامل المجموع اللانهائي لإعطاء التعريف المعتاد لنجمة كلين: [ 11 ]
أين
لاحظ أن أنصاف الحلقات النجمية لا ترتبط بالجبر النجمي ، حيث يجب بدلاً من ذلك اعتبار عملية النجمة بمثابة اقتران معقد .
كونواي شبه الدائري
الحلقة شبه كونواي هي حلقة شبه نجمية تحقق معادلات مجموع النجوم ومعادلات ضرب النجوم: [ 9 ] [ 17 ]
كل حلقة نجمية شبه كاملة هي أيضًا حلقة كونواي شبه كاملة، [ 18 ] ولكن العكس غير صحيح. ومن أمثلة حلقات كونواي شبه الكاملة مجموعة الأعداد النسبية غير السالبة الموسعة.مع الجمع والضرب المعتادين (هذا تعديل للمثال الذي يتضمن أعدادًا حقيقية غير سالبة موسعة، والمُعطى في هذا القسم، وذلك بحذف الأعداد غير النسبية). [ 11 ] شبه الحلقة التكرارية هي شبه حلقة كونواي تُحقق بديهيات مجموعة كونواي، [ 9 ] والتي ربطها جون كونواي بالمجموعات في شبه الحلقات النجمية. [ 19 ]
أمثلة
- بحسب التعريف، فإن أي حلقة وأي شبه حقل هما أيضاً شبه حلقة.
- تشكل العناصر غير السالبة في حلقة تبديلية مرتبة بشكل منفصل حلقة شبه تبديلية مرتبة بشكل منفصل (بالمعنى المحدد أعلاه). وهذا يشمل الأعداد الصحيحة غير السالبة..
- كذلك، تُشكّل الأعداد النسبية غير السالبة، بالإضافة إلى الأعداد الحقيقية غير السالبة، أنصاف حلقات تبديلية مرتبة. [ 20 ] [ 21 ] [ 22 ] ويُطلق على الأخيرة اسمشبه حلقة احتمالية . [ 6 ] وهي ليست حلقات ولا شبكات توزيعية. هذه الأمثلة لها أيضًا معكوسات ضربية.
- يمكن إنشاء حلقات شبه جديدة بشكل مشروط من حلقات شبه موجودة، كما هو موضح. الأعداد الطبيعية الموسعةمع توسيع نطاق الجمع والضرب بحيث[ 21 ]
- مجموعة كثيرات الحدود ذات المعاملات العددية الطبيعية، والتي يُرمز لها بـيشكل شبه حلقة تبديلية. في الواقع، هذه هي شبه الحلقة التبديلية الحرة على مولد واحد.كما يمكن تعريف كثيرات الحدود ذات المعاملات في أنصاف الحلقات الأخرى، كما تمت مناقشته.
- الكسور المنتهية غير السالبة، في نظام عددي موضعي لأساس معينتشكل هذه العناصر مجموعة فرعية من العقلانيات. لدى المرءلويقسم. ل، المجموعةهي حلقة جميع الكسور المنتهية إلى أساسوهي كثيفة في.
- حلقة السجل شبه الدائرية علىمع إضافة ما يلي:مع الضربالعنصر الصفريوعنصر الوحدة[ 6 ]
- وبالمثل، يتم تعريف شبه الحلقة الاستوائية ذات الحد الأقصى الزائد باستخداممعيُستخدم كعنصر جمع شبه حلقي (عنصر محايد)) والجمع العادي (العنصر المحايد 0) الذي يعمل كضرب في شبه الحلقة. وبالمثل، فإن شبه الحلقة الاستوائية ذات الحد الأدنى من الجمع هيويحل min محل max كعملية جمع. [ 23 ] وهناك إصدار ذو صلة يحتوي علىباعتبارها المجموعة الأساسية. [ 6 ] [ 10 ] وهي مجال بحث نشط، يربط بين التنوعات الجبرية والهياكل الخطية القطعية . [ 24 ]
- شبه حلقة لوكاسيفيتش : الفترة المغلقةبالإضافة إلىويتم الحصول عليها بأخذ القيمة القصوى للوسيطات () وضربومقدم منيظهر في المنطق متعدد القيم . [ 11 ]
- كما يتم تعريف شبه حلقة فيتربي على مجموعة الأساسويكون مجموعها هو القيمة القصوى، لكن ضربها هو الضرب المعتاد للأعداد الحقيقية. وتظهر في التحليل الاحتمالي . [ 11 ]
- تشكل مجموعة جميع المُثُل في حلقة شبه معينة حلقة شبه تحت عملية جمع وضرب المُثُل.
- أي شبكة محدودة وموزعة هي شبه حلقة تبديلية تحت عمليتي الربط والتقاطع. الجبر البولياني حالة خاصة من هذه الشبكات. الحلقة البوليانية هي أيضًا شبه حلقة (بل حلقة في الواقع)، لكنها ليست متطابقة تحت عملية الجمع . شبه الحلقة البوليانية هي شبه حلقة متماثلة مع شبه حلقة جزئية من جبر بولياني. [ 20 ]
- الحلقة شبه التبادلية التي تشكلها الجبر البولياني ذو العنصرين والمُعرَّفة بواسطةويُطلق عليه أيضًا اسمشبه الحلقة البوليانية . [ 6 ] [ 21 ] [ 22 ] [ 9 ] الآن، لدينا مجموعتانوالعلاقات الثنائية بينوتتوافق مع المصفوفات المفهرسة بواسطةومع المدخلات في شبه الحلقة البوليانية، فإن جمع المصفوفات يتوافق مع اتحاد العلاقات، وضرب المصفوفات يتوافق مع تركيب العلاقات . [ 25 ]
- أي كمية أحادية هي شبه حلقة تحت عمليتي الربط والضرب.
- شبكة مائلة عادية في حلقةهي شبه حلقة لعمليتي الضرب و نابلا، حيث تُعرَّف العملية الأخيرة بواسطة
استخدام المزيد من المونيدات،
- بناء أنصاف الحلقاتمن أحادي تبديليتم وصفه. كما هو مذكور، أعطِ نصف حلقة، التشكل المصفوفات حلقة شبهية أخرى. على سبيل المثال، المصفوفات ذات العناصر غير السالبة،تشكيل شبه حلقة مصفوفية. [ 20 ]
- بالنظر إلى أبجدية (مجموعة منتهية) Σ، فإن مجموعة اللغات الرسمية على(مجموعات فرعية من) هي شبه حلقة ذات ناتج ناتج عن ربط السلاسلوالجمع هو اتحاد اللغات (أي الاتحاد العادي كمجموعات). الصفر في هذه الحلقة شبه الدائرية هو المجموعة الفارغة (اللغة الفارغة)، ووحدة الحلقة شبه الدائرية هي اللغة التي تحتوي فقط على السلسلة الفارغة . [ 11 ]
- تعميم المثال السابق (عن طريق المشاهدة)باعتباره أحاديًا حرًا فوق)، يأخذأن يكون أي أحادي؛ مجموعة القوىمن جميع المجموعات الفرعية لـيشكل شبه حلقة تحت الاتحاد النظري للمجموعات كعملية جمع وضرب على مستوى المجموعات:[ 22 ]
- وبالمثل، إذاإذا كانت أحادية، فإن مجموعة المجموعات المتعددة المنتهية فييشكل شبه حلقة. أي أن العنصر عبارة عن دالة; بالنظر إلى عنصر منتخبرك الدالة بعدد مرات ظهور هذا العنصر في المجموعة المتعددة التي يمثلها. وحدة الجمع هي دالة الصفر الثابتة. وحدة الضرب هي دالة الربطلوجميع العناصر الأخرى لـلالمجموع يُعطى بواسطةوالناتج يُعطى بواسطة
فيما يتعلق بالمجموعات وما شابهها من مفاهيم مجردة،
- بالنظر إلى مجموعةمجموعة العلاقات الثنائية علىهي شبه حلقة، حيث يمثل الجمع اتحاد العلاقات (كمجموعات)، ويمثل الضرب تركيب العلاقات . صفر هذه الشبه حلقة هو العلاقة الفارغة ، ووحدتها علاقة التطابق . [ 11 ] تتوافق هذه العلاقات مع شبه حلقة المصفوفات (أو بالأحرى، شبه جبر المصفوفات) للمصفوفات المربعة المفهرسة بـمع إدخالات في شبه الحلقة البوليانية، ثم الجمع والضرب هما عمليات المصفوفة المعتادة، بينما الصفر والوحدة هما مصفوفة الصفر ومصفوفة الوحدة المعتادة .
- تشكل مجموعة الأعداد الأصلية الأصغر من أي عدد أصلي لانهائي مُعطى شبه حلقة تحت عمليتي جمع وضرب الأعداد الأصلية. وتشكل فئة جميع الأعداد الأصلية لنموذج داخلي شبه حلقة (فئة) تحت عمليتي جمع وضرب الأعداد الأصلية (النموذج الداخلي).
- عائلة (فئات التكافؤ التشاكلي لـ) الفئات التوافقية (مجموعات من عدد قابل للعد من العناصر ذات أحجام صحيحة غير سالبة بحيث يوجد عدد محدود من العناصر من كل حجم) مع الفئة الفارغة كعنصر الصفر، والفئة التي تتكون فقط من المجموعة الفارغة كوحدة، والاتحاد المنفصل للفئات كعملية جمع، والضرب الديكارتي للفئات كعملية ضرب. [ 26 ]
- تشكل فئات التشاكل للكائنات في أي فئة توزيعية ، تحت عمليات الضرب المشترك والضرب ، شبه حلقة تُعرف باسم حلقة بيرنسايد. [ 27 ] حلقة بيرنسايد هي حلقة إذا وفقط إذا كانت الفئة تافهة .
أنصاف حلقات النجوم
يمكن تجهيز العديد من الهياكل المذكورة أعلاه بنظام تشغيل نجمي.
- الحلقة شبه الكاملة المذكورة للعلاقات الثنائية على مجموعة أساسية مافي أيللجميعإن عملية النجمة هذه هي في الواقع الإغلاق الانعكاسي والمتعدي لـ(أي أصغر علاقة ثنائية انعكاسية ومتعدية علىيحتوي على). [ 11 ]
- إن شبه الحلقة للغات الرسمية هي أيضًا شبه حلقة نجمية كاملة، حيث تتطابق عملية النجمة مع نجمة كلين (للمجموعات/اللغات). [ 11 ]
- مجموعة الأعداد الحقيقية الممتدة غير السالبةبالإضافة إلى عمليتي الجمع والضرب المعتادتين للأعداد الحقيقية، تُشكّل هذه الحلقة شبه حلقة نجمية كاملة، وتُعطى عملية النجمة فيها كما يلي:ل(أي المتسلسلة الهندسية ) ول[ 11 ]
- الحلقة النصفية المنطقية مع[ ب ] [ 11 ]
- نصف الحلقةمع الجمع والضرب الموسعين، ول[ ب ] [ 11 ]
التطبيقات
الوتُستخدم أنصاف الحلقات الاستوائية على الأعداد الحقيقية غالبًا في تقييم أداء أنظمة الأحداث المنفصلة. تمثل الأعداد الحقيقية حينها "التكاليف" أو "وقت الوصول"؛ وتُشير عملية "الحد الأقصى" إلى ضرورة انتظار جميع المتطلبات المسبقة للحدث (وبالتالي استغراق أقصى وقت)، بينما تُشير عملية "الحد الأدنى" إلى إمكانية اختيار الخيار الأفضل والأقل تكلفة؛ وتُشير علامة الجمع (+) إلى التراكم على طول المسار نفسه.
وبالتالي، يمكن إعادة صياغة خوارزمية فلويد -وارشال لأقصر المسارات كعملية حسابية علىالجبر. وبالمثل، يمكن صياغة خوارزمية فيتربي لإيجاد تسلسل الحالة الأكثر احتمالاً المقابل لتسلسل الملاحظات في نموذج ماركوف المخفي كعملية حسابية علىالجبر على الاحتمالات. تعتمد خوارزميات البرمجة الديناميكية هذه على خاصية التوزيع لأنصاف الحلقات المرتبطة بها لحساب الكميات على عدد كبير (ربما أسي) من الحدود بكفاءة أكبر من تعداد كل منها على حدة. [ 28 ] [ 29 ]
التعميمات
لا يتطلب تعميم أنصاف الحلقات وجود عنصر محايد ضربي، بحيث يكون الضرب شبه زمرة وليس أحاديًا. تُسمى هذه البنى أنصاف الحلقات [ 30 ] أو أنصاف الحلقات المسبقة . [ 31 ] وهناك تعميم آخر هو أنصاف الحلقات المسبقة اليسرى ، [ 32 ] والتي لا تتطلب أيضًا التوزيعية اليمنى (أو أنصاف الحلقات المسبقة اليمنى ، والتي لا تتطلب التوزيعية اليسرى).
وهناك تعميم آخر يتمثل في أشباه الحلقات : فبالإضافة إلى عدم اشتراط وجود عنصر محايد للضرب، أو التوزيع من اليمين (أو التوزيع من اليسار)، فإنها لا تشترط أن تكون عملية الجمع تبديلية. وكما تُشكّل الأعداد الأصلية شبه حلقة (فئة)، تُشكّل الأعداد الترتيبية شبه حلقة ، عند الأخذ في الاعتبار عمليتي الجمع والضرب الترتيبيتين القياسيتين . ومع ذلك، يمكن تحويل فئة الأعداد الترتيبية إلى شبه حلقة من خلال النظر في ما يُسمى بالعمليات الطبيعية (أو عمليات هيسنبرغ) .
في نظرية الفئات ، تُعرف الفئة 2-rig بأنها فئة ذات عمليات وظيفية مماثلة لتلك الخاصة بالفئة rig. ويمكن تصنيف كون الأعداد الأصلية تُشكل فئة rig بالقول إن فئة المجموعات (أو بشكل أعم، أي طوبولوجيا ) هي فئة 2-rig.
انظر أيضاً
- حلقة من المجموعات - عائلة مغلقة تحت الاتحادات والمكملات النسبية
- جبر التقييم – جبر يصف معالجة المعلومات. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه.
ملحوظات
الاقتباسات
- ↑ غلازيك (2002) ، ص 7
- ^ كونتزمان، ج. (1972). Théorie des réseaux (الرسوم البيانية) (بالفرنسية). باريس: دونود. زبل 0239.05101 .
- ↑ حلقات نصفية للفطور ، الشريحة 17
- ↑ باتشيلي، فرانسوا لويس؛ أولسدر، جيرت جان؛ كوادرات، جان بيير؛ كوهين، جاي (1992). التزامن والخطية: جبر لأنظمة الأحداث المنفصلة . سلسلة وايلي في الاحتمالات والإحصاء الرياضي. تشيتشستر: وايلي. Zbl 0824.93003 .
- ^ بيرستل وبيرين (1985) ، ص. 26
- 1 2 3 4 5 لوثير (2005) ، ص. 211
- ^ ساكاروفيتش (2009) ، ص. 27-28
- ↑ لوثير (2005) ، ص 212
- 1 2 3 4 5 إيسيك، زولتان (2008). "حلقات شبه التكرار". في: إيتو، ماسامي (محرر). التطورات في نظرية اللغة. المؤتمر الدولي الثاني عشر، DLT 2008، كيوتو، اليابان، 16-19 سبتمبر 2008. وقائع المؤتمر . سلسلة محاضرات في علوم الحاسوب. المجلد 5257. برلين: سبرينغر-فيرلاغ . الصفحات 1-20 . doi : 10.1007/978-3-540-85780-8_1 . ISBN 978-3-540-85779-2. Zbl 1161.68598 .
- 1 2 3 كويتش، فيرنر (2011). "الأنظمة الجبرية وآلات الدفع لأسفل". في كويتش، فيرنر (محرر). الأسس الجبرية في علوم الحاسوب. مقالات مهداة إلى سيميون بوزاباليديس بمناسبة تقاعده . سلسلة محاضرات في علوم الحاسوب. المجلد 7020. برلين: سبرينغر-فيرلاغ . الصفحات 228-256 . ISBN 978-3-642-24896-2. Zbl 1251.68135 .
- 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 دروستي وكويش (2009) ، الصفحات من 7 إلى 10
- ↑ كويتش، فيرنر (1990). "الحلقات شبه المتصلة ω، والأنظمة الجبرية، وآلات الدفع لأسفل" . في باترسون، مايكل س. (محرر). الآلات واللغات والبرمجة: الندوة الدولية السابعة عشرة، جامعة وارويك، إنجلترا، 16-20 يوليو 1990، وقائع . سلسلة محاضرات في علوم الحاسوب. المجلد 443. سبرينغر-فيرلاغ . الصفحات 103-110 . ISBN 3-540-52826-1.
- 1 2 ساكاروفيتش (2009) ، ص 471
- ↑ إسيك، زولتان؛ ليس، هانز (2002). "صيغة غريباخ الطبيعية في أنصاف الحلقات الكاملة جبريًا". في برادفيلد، جوليان (محرر). منطق علوم الحاسوب. ورشة العمل الدولية السادسة عشرة، CSL 2002، المؤتمر السنوي الحادي عشر للجمعية الأوروبية لمنطق علوم الحاسوب، إدنبرة، اسكتلندا، 22-25 سبتمبر 2002. وقائع . سلسلة محاضرات في علوم الحاسوب. المجلد 2471. برلين: سبرينغر-فيرلاغ . الصفحات 135-150 . Zbl 1020.68056 .
- ↑ ليمان، دانيال ج. (1977)، "البنى الجبرية للإغلاق المتعدي" (ملف PDF) ، علوم الحاسوب النظرية ، 4 (1): 59-76 ، doi : 10.1016/0304-3975(77)90056-1
- ^ بيرستل وريوتيناور (2011) ، ص. 27
- ↑ إسيك، زولتان؛ كويتش، فيرنر (2004). "مسلمات المعادلات لنظرية الأوتوماتا". في مارتين-فيد، كارلوس (محرر). اللغات الرسمية وتطبيقاتها . دراسات في الضبابية والحوسبة المرنة. المجلد 148. برلين: سبرينغر-فيرلاغ . الصفحات 183-196 . ISBN 3-540-20907-7. Zbl 1088.68117 .
- ^ دروستي وكويش (2009) ، ص. 15، نظرية 3.4
- ↑ كونواي، جيه إتش (1971). الجبر المنتظم والآلات المحدودة . لندن: تشابمان وهول. ISBN 0-412-10620-5. Zbl 0231.94041 .
- 1 2 3 غوترمان، ألكسندر إي. (2008). "الرتبة ودوال المحددات للمصفوفات على أنصاف الحلقات". في: يونغ، نيكولاس؛ تشوي، يمون (محرران). دراسات في الرياضيات المعاصرة . سلسلة محاضرات جمعية لندن الرياضية. المجلد 347. مطبعة جامعة كامبريدج . الصفحات 1-33 . ISBN 978-0-521-70564-6. ISSN 0076-0552 . زبل 1181.16042 .
- 1 2 3 ساكاروفيتش (2009) ، ص 28.
- 1 2 3 بيرستل وروتنور (2011) ، ص. 4
- ^ شباير، ديفيد. ستورمفيلز، بيرند (2009) [2004]. “الرياضيات الاستوائية”. الرياضيات. ماج . 82 (3): 163– 173. أرخايف : math/0408099 . دوى : 10.4169/193009809x468760 . S2CID 119142649 . زبل 1227.14051 .
- ↑ سباير، ديفيد؛ ستورمفيلز، بيرند (2009). "الرياضيات الاستوائية" . مجلة الرياضيات . 82 (3): 163-173 . arXiv : math/0408099 . doi : 10.1080/0025570X.2009.11953615 . ISSN 0025-570X . S2CID 15278805 .
- ↑ جون سي. بايز (6 نوفمبر 2001). "ميكانيكا الكم على نظام تبادلي" . مجموعة الأخبار : sci.physics.research . يوزنت: 9s87n0$iv5@gap.cco.caltech.edu . تاريخ الاسترجاع: 25 نوفمبر 2018 .
- ↑ بارد، غريغوري ف. (2009)، التحليل الجبري للتشفير ، سبرينغر، القسم 4.2.1، "الفئات التوافقية"، وما يليه، الصفحات 30-34، ISBN 9780387887579
- ↑ شانويل، ش. هـ. (1991). المجموعات السالبة لها خاصية أويلر وبُعد. في: كاربوني، أ.، بيديكيو، م. س. ، روزوليني، ج. (محررون). نظرية الفئات. سلسلة محاضرات في الرياضيات، المجلد 1488. سبرينغر، برلين، هايدلبرغ
- ↑ زوج (1967) ، ص 271.
- ↑ ديرنيامي وبير (1971)
- ↑ جولان (1999) ، ص 1، الفصل 1
- ^ جوندران ومينوكس (2008) ، ص. 22، الفصل 1، §4.2.
- ^ جوندران ومينوكس (2008) ، ص. 20، الفصل 1، §4.1.
فهرس
- درنيام، جان كلود؛ زوج، كلود (1971)، Problèmes de cheminement dans les graphes (مشاكل المسار في الرسوم البيانية) ، باريس: دونود
- باتشيلي، فرانسوا ؛ كوهين، غي؛ أولسدر، جيرت يان؛ كوادرا، جان بيير (1992)، التزامن والخطية (نسخة إلكترونية) (PDF) ، وايلي، ISBN 0-471-93609-X
- جولان، جوناثان س. (1999). أنصاف الحلقات وتطبيقاتها . نسخة محدثة وموسعة من كتاب "نظرية أنصاف الحلقات، مع تطبيقات في الرياضيات وعلوم الحاسوب النظرية" (لونغمان ساينس تيك، هارلو، 1992، MR 1163371 ). دار كلوير الأكاديمية للنشر، دوردريخت. 381 صفحة + 12 صفحة تمهيدية. ISBN 0-7923-5786-8MR 1746739
- بيرستل، جان؛ بيرين، دومينيك (1985). نظرية الشفرات . الرياضيات البحتة والتطبيقية. المجلد 117. دار النشر الأكاديمية. ISBN 978-0-12-093420-1. Zbl 0587.68066 .
- بيرستل، جان؛ رويتناور، كريستوف (2011). المتسلسلات الكسرية غير التبادلية مع تطبيقاتها . موسوعة الرياضيات وتطبيقاتها. المجلد 137. كامبريدج: مطبعة جامعة كامبريدج . ISBN 978-0-521-19022-0. Zbl 1250.68007 .
- دروست، مانفريد؛ كويتش، فيرنر (2009)، "الفصل 1: أنصاف الحلقات ومتسلسلات القوى الرسمية"، دليل الأوتوماتا الموزونة ، ص 3-28 ، doi : 10.1007/978-3-642-01492-5_1
- دوريت، ريتشارد (2019). الاحتمالات: النظرية والأمثلة (ملف PDF) . سلسلة كامبريدج في الرياضيات الإحصائية والاحتمالية. المجلد 49 ( الطبعة الخامسة). كامبريدج، نيويورك: مطبعة جامعة كامبريدج . ISBN 978-1-108-47368-2OCLC 1100115281. تم الاطلاع عليه بتاريخ 5 نوفمبر 2020 .
- فولاند، جيرالد ب. (1999)، التحليل الحقيقي: التقنيات الحديثة وتطبيقاتها ( الطبعة الثانية)، جون وايلي وأولاده، رقم ISBN 9780471317166
- جولان، جوناثان س. (1999)، أنصاف الحلقات وتطبيقاتها ، دوردريخت: كلوير أكاديميك بابليشرز، doi : 10.1007/978-94-015-9333-5 ، ISBN 0-7923-5786-8MR 1746739
- لوثير، م. (2005). تطبيق التوافقيات على الكلمات . موسوعة الرياضيات وتطبيقاتها. المجلد. 105. عمل جماعي لجان بيرستل، دومينيك بيرين، ماكسيم كروشيمور، إريك لابورت، مهريار موهري، نادية بيسانتي، ماري فرانس ساغوت، جيسين رينرت ، صوفي شبات ، مايكل ووترمان، فيليب جاكيه، فويتشيك شبانكوفسكي ، دومينيك بولالهون، جيل شيفر، رومان كولباكوف، غريغوري. كوتشيروف، جان بول علوش، وفاليري بيرتي . كامبريدج: مطبعة جامعة كامبريدج . رقم ISBN 0-521-84802-4. Zbl 1133.68067 .
- غلازيك، كازيميرز (2002). دليل للأدبيات المتعلقة بشبه الحلقات وتطبيقاتها في الرياضيات وعلوم المعلومات. مع قائمة مراجع كاملة . دوردريخت: كلوير أكاديميك. ISBN 1-4020-0717-5. Zbl 1072.16040 .
- غوندران، ميشيل؛ مينو، ميشيل (2008). الرسوم البيانية، والثنائيات، وشبه الحلقات: نماذج وخوارزميات جديدة . سلسلة واجهات بحوث العمليات/علوم الحاسوب. المجلد 41. دوردريخت: سبرينغر ساينس آند بيزنس ميديا. ISBN 978-0-387-75450-5. Zbl 1201.16038 .
- زوج، كلود (1967)، “Sur des Algorithms pour des problèmes de cheminement dans les graphes Finis (حول خوارزميات مشاكل المسار في الرسوم البيانية المحدودة)”، في Rosentiehl (ed.)، Théorie des graphes (journées Internationales d'études) – نظرية الرسوم البيانية (ندوة دولية) ، روما (إيطاليا)، يوليو 1966: دونود (باريس) وجوردون وبريتش (نيويورك)
{{citation}}: CS1 maint: location ( link ) - ساكاروفيتش، جاك (2009). عناصر نظرية الأوتوماتا . ترجمة روبن توماس من الفرنسية. كامبريدج: مطبعة جامعة كامبريدج . ISBN 978-0-521-84425-3. Zbl 1188.68177 .
للمزيد من القراءة
- جولان، جوناثان س. (2003). أنصاف الحلقات والمعادلات الأفينية عليها . سبرينغر ساينس آند بيزنس ميديا. ISBN 978-1-4020-1358-4. Zbl 1042.16038 .
- غريليه، ميريل ب. (1970). "علاقات غرين في شبه حلقة" . الرياضيات البرتغالية 29 : 181-195 . Zbl 0227.16029 .
- غوناواردينا، جيريمي (1998). "مقدمة في التكرارية". في: غوناواردينا، جيريمي (محرر). التكرارية. بناءً على ورشة عمل، بريستول، المملكة المتحدة، 3-7 أكتوبر 1994 (ملف PDF) . كامبريدج: مطبعة جامعة كامبريدج . الصفحات 1-49 . Zbl 0898.16032 .
- جيبسن، ب . (2004). "من أنصاف الحلقات إلى شبكات كلين المتبقية". ستوديا لوجيكا . 76 (2): 291-303 . doi : 10.1023/B:STUD.0000032089.54776.63 . S2CID 9946523. Zbl 1045.03049 .
- دولان، ستيفن (2013)، "متعة مع أنصاف الحلقات" (ملف PDF) ، وقائع المؤتمر الدولي الثامن عشر لجمعية ACM SIGPLAN حول البرمجة الوظيفية ، الصفحات 101-110 ، doi : 10.1145/2500365.2500613 ، ISBN 9781450323260، S2CID 2436826 ، مؤرشف من الأصل (PDF) بتاريخ 13 يوليو 2018 ، تم استرجاعه بتاريخ 18 أغسطس 2014
- البنى الجبرية
- نظرية الحلقات
