شبه حلقي

في الجبر المجرد ، تُعرف الحلقة شبه الحلقية بأنها بنية جبرية . تُعدّ الحلقات شبه الحلقية تعميمًا للحلقات ، إذ تُسقط شرط وجود معكوس جمعي لكل عنصر . وفي الوقت نفسه، تُعدّ الحلقات شبه الحلقية تعميمًا للشبكات التوزيعية المحدودة .

أصغر شبه حلقة ليست حلقة هي الجبر البولياني ذو العنصرين ، على سبيل المثال مع الفصل المنطقي.{\displaystyle \lor }كعملية جمع. ومن الأمثلة المحفزة التي لا تُمثل حلقة ولا شبكة مجموعة الأعداد الطبيعيةشمال{\displaystyle \mathbb {N} }(بما في ذلك الصفر) تحت عمليتي الجمع والضرب العاديتين. وتكثر أنصاف الحلقات لأن عملية الضرب المناسبة تنشأ كتركيب دوال للتشاكلات الداخلية على أي أحادي تبديلي .

مصطلحات

يُعرّف بعض المؤلفين أنصاف الحلقات دون اشتراط وجود0{\displaystyle 0}أو1{\displaystyle 1}وهذا يجعل المقارنة بين الحلقة وشبه الحلقة من جهة، وبين المجموعة وشبه المجموعة من جهة أخرى، أكثر سلاسة. غالبًا ما يستخدم هؤلاء المؤلفون مصطلح "حلقة " للدلالة على المفهوم المُعرَّف هنا. [ 1 ] [ أ ] وقد نشأ هذا المصطلح على سبيل المزاح، حيث يُشير إلى أن الحلقات هي حلقات بدون عناصر سالبة . (على غرار استخدام مصطلح "حلقة" للدلالة على حلقة بدون عنصر محايد ضربي ) .

يُستخدم مصطلح " ديويد " (اختصارًا لـ "أحادي مزدوج") للدلالة على أنصاف الحلقات أو غيرها من البنى. وقد استخدمه كونزمان عام 1972 للدلالة على نصف الحلقة. [ 2 ] (ويُستخدم أحيانًا للدلالة على أنصاف الحلقات المرتبة طبيعيًا [ 3 ولكن استخدمه باتشيلي وآخرون عام 1992 للدلالة على الزمر الفرعية المتساوية القوة. [ 4 ] )

تعريف

نصف الحلقة هي مجموعةR{\displaystyle R}مزود بعمليتين ثنائيتين+{\displaystyle +}و،{\displaystyle \cdot ,}تسمى الجمع والضرب، بحيث: [ 5 ] [ 6 ] [ 7 ]

  • (R،+){\displaystyle (R,+)}هي زمرة تبديلية ذات عنصر محايد يسمى0{\displaystyle 0}:
    • (أ+ب)+ج=أ+(ب+ج){\displaystyle (a+b)+c=a+(b+c)}
    • 0+أ=أ{\displaystyle 0+a=a}
    • أ+0=أ{\displaystyle a+0=a}
    • أ+ب=ب+أ{\displaystyle a+b=b+a}
  • (R،){\displaystyle (R,\,\cdot \,)}هي مجموعة أحادية ذات عنصر محايد يسمى1{\displaystyle 1}:
    • (أب)ج=أ(بج){\displaystyle (a\cdot b)\cdot c=a\cdot (b\cdot c)}
    • 1أ=أ{\displaystyle 1\cdot a=a}
    • أ1=أ{\displaystyle a\cdot 1=a}

علاوة على ذلك، ترتبط البديهيات التالية بالعمليتين:

  • من خلال عملية الضرب، يتم إفناء أي عنصر من اليسار واليمين بواسطة العنصر المحايد الجمعي:
    • 0أ=0{\displaystyle 0\cdot a=0}
    • أ0=0{\displaystyle a\cdot 0=0}
  • عملية الضرب من اليسار واليمين تتوزع على عملية الجمع:
    • أ(ب+ج)=(أب)+(أج){\displaystyle a\cdot (b+c)=(a\cdot b)+(a\cdot c)}
    • (ب+ج)أ=(بأ)+(جأ){\displaystyle (b+c)\cdot a=(b\cdot a)+(c\cdot a)}

الترميز

الرمز{\displaystyle \cdot }عادة ما يتم حذفها من الترميز؛ أي،أب{\displaystyle a\cdot b}تمت كتابته للتوأب.{\displaystyle ab.}

وبالمثل، فإن ترتيب العمليات هو ترتيب تقليدي، حيث{\displaystyle \cdot }يتم تطبيقه قبل+{\displaystyle +}. إنه،أ+بج{\displaystyle a+b\cdot c}يشيرأ+(بج){\displaystyle a+(b\cdot c)}.

لغرض إزالة الغموض، يمكن للمرء أن يكتب0R{\displaystyle 0_{R}}أو1R{\displaystyle 1_{R}}للتأكيد على البنية التي تنتمي إليها الوحدات قيد الدراسة.

لوxR{\displaystyle x\in R}هو عنصر من عناصر شبه الحلقة ونشمال{\displaystyle n\in {\mathbb {N} }}، ثمن{\displaystyle n}الضرب المتكرر لـx{\displaystyle x}يُشار إلى نفسه بـxن{\displaystyle x^{n}}ويكتب أحدهم بالمثلنx:=x+x++x{\displaystyle n\,x:=x+x+\cdots +x}لـن{\displaystyle n}الجمع المتكرر مرات.

بناء حلقات نصفية جديدة

الحلقة الصفرية مع المجموعة الأساسية{0}{\displaystyle \{0\}}هي شبه حلقة تُسمى شبه الحلقة التافهة. ويمكن تحديد هذه التفاهة من خلال0=1{\displaystyle 0=1}وهكذا، عند الحديث عن أنصاف الحلقات غير التافهة،01{\displaystyle 0\neq 1}يُفترض ذلك ضمنيًا في كثير من الأحيان كما لو كان بديهية إضافية. الآن، بالنظر إلى أي حلقة شبهية، توجد عدة طرق لتعريف حلقات شبهية جديدة.

كما ذكرنا، الأعداد الطبيعيةشمال{\displaystyle {\mathbb {N} }}تشكل بنيتها الحسابية شبه حلقة. بأخذ الصفر وصورة العملية اللاحقة في شبه حلقةR{\displaystyle R}أي المجموعة{xR|x=0RصR.x=ص+1R}{\displaystyle \{x\in R\mid x=0_{R}\lor \exists p\in R.x=p+1_{R}\}}إلى جانب العمليات الموروثة، فهي دائمًا عملية فرعية منR{\displaystyle R}.

لو(م،+){\displaystyle (M,+)}هي شبه حلقة تبديلية، وتركيب الدوال يوفر عملية الضرب لتشكيل شبه حلقة: المجموعةنهاية(م){\displaystyle \operatorname {End} (M)}من التشكلات الداخليةمم{\displaystyle M\to M}تشكل شبه حلقة حيث يتم تعريف الجمع من الجمع النقطي فيم{\displaystyle M}. التشاكل الصفري والعنصر المحايد هما العنصران المحايدان على التوالي. إذام=Rن{\displaystyle M=R^{n}}معR{\displaystyle R}بنصف حلقة، نحصل على نصف حلقة يمكن ربطها بالمربعن×ن{\displaystyle n\times n}المصفوفاتمن(R){\displaystyle {\mathcal {M}}_{n}(R)}بمعاملات فيR{\displaystyle R}، شبه الحلقة المصفوفية باستخدام قواعد الجمع والضرب العادية للمصفوفات. معطىنشمال{\displaystyle n\in {\mathbb {N} }}وR{\displaystyle R}نصف حلقة،من(R){\displaystyle {\mathcal {M}}_{n}(R)}هي دائمًا شبه حلقة أيضًا. وهي عمومًا غير تبديلية حتى لوR{\displaystyle R}كانت عملية تبادلية.

ملحقات دوروه : إذاR{\displaystyle R}إذا كان نصف حلقة،R×شمال{\displaystyle R\times {\mathbb {N} }}مع الجمع والضرب النقطيين الموضحين بواسطةx،نy،م:=xy+(xم+yن)،نم{\displaystyle \langle x,n\rangle \bullet \langle y,m\rangle :=\langle x\cdot y+(x\,m+y\,n),n\cdot m\rangle } تُعرّف حلقة شبهية أخرى ذات عنصر ضربي1R×شمال:=0R،1شمال{\displaystyle 1_{R\times {\mathbb {N} }}:=\langle 0_{R},1_{\mathbb {N} }\rangle }وبالمثل جداً، إذاشمال{\displaystyle N}أي تقسيم فرعي لـR{\displaystyle R}ويمكن أيضًا تعريف شبه حلقة علىR×شمال{\displaystyle R\times N}بمجرد استبدال الجمع المتكرر في الصيغة بالضرب. في الواقع، تعمل هذه التركيبات حتى في ظل شروط أقل صرامة، حيث أن البنيةR{\displaystyle R}ليس من الضروري فعلياً أن يكون لها وحدة ضرب.

تُعتبر أنصاف الحلقات الخالية من مجموع الأصفار، بمعنى ما، أبعد ما يكون عن كونها حلقات. ففي شبه حلقة، يمكن إضافة صفر جديد إليها.0{\displaystyle 0'}إلى المجموعة الأساسية، وبالتالي الحصول على حلقة شبهية خالية من مجموع الأصفار وتفتقر أيضًا إلى قواسم الصفر . على وجه الخصوص، الآن00=0{\displaystyle 0\cdot 0'=0'}والحلقة شبه القديمة ليست في الواقع حلقة شبه فرعية. يمكن للمرء بعد ذلك الاستمرار وإضافة عناصر جديدة "فوقها" عنصرًا تلو الآخر، مع مراعاة الصفر دائمًا. تعمل هاتان الاستراتيجيتان أيضًا في ظل شروط أقل صرامة. في بعض الأحيان تكون الرموز-{\displaystyle -\infty }على التوالي.+{\displaystyle +\infty }تُستخدم هذه الأدوات عند تنفيذ هذه الإنشاءات.

إن إضافة صفر جديد إلى الحلقة شبه التافهة، بهذه الطريقة، ينتج عنه حلقة شبه أخرى يمكن التعبير عنها من حيث الروابط المنطقية للفصل والوصل:{0،1}،+،،0،1={،}،،،،{\displaystyle \langle \{0,1\},+,\cdot ,\langle 0,1\rangle \rangle =\langle \{\bot ,\top \},\lor ,\land ,\langle \bot ,\top \rangle \rangle }وبالتالي، فإن هذه هي أصغر شبه حلقة ليست حلقة. وبشكل صريح، فهي تنتهك بديهيات الحلقة كما يلي:P={\displaystyle \top \lor P=\top }للجميعP{\displaystyle P}، أي1{\displaystyle 1}ليس له معكوس جمعي. في التعريف الذاتي المزدوج ، يكمن الخلل فيP={\displaystyle \bot \land P=\bot }(لا ينبغي الخلط بين هذا وبين الخاتم)Z2{\displaystyle \mathbb {Z} _{2}}، والتي تعمل عملية جمعها كعملية XOR{\displaystyle \veebar }في نموذج فون نيومان للأعداد الطبيعية ،0ω:={}{\displaystyle 0_{\omega }:=\{\}}،1ω:={0ω}{\displaystyle 1_{\omega }:=\{0_{\omega }\}}و2ω:={0ω،1ω}=P1ω{\displaystyle 2_{\omega }:=\{0_{\omega },1_{\omega }\}={\mathcal {P}}1_{\omega }}يمكن تمثيل الحلقة شبه الحلقية المكونة من عنصرين بدلالة الاتحاد والتقاطع في نظرية المجموعات على النحو التالي:P1ω،،،{}،1ω{\displaystyle \langle {\mathcal {P}}1_{\omega },\cup ,\cap ,\langle \{\},1_{\omega }\rangle \rangle }. في الواقع، لا يزال هذا الهيكل يشكل شبه حلقة عندما1ω{\displaystyle 1_{\omega }}يتم استبدالها بأي مجموعة مأهولة على الإطلاق.

المثل العليا على نصف دائرةR{\displaystyle R}تشكل هذه العناصر، مع عملياتها القياسية على المجموعات الجزئية، حلقة شبهية بسيطة مرتبة شبكياً وخالية من مجموع الأصفار. مثالياتمن(R){\displaystyle {\mathcal {M}}_{n}(R)}وهي متوافقة تمامًا مع مُثُلR{\displaystyle R}مجموعة الأفكار اليسارية لـR{\displaystyle R}(وكذلك المثل العليا الصحيحة) تمتلك أيضًا الكثير من هذا الهيكل الجبري، باستثناء أنه حينهاR{\displaystyle R}لا تعمل كعنصر محايد ضربي ثنائي الجانب.

لوR{\displaystyle R}هي حلقة نصفية وأ{\displaystyle A}هو مكان مأهول بالسكان ،أ*{\displaystyle A^{*}}يرمز إلى المونويد الحر ومتعددات الحدود الرسميةR[أ*]{\displaystyle R[A^{*}]}تشكل الكلمات فوقها حلقة شبهية أخرى. بالنسبة للمجموعات الصغيرة، تُستخدم العناصر المولدة عادةً للدلالة على الحلقة شبهية متعددة الحدود. على سبيل المثال، في حالة عنصر واحد فقطأ={X}{\displaystyle A=\{X\}}بحيثأ*={ε،X،X2،X3،...}{\displaystyle A^{*}=\{\varepsilon ,X,X^{2},X^{3},\dots \}}يكتب أحدهمR[X]{\displaystyle R[X]}حلقات فرعية خالية من مجموع الصفرR{\displaystyle R}يمكن استخدامها لتحديد الحلقات الفرعية لـR[أ*]{\displaystyle R[A^{*}]}.

بالنظر إلى مجموعةأ{\displaystyle A}، ليس بالضرورة مجرد عنصر منفرد، بل إضافة عنصر افتراضي إلى المجموعة الأساسية لشبه الحلقةR{\displaystyle R}يمكن تعريف شبه حلقة الدوال الجزئية منأ{\displaystyle A}لR{\displaystyle R}.

بالنظر إلى الاشتقاقد{\displaystyle {\mathrm {d} }}على نصف دائرةR{\displaystyle R}، عملية أخرى "{\displaystyle \bullet }"مُرضٍ"Xy=yX+د(y){\displaystyle X\bullet y=y\bullet X+{\mathrm {d} }(y)}يمكن تعريفها كجزء من عملية ضرب جديدة علىR[X]{\displaystyle R[X]}مما ينتج عنه حلقة نصفية أخرى.

ما سبق ليس بأي حال من الأحوال قائمة شاملة للتركيبات المنهجية.

الاشتقاقات

الاشتقاقات على شبه حلقةR{\displaystyle R}هل الخرائطد:RR{\displaystyle {\mathrm {d} }\colon R\to R}معد(x+y)=د(x)+د(y){\displaystyle {\mathrm {d} }(x+y)={\mathrm {d} }(x)+{\mathrm {d} }(y)}ود(xy)=د(x)y+xد(y){\displaystyle {\mathrm {d} }(x\cdot y)={\mathrm {d} }(x)\cdot y+x\cdot {\mathrm {d} }(y)}.

على سبيل المثال، إذاهـ{\displaystyle E}هو2×2{\displaystyle 2\times 2}مصفوفة الوحدة ويو=(0100){\displaystyle U={\bigl (}{\begin{smallmatrix}0&1\\0&0\end{smallmatrix}}{\bigr )}}ثم المجموعة الفرعية منم2(R){\displaystyle {\mathcal {M}}_{2}(R)}المعطاة بواسطة المصفوفاتأهـ+بيو{\displaystyle a\,E+b\,U}معأ،بR{\displaystyle a,b\in R}هي شبه حلقة ذات مشتقةأهـ+بيوبيو{\displaystyle a\,E+b\,U\mapsto b\,U}.

ملكيات

من الخصائص الأساسية للحلقات النصفية أن1{\displaystyle 1}ليس قاسمًا للصفر من اليسار أو اليمين ، وهذا1{\displaystyle 1}ولكن أيضاً0{\displaystyle 0}مربعات متطابقة، أي أن هذه المربعات لهاu2=u{\displaystyle u^{2}=u}.

تُورَث بعض الخصائص البارزة من بنى المونويد: تتطلب بديهيات المونويد وجود عنصر محايد، وبالتالي لا يمكن أن تكون المجموعة الأساسية لشبه الحلقة فارغة. كذلك، فإن المسند الثنائيxتحذيرy{\displaystyle x\leq _{\text{pre}}y}يُعرَّف بأنهد.x+د=y{\displaystyle \exists d.x+d=y}، المعرّفة هنا لعملية الجمع، تشكل دائمًا علاقة الترتيب المسبق القانونية الصحيحة . الانعكاسيةyتحذيرy{\displaystyle y\leq _{\text{pre}}y}يشهد على ذلك الهوية. علاوة على ذلك،0تحذيرy{\displaystyle 0\leq _{\text{pre}}y}يكون هذا صحيحًا دائمًا، وبالتالي فإن الصفر هو أصغر عنصر بالنسبة لهذا الترتيب الجزئي. وبالنظر إليه تحديدًا في عملية الجمع التبادلي، يمكن تجاهل التمييز بين "اليمين". في الأعداد الصحيحة غير السالبةشمال{\displaystyle \mathbb {N} }على سبيل المثال، هذه العلاقة غير متناظرة ومترابطة بقوة ، وبالتالي فهي في الواقع ترتيب كلي (غير صارم) .

فيما يلي، نناقش المزيد من الخصائص الشرطية.

الحقول النصفية

أي حقل هو أيضًا شبه حقل ، وهو بدوره شبه حلقة توجد فيها أيضًا المعكوسات الضربية.

خواتم

أي حقل هو أيضًا حلقة ، وهي بدورها شبه حلقة توجد فيها أيضًا معكوسات جمعية. تجدر الإشارة إلى أن شبه الحلقة لا تتطلب هذا الشرط، أي أنها لا تتطلب سوى أحادي تبديلي ، وليس زمرة تبديلية . إن الشرط الإضافي للحلقة بحد ذاته يستلزم وجود صفر ضربي. هذا التباين هو أيضًا سبب وجوب تحديد الصفر الضربي صراحةً في نظرية أنصاف الحلقات.

هنا-1{\displaystyle -1}، المعكوس الجمعي لـ1{\displaystyle 1}، مربعات إلى1{\displaystyle 1}. كفروقات تراكميةد=y-x{\displaystyle d=y-x}توجد دائماً في حلقة،xتحذيرy{\displaystyle x\leq _{\text{pre}}y}هي علاقة ثنائية بسيطة في حلقة.

أنصاف الحلقات التبادلية

تُسمى الحلقة شبهيةً حلقةً تبديليةً إذا كانت عملية الضرب فيها تبديليةً أيضًا. [ 8 ] ويمكن تلخيص بديهياتها بإيجاز كما يلي: تتكون من اثنين من أحاديات تبديلية+،0{\displaystyle \langle +,0\rangle }و،1{\displaystyle \langle \cdot ,1\rangle }على مجموعة واحدة بحيثأ0=0{\displaystyle a\cdot 0=0}وأ(ب+ج)=أب+أج{\displaystyle a\cdot (b+c)=a\cdot b+a\cdot c}.

مركز نصف الحلقة هو نصف حلقة فرعية، وكونه تبديليًا يعادل كونه مركزه الخاص .

الحلقة شبه التبادلية للأعداد الطبيعية هي الكائن الأولي من نوعها، مما يعني وجود خريطة فريدة تحافظ على البنية لـشمال{\displaystyle {\mathbb {N} }}في أي شبه حلقة تبديلية.

تُعدّ الشبكات التوزيعية المحدودة أنصاف حلقات تبديلية مرتبة جزئياً، تُحقق معادلات جبرية معينة تتعلق بالتوزيعية والتماثل. وبالتالي، فإنّ نظائرها الثنائية كذلك .

طلب حلقات نصفية

يمكن تعريف المفاهيم أو الترتيب باستخدام صيغ صارمة أو غير صارمة أو من الدرجة الثانية . وتعمل خصائص إضافية مثل التبادلية على تبسيط البديهيات.

بافتراض وجود ترتيب كلي صارم (يُسمى أحيانًا بالترتيب الخطي، أو الترتيب الزائف في الصياغة البنائية)، فإن العناصر الموجبة والسالبة ، بحسب التعريف، تحقق0<x{\displaystyle 0<x}على التوالي.x<0{\displaystyle x<0}بسبب عدم الانعكاسية من النوع الصارم، إذاs{\displaystyle s}إذا كان قاسمًا صفريًا من اليسار، فإنsx<sy{\displaystyle s\cdot x<s\cdot y}هذا غير صحيح. تتميز العناصر غير السالبة بـ¬(x<0){\displaystyle \neg (x<0)}ثم يتم كتابتها0x{\displaystyle 0\leq x}.

بشكل عام، يمكن نفي الترتيب الكلي الصارم لتحديد ترتيب جزئي مرتبط به. ويتجلى عدم تناظر الأول على النحو التالي:x<yxy{\displaystyle x<y\to x\leq y}في الواقع، في الرياضيات الكلاسيكية، يُعد هذا الأخير ترتيبًا كليًا (غير صارم) بحيث0x{\displaystyle 0\leq x}يشير إلىx=00<x{\displaystyle x=0\lor 0<x}وبالمثل، فإن أي ترتيب كلي (غير صارم) يكون نفيه غير انعكاسي ومتعدٍ ، وتُسمى هاتان الخاصيتان مجتمعتان أحيانًا بالترتيب شبه الصارم. وهذا يُعرّف الترتيب الكلي الصارم تعريفًا كلاسيكيًا - بل يمكن تعريف الترتيب الكلي الصارم والترتيب الكلي بدلالة بعضهما البعض.

تذكر أن "تحذير{\displaystyle \leq _{\text{pre}}}إنّ التعريف المذكور أعلاه تافه في أي حلقة. ويُظهر وجود حلقات تقبل ترتيبًا غير صارم غير تافه أن هذه الحلقات لا تتطابق بالضرورة مع "تحذير{\displaystyle \leq _{\text{pre}}}".

أنصاف حلقات متماثلة جمعيًا

حلقة نصفية يكون فيها كل عنصر عنصرًا متماثلًا جمعيًا ، أيx+x=x{\displaystyle x+x=x}لجميع العناصرx{\displaystyle x}يُطلق عليه اسم شبه حلقة متساوية القوة (إضافية) . [ 9 ] إنشاء1+1=1{\displaystyle 1+1=1}يكفي هذا. انتبه إلى أنه في بعض الأحيان يُطلق على هذا اسم شبه الحلقة المتساوية القوة، بغض النظر عن قواعد الضرب.

في مثل هذه الحلقة النصفية،xتحذيرy{\displaystyle x\leq _{\text{pre}}y}يعادلx+y=y{\displaystyle x+y=y}ويشكل دائمًا أمرًا جزئيًا، ويُشار إليه هنا الآن بـxy{\displaystyle x\leq y}وعلى وجه الخصوص، هناx0x=0{\displaystyle x\leq 0\leftrightarrow x=0}لذا، فإن أنصاف الحلقات المتساوية القوة جمعيًا خالية من مجموع الأصفار، وفي الواقع، فإن نصف الحلقة الوحيدة المتساوية القوة جمعيًا التي لها جميع المعكوسات الجمعية هي الحلقة التافهة، وبالتالي فإن هذه الخاصية خاصة بنظرية أنصاف الحلقات. ويحترم الجمع والضرب الترتيب بمعنى أنxy{\displaystyle x\leq y}يشير إلىx+تy+ت{\displaystyle x+t\leq y+t}ويشير كذلك إلىsxsy{\displaystyle s\cdot x\leq s\cdot y}إلى جانبxsys{\displaystyle x\cdot s\leq y\cdot s}للجميعx،y،ت{\displaystyle x,y,t}وs{\displaystyle s}.

لوR{\displaystyle R}إذا كانت متعددة الحدود في دالة متماثلة جمعيًا، فإن كثيرات الحدود فيR[X*]{\displaystyle R[X^{*}]}.

تُعتبر الحلقة النصفية التي يوجد على مجموعتها الأساسية بنية شبكية مرتبة شبكياً إذا تطابق المجموع مع الوصل.x+y=xy{\displaystyle x+y=x\lor y}والمنتج يقع أسفل منطقة اللقاءxyxy{\displaystyle x\cdot y\leq x\land y}إن الحلقة شبه المرتبة للمثاليات في الحلقة شبه ليست بالضرورة توزيعية بالنسبة لبنية الشبكة.

وبشكل أدق من مجرد خاصية التساوي الجمعي، يُطلق على شبه الحلقة اسم حلقة بسيطة إذا وفقط إذاx+1=1{\displaystyle x+1=1}للجميعx{\displaystyle x}ثم أيضًا1+1=1{\displaystyle 1+1=1}وx1{\displaystyle x\leq 1}للجميعx{\displaystyle x}. هنا1{\displaystyle 1}ثم يعمل كعنصر لانهائي جمعي. إذاR{\displaystyle R}إذا كانت حلقة شبهية متساوية القوة جمعيًا،{xR|x+1=1}{\displaystyle \{x\in R\mid x+1=1\}}مع العمليات الموروثة، تُعدّ الحلقة الفرعية البسيطة مثالًا على حلقة فرعية بسيطة. ومن الأمثلة على الحلقات الفرعية المتساوية الجمع غير البسيطة الحلقة الفرعية الاستوائية علىR{-}{\displaystyle {\mathbb {R} }\cup \{-\infty \}}مع الدالة القصوى من الرتبة الثانية، بالنسبة للرتبة القياسية، كعملية جمع. إن تقريبها الجزئي البسيط أمر تافه.

الحلقة شبه c هي حلقة شبه متساوية القوة مع تعريف الجمع على مجموعات عشوائية.

حلقة شبهية متساوية القوة جمعية مع ضرب متساوي القوة،x2=x{\displaystyle x^{2}=x}يُطلق عليها اسم شبه الحلقة المتساوية القوة جمعيًا وضربيًا ، أو ببساطة شبه الحلقة المتساوية القوة. أما أنصاف الحلقات البسيطة التبادلية التي تتمتع بهذه الخاصية فهي تحديدًا الشبكات التوزيعية المحدودة ذات العنصر الأدنى والأعلى الوحيدين (وهما الوحدات). وتُعدّ جبريات هايتينغ من هذه الأنصاف الحلقات، بينما تُعتبر الجبريات البولية حالة خاصة منها.

علاوة على ذلك، بالنظر إلى شبكتين توزيعيتين محدودتين، هناك تركيبات تؤدي إلى حلقات شبهية تبادلية متطابقة الجمع، وهي أكثر تعقيدًا من مجرد المجموع المباشر للهياكل.

خطوط الأعداد

في نموذج للخاتمR{\displaystyle {\mathbb {R} }}، يمكن للمرء أن يُعرّف مسندًا إيجابيًا غير تافه0<x{\displaystyle 0<x}ومسندx<y{\displaystyle x<y}مثل0<(y-x){\displaystyle 0<(y-x)}يشكل ذلك نظامًا كليًا صارمًا، يحقق خصائص مثل¬(x<00<x)x=0{\displaystyle \neg (x<0\lor 0<x)\to x=0}أو قانون التثليث الكلاسيكي . يشكل هذا التركيب، مع عمليتي الجمع والضرب القياسيتين، حقلًا مرتبًا ترتيبًا صارمًا كاملًا من نوع ديديكيند . وبحسب التعريف ، فإن جميع خصائص الرتبة الأولى المثبتة في نظرية الأعداد الحقيقية قابلة للإثبات أيضًا في نظرية الحقل المغلق الحقيقي القابل للتقرير . على سبيل المثال، هناx<y{\displaystyle x<y}يتعارض معد.y+د2=x{\displaystyle \exists d.y+d^{2}=x}.

لكن بالإضافة إلى الحقول المرتبة، تظل الخصائص الأربع المذكورة أدناه صالحة أيضًا في العديد من الحلقات الفرعية لـR{\displaystyle {\mathbb {R} }}بما في ذلك الأعداد النسبية، والأعداد الصحيحة، بالإضافة إلى الأجزاء غير السالبة من كل بنية من هذه البنى. وعلى وجه الخصوص، تُعد الأعداد الحقيقية غير السالبة، والأعداد النسبية غير السالبة، والأعداد الصحيحة غير السالبة، أنصاف حلقات من هذا النوع. تتشابه الخاصيتان الأوليان مع الخاصية السارية في أنصاف الحلقات المتساوية القوة: إذ يحترم كل من الإزاحة والقياس هذه الحلقات المرتبة ، بمعنى أن الجمع والضرب في هذه الحلقة يحترمان

  • (x<y)x+ت<y+ت{\displaystyle (x<y)\,\to \,x+t<y+t}
  • (x<y0<s)sx<sy{\displaystyle (x<y\land 0<s)\,\to \,s\cdot x<s\cdot y}

بخاصة،(0<y0<s)0<sy{\displaystyle (0<y\land 0<s)\to 0<s\cdot y}وبالتالي فإن تربيع العناصر يحافظ على الإيجابية.

لاحظ خاصيتين إضافيتين صحيحتين دائمًا في الحلقة. أولًا، بشكل بديهيPxتحذيرy{\displaystyle P\,\to \,x\leq _{\text{pre}}y}لأيP{\displaystyle P}. وعلى وجه الخصوص، يمكن التعبير عن وجود الفرق الجمعي الموجب على النحو التالي:

  • (x<y)xتحذيرy{\displaystyle (x<y)\,\to \,x\leq _{\text{pre}}y}

ثانيًا، في حالة وجود ترتيب ثلاثي، يتم تقسيم العناصر غير الصفرية للمجموعة الجمعية إلى عناصر موجبة وسالبة، مع انتقال عملية الانعكاس بينهما.(-1)2=1{\displaystyle (-1)^{2}=1}ثبت أن جميع المربعات غير سالبة. وبالتالي، فإن الحلقات غير التافهة لها وحدة ضرب موجبة.

  • 0<1{\displaystyle 0<1}

وبعد مناقشة ترتيب صارم، يترتب على ذلك ما يلي:01{\displaystyle 0\neq 1}و11+1{\displaystyle 1\neq 1+1}، إلخ.

حلقات نصفية مرتبة بشكل منفصل

توجد بعض المفاهيم المتضاربة حول التقطيع في نظرية الترتيب. وبالنظر إلى ترتيب صارم على شبه حلقة، فإن أحد هذه المفاهيم يُعطى بواسطة1{\displaystyle 1}التحلي بالإيجابية والتغطية0{\displaystyle 0}أي أنه لا يوجد عنصرx{\displaystyle x}بين الوحدات،¬(0<xx<1){\displaystyle \neg (0<x\land x<1)}. الآن في السياق الحالي، يُطلق على الترتيب اسم الترتيب المنفصل إذا تم استيفاء هذا الشرط، وعلاوة على ذلك، فإن جميع عناصر الحلقة شبه السالبة غير سالبة، بحيث تبدأ الحلقة شبه السالبة بالوحدات.

يرمز بـPأ-{\displaystyle {\mathsf {PA}}^{-}}تؤكد نظرية شبه الحلقة التبادلية ذات الترتيب المنفصل أيضًا صحة الخصائص الأربع المذكورة أعلاه التي تربط الترتيب الصارم بالبنية الجبرية. جميع نماذجها تمتلك النموذجشمال{\displaystyle \mathbb {N} }بما أن الجزء الأولي، وعدم اكتمال غودل ، وعدم قابلية تعريف تارسكي تنطبق بالفعل علىPأ-{\displaystyle {\mathsf {PA}}^{-}}تُؤكد العناصر غير السالبة في حلقة تبديلية مرتبة بشكل منفصل صحة بديهياتPأ-{\displaystyle {\mathsf {PA}}^{-}}لذا، فإن نموذجًا أكثر غرابة للنظرية يُعطى بواسطة العناصر الموجبة في حلقة كثيرات الحدودZ[X]{\displaystyle {\mathbb {Z} }[X]}، مع مسند إيجابي لـص=ك=0نأكXك{\displaystyle p={\textstyle \sum }_{k=0}^{n}a_{k}X^{k}}مُعرَّف بدلالة آخر معامل غير صفري،0<ص:=(0<أن){\displaystyle 0<p:=(0<a_{n})}، وص<q:=(0<q-ص){\displaystyle p<q:=(0<q-p)}كما سبق. بينماPأ-{\displaystyle {\mathsf {PA}}^{-}}يثبت كل شيءΣ1{\displaystyle \Sigma _{1}}- جمل صحيحة حولشمال{\displaystyle \mathbb {N} }وبعيدًا عن هذا التعقيد، يمكن للمرء أن يجد عبارات بسيطة من هذا القبيل مستقلة عنPأ-{\displaystyle {\mathsf {PA}}^{-}}على سبيل المثال، بينماΠ1{\displaystyle \Pi _{1}}-جمل صحيحة حولشمال{\displaystyle \mathbb {N} }لا تزال هذه العبارات صحيحة بالنسبة للنموذج الآخر الذي تم تحديده للتو، وذلك من خلال فحص متعدد الحدود.X{\displaystyle X}يوضحPأ-{\displaystyle {\mathsf {PA}}^{-}}-استقلالΠ2{\displaystyle \Pi _{2}}- يدعي أن جميع الأرقام على شكل2q{\displaystyle 2q}أو2q+1{\displaystyle 2q+1}( فردي أو زوجي ). مما يدل على ذلك أيضًاZ[X،Y]/(X2-2Y2){\displaystyle {\mathbb {Z} }[X,Y]/(X^{2}-2Y^{2})}يمكن ترتيبها بشكل منفصل، مما يدل على أنΠ1{\displaystyle \Pi _{1}}-مطالبةx22y2{\displaystyle x^{2}\neq 2y^{2}}للقيم غير الصفريةx{\displaystyle x}(لا يوجد عدد نسبي مربع يساوي2{\displaystyle 2}") مستقل. وبالمثل، فإن التحليل لـZ[X،Y،Z]/(XZ-Y2){\displaystyle {\mathbb {Z} }[X,Y,Z]/(XZ-Y^{2})}يُظهر استقلال بعض العبارات المتعلقة بالتحليل إلى عوامل، وهو أمر صحيح فيشمال{\displaystyle \mathbb {N} }هناكPأ{\displaystyle {\mathsf {PA}}}توصيفات البدائية التيPأ-{\displaystyle {\mathsf {PA}}^{-}}لا يتم التحقق من صحة الرقم2{\displaystyle 2}.

في الاتجاه الآخر، من أي نموذج منPأ-{\displaystyle {\mathsf {PA}}^{-}}يمكن للمرء أن يبني حلقة مرتبة، والتي تحتوي حينها على عناصر سالبة بالنسبة للترتيب، والتي لا تزال منفصلة بالمعنى الذي1{\displaystyle 1}أغطية0{\displaystyle 0}ولهذا الغرض، يتم تعريف فئة تكافؤ للأزواج من شبه الحلقة الأصلية. وبشكل تقريبي، تتوافق الحلقة مع اختلافات العناصر في البنية القديمة، مما يعمم الطريقة التي تتوافق بها الحلقة الأوليةZ{\displaystyle \mathbb {Z} }يمكن تعريفها منشمال{\displaystyle \mathbb {N} }وهذا، في الواقع، يضيف جميع المعكوسات، ثم يصبح الترتيب الجزئي تافهاً مرة أخرى من حيث ذلكx.xتحذير0{\displaystyle \forall x.x\leq _{\text{pre}}0}.

بغض النظر عن حجم الجبر ذي العنصرين، لا تبدأ أي حلقة شبه بسيطة بالوحدات. كما أن كونها مرتبة ترتيبًا منفصلاً يتناقض مع، على سبيل المثال، الترتيب القياسي على حلقة الأعداد النسبية غير السالبة.سؤال0{\displaystyle {\mathbb {Q} }_{\geq 0}}، وهو ما يجعله كثيفًا بين الوحدات. كمثال آخر،Z[X]/(2X2-1){\displaystyle {\mathbb {Z} }[X]/(2X^{2}-1)}يمكن طلبها، ولكن ليس بشكل سري.

الأعداد الطبيعية

Pأ-{\displaystyle {\mathsf {PA}}^{-}}بالإضافة إلى ذلك، فإن الاستقراء الرياضي يعطي نظرية مكافئة لحسابات بيانو من الدرجة الأولىPأ{\displaystyle {\mathsf {PA}}}ومن المعروف أيضاً أن هذه النظرية ليست قاطعة ، ولكنشمال{\displaystyle \mathbb {N} }هذا هو النموذج المقصود بالطبع.Pأ{\displaystyle {\mathsf {PA}}}يثبت ذلك أنه لا يوجد قواسم صفرية وأنها خالية من المجموع الصفري، وبالتالي فإن أي نموذج لها ليس حلقة.

البديهيات القياسية لـPأ{\displaystyle {\mathsf {PA}}}وهي أكثر إيجازًا، وعادةً ما تُعالج نظرية ترتيبها من حيث "غير الصارمة".تحذير{\displaystyle \leq _{\text{pre}}}ومع ذلك، فإن مجرد إزالة مبدأ الاستقراء القوي من تلك البديهيات لا يُنتج نظرية جبرية قابلة للتطبيق. في الواقع، حتى حساب روبنسونسؤال{\displaystyle {\mathsf {Q}}}إنّ إزالة الاستقراء مع إعادة إضافة مسلمة وجود السلف لا تثبت بديهية المونويد.y.(0+y=y){\displaystyle \forall y.(0+y=y)}.

حلقات نصفية كاملة

الحلقة شبه الكاملة هي حلقة شبه يكون فيها المونويد الجمعي مونويدًا كاملاً ، أي أن لها عملية جمع لانهائيةΣأنا{\displaystyle \Sigma _{I}}لأي مجموعة فهارسأنا{\displaystyle I}وأن قوانين التوزيع التالية (اللامتناهية) يجب أن تسري: [ 10 ] [ 11 ] [ 12 ]

أناأنا(أأأنا)=أ(أناأناأأنا)،أناأنا(أأناأ)=(أناأناأأنا)أ.{\displaystyle {\textstyle \sum }_{i\in I}{\left(a\cdot a_{i}\right)}=a\cdot \left({\textstyle \sum }_{i\in I}{a_{i}}\right),\qquad {\textstyle \sum }_{i\in I}{\left(a_{i}\cdot a\right)}=\left({\textstyle \sum }_{i\in I}{a_{i}}\right)\cdot a.}

من أمثلة الحلقات شبه الكاملة مجموعة القوى لوحدة أحادية تحت الاتحاد وحلقة المصفوفة شبه الكاملة. [ 13 ] بالنسبة للحلقات شبه التبادلية، والحلقات شبه المتساوية الجمع، والحلقات شبه البسيطة، ترتبط هذه الخاصية بالشبكات المتبقية .

أنصاف الحلقات المتصلة

تُعرَّف الحلقة شبه المتصلة بأنها حلقة يكون فيها شبه الزمرة الجمعية شبه زمرة متصلة . أي أنها مرتبة جزئيًا ولها خاصية الحد الأعلى الأدنى ، ويحافظ فيها الجمع والضرب على الترتيب والقيم العليا.شمال{}{\displaystyle \mathbb {N} \cup \{\infty \}}مع عمليات الجمع والضرب المعتادة وتوسيع الترتيب، تكون حلقة شبه متصلة. [ 14 ]

أي حلقة شبه متصلة تكون كاملة: [ 10 ] ويمكن اعتبار هذا جزءًا من التعريف. [ 13 ]

أنصاف حلقات النجوم

الحلقة النصفية النجمية ( أو الحلقة النصفية المغلقة) هي حلقة نصفية مع عامل أحادي إضافي*{\displaystyle {}^{*}}[ 9 ] [ 11 ] [ 15 ] [ 16 ] مُرضية

أ*=1+أأ*=1+أ*أ.{\displaystyle a^{*}=1+aa^{*}=1+a^{*}a.}

جبر كلين هو شبه حلقة نجمية مع جمع متماثل وبعض البديهيات الإضافية. وهي مهمة في نظرية اللغات الرسمية والتعبيرات النمطية . [ 11 ]

حلقات نصفية نجمية كاملة

في شبه الحلقة النجمية الكاملة ، يتصرف عامل النجمة بشكل مشابه لنجمة كلين المعتادة : بالنسبة لشبه الحلقة الكاملة، نستخدم عامل المجموع اللانهائي لإعطاء التعريف المعتاد لنجمة كلين: [ 11 ]

أ*=ج0أج،{\displaystyle a^{*}={\textstyle \sum }_{j\geq 0}{a^{j}},}

أين

أج={1،ج=0،أأج-1=أج-1أ،ج>0.{\displaystyle a^{j}={\begin{cases}1,&j=0,\\a\cdot a^{j-1}=a^{j-1}\cdot a,&j>0.\end{cases}}}

لاحظ أن أنصاف الحلقات النجمية لا ترتبط بالجبر النجمي ، حيث يجب بدلاً من ذلك اعتبار عملية النجمة بمثابة اقتران معقد .

كونواي شبه الدائري

الحلقة شبه كونواي هي حلقة شبه نجمية تحقق معادلات مجموع النجوم ومعادلات ضرب النجوم: [ 9 ] [ 17 ]

(أ+ب)*=(أ*ب)*أ*،(أب)*=1+أ(بأ)*ب.{\displaystyle {\begin{aligned}(a+b)^{*}&=\left(a^{*}b\right)^{*}a^{*},\\(ab)^{*}&=1+a(ba)^{*}b.\end{aligned}}}

كل حلقة نجمية شبه كاملة هي أيضًا حلقة كونواي شبه كاملة، [ 18 ] ولكن العكس غير صحيح. ومن أمثلة حلقات كونواي شبه الكاملة مجموعة الأعداد النسبية غير السالبة الموسعة.سؤال0{}{\displaystyle \mathbb {Q} _{\geq 0}\cup \{\infty \}}مع الجمع والضرب المعتادين (هذا تعديل للمثال الذي يتضمن أعدادًا حقيقية غير سالبة موسعة، والمُعطى في هذا القسم، وذلك بحذف الأعداد غير النسبية). [ 11 ] شبه الحلقة التكرارية هي شبه حلقة كونواي تُحقق بديهيات مجموعة كونواي، [ 9 ] والتي ربطها جون كونواي بالمجموعات في شبه الحلقات النجمية. [ 19 ]

أمثلة

  • بحسب التعريف، فإن أي حلقة وأي شبه حقل هما أيضاً شبه حلقة.
  • تشكل العناصر غير السالبة في حلقة تبديلية مرتبة بشكل منفصل حلقة شبه تبديلية مرتبة بشكل منفصل (بالمعنى المحدد أعلاه). وهذا يشمل الأعداد الصحيحة غير السالبة.شمال{\displaystyle \mathbb {N} }.
  • كذلك، تُشكّل الأعداد النسبية غير السالبة، بالإضافة إلى الأعداد الحقيقية غير السالبة، أنصاف حلقات تبديلية مرتبة. [ 20 ] [ 21 ] [ 22 ] ويُطلق على الأخيرة اسمشبه حلقة احتمالية . [ 6 ] وهي ليست حلقات ولا شبكات توزيعية. هذه الأمثلة لها أيضًا معكوسات ضربية.
  • يمكن إنشاء حلقات شبه جديدة بشكل مشروط من حلقات شبه موجودة، كما هو موضح. الأعداد الطبيعية الموسعةشمال{}{\displaystyle \mathbb {N} \cup \{\infty \}}مع توسيع نطاق الجمع والضرب بحيث0=0{\displaystyle 0\cdot \infty =0}[ 21 ]
  • مجموعة كثيرات الحدود ذات المعاملات العددية الطبيعية، والتي يُرمز لها بـشمال[x]،{\displaystyle \mathbb {N} [x],}يشكل شبه حلقة تبديلية. في الواقع، هذه هي شبه الحلقة التبديلية الحرة على مولد واحد.{x}.{\displaystyle \{x\}.}كما يمكن تعريف كثيرات الحدود ذات المعاملات في أنصاف الحلقات الأخرى، كما تمت مناقشته.
  • الكسور المنتهية غير السالبةشمالبشمال:={مب-ن|م،نشمال}{\displaystyle {\tfrac {\mathbb {N} }{b^{\mathbb {N} }}}:=\left\{mb^{-n}\mid m,n\in \mathbb {N} \right\}}، في نظام عددي موضعي لأساس معينبشمال{\displaystyle b\in \mathbb {N} }تشكل هذه العناصر مجموعة فرعية من العقلانيات. لدى المرءشمالبشمالشمالجشمال{\displaystyle {\tfrac {\mathbb {N} }{b^{\mathbb {N} }}}\subseteq {\tfrac {\mathbb {N} }{c^{\mathbb {N} }}}}لوب{\displaystyle b}يقسمج{\displaystyle c}. ل|ب|>1{\displaystyle |b|>1}، المجموعةZ0بZ0:=شمالبشمال(-شمال0بشمال){\displaystyle {\tfrac {\mathbb {Z} _{0}}{b^{\mathbb {Z} _{0}}}}:={\tfrac {\mathbb {N} }{b^{\mathbb {N} }}}\cup \left(-{\tfrac {\mathbb {N} _{0}}{b^{\mathbb {N} }}}\right)}هي حلقة جميع الكسور المنتهية إلى أساسب،{\displaystyle b,}وهي كثيفة فيسؤال{\displaystyle \mathbb {Q} }.
  • حلقة السجل شبه الدائرية علىR{±}{\displaystyle \mathbb {R} \cup \{\pm \infty \}}مع إضافة ما يلي:xy=-سجل(هـ-x+هـ-y){\displaystyle x\oplus y=-\log \left(e^{-x}+e^{-y}\right)}مع الضرب+،{\displaystyle +,}العنصر الصفري+،{\displaystyle +\infty ,}وعنصر الوحدة0.{\displaystyle 0.}[ 6 ]
  • وبالمثل، يتم تعريف شبه الحلقة الاستوائية ذات الحد الأقصى الزائد باستخدامR{-}{\displaystyle \mathbb {R} \cup \{-\infty \}}معالأعلى(أ،ب){\displaystyle \max(a,b)}يُستخدم كعنصر جمع شبه حلقي (عنصر محايد)-{\displaystyle -\infty }) والجمع العادي (العنصر المحايد 0) الذي يعمل كضرب في شبه الحلقة. وبالمثل، فإن شبه الحلقة الاستوائية ذات الحد الأدنى من الجمع هيR{}،{\displaystyle \mathbb {R} \cup \{\infty \},}ويحل min محل max كعملية جمع. [ 23 ] وهناك إصدار ذو صلة يحتوي علىR{±}{\displaystyle \mathbb {R} \cup \{\pm \infty \}}باعتبارها المجموعة الأساسية. [ 6 ] [ 10 ] وهي مجال بحث نشط، يربط بين التنوعات الجبرية والهياكل الخطية القطعية . [ 24 ]
  • شبه حلقة لوكاسيفيتش : الفترة المغلقة[0،1]{\displaystyle [0,1]}بالإضافة إلىأ{\displaystyle a}وب{\displaystyle b}يتم الحصول عليها بأخذ القيمة القصوى للوسيطات (الأعلى(أ،ب){\displaystyle \max(a,b)}) وضربأ{\displaystyle a}وب{\displaystyle b}مقدم منالأعلى(0،أ+ب-1){\displaystyle \max(0,a+b-1)}يظهر في المنطق متعدد القيم . [ 11 ]
  • كما يتم تعريف شبه حلقة فيتربي على مجموعة الأساس[0،1]{\displaystyle [0,1]}ويكون مجموعها هو القيمة القصوى، لكن ضربها هو الضرب المعتاد للأعداد الحقيقية. وتظهر في التحليل الاحتمالي . [ 11 ]
  • تشكل مجموعة جميع المُثُل في حلقة شبه معينة حلقة شبه تحت عملية جمع وضرب المُثُل.
  • أي شبكة محدودة وموزعة هي شبه حلقة تبديلية تحت عمليتي الربط والتقاطع. الجبر البولياني حالة خاصة من هذه الشبكات. الحلقة البوليانية هي أيضًا شبه حلقة (بل حلقة في الواقع)، لكنها ليست متطابقة تحت عملية الجمع . شبه الحلقة البوليانية هي شبه حلقة متماثلة مع شبه حلقة جزئية من جبر بولياني. [ 20 ]
  • الحلقة شبه التبادلية التي تشكلها الجبر البولياني ذو العنصرين والمُعرَّفة بواسطة1+1=1{\displaystyle 1+1=1}ويُطلق عليه أيضًا اسمشبه الحلقة البوليانية . [ 6 ] [ 21 ] [ 22 ] [ 9 ] الآن، لدينا مجموعتانX{\displaystyle X}وY،{\displaystyle Y,}العلاقات الثنائية بينX{\displaystyle X}وY{\displaystyle Y}تتوافق مع المصفوفات المفهرسة بواسطةX{\displaystyle X}وY{\displaystyle Y}مع المدخلات في شبه الحلقة البوليانية، فإن جمع المصفوفات يتوافق مع اتحاد العلاقات، وضرب المصفوفات يتوافق مع تركيب العلاقات . [ 25 ]
  • أي كمية أحادية هي شبه حلقة تحت عمليتي الربط والضرب.
  • شبكة مائلة عادية في حلقةR{\displaystyle R}هي شبه حلقة لعمليتي الضرب و نابلا، حيث تُعرَّف العملية الأخيرة بواسطةأب=أ+ب+بأ-أبأ-بأب{\displaystyle a\mathbin {\nabla } b=a+b+ba-aba-bab}

استخدام المزيد من المونيدات،

  • بناء أنصاف الحلقاتنهاية(م){\displaystyle \operatorname {End} (M)}من أحادي تبديليم{\displaystyle M}تم وصفه. كما هو مذكور، أعطِ نصف حلقةR{\displaystyle R}، الن×ن{\displaystyle n\times n}تشكل المصفوفات حلقة شبهية أخرى. على سبيل المثال، المصفوفات ذات العناصر غير السالبة،من(شمال)،{\displaystyle {\mathcal {M}}_{n}(\mathbb {N} ),}تشكيل شبه حلقة مصفوفية. [ 20 ]
  • بالنظر إلى أبجدية (مجموعة منتهية) Σ، فإن مجموعة اللغات الرسمية علىΣ{\displaystyle \Sigma }(مجموعات فرعية منΣ*{\displaystyle \Sigma ^{*}}) هي شبه حلقة ذات ناتج ناتج عن ربط السلاسلل1ل2={w1w2|w1ل1،w2ل2}{\displaystyle L_{1}\cdot L_{2}=\left\{w_{1}w_{2}\mid w_{1}\in L_{1},w_{2}\in L_{2}\right\}}والجمع هو اتحاد اللغات (أي الاتحاد العادي كمجموعات). الصفر في هذه الحلقة شبه الدائرية هو المجموعة الفارغة (اللغة الفارغة)، ووحدة الحلقة شبه الدائرية هي اللغة التي تحتوي فقط على السلسلة الفارغة . [ 11 ]
  • تعميم المثال السابق (عن طريق المشاهدة)Σ*{\displaystyle \Sigma ^{*}}باعتباره أحاديًا حرًا فوقΣ{\displaystyle \Sigma })، يأخذم{\displaystyle M}أن يكون أي أحادي؛ مجموعة القوى(م){\displaystyle \wp (M)}من جميع المجموعات الفرعية لـم{\displaystyle M}يشكل شبه حلقة تحت الاتحاد النظري للمجموعات كعملية جمع وضرب على مستوى المجموعات:يوV={uv|uيو، vV}.{\displaystyle U\cdot V=\{u\cdot v\mid u\in U,\ v\in V\}.}[ 22 ]
  • وبالمثل، إذا(م،هـ،){\displaystyle (M,e,\cdot )}إذا كانت أحادية، فإن مجموعة المجموعات المتعددة المنتهية فيم{\displaystyle M}يشكل شبه حلقة. أي أن العنصر عبارة عن دالةو|مشمال{\displaystyle f\mid M\to \mathbb {N} }; بالنظر إلى عنصر منم،{\displaystyle M,}تخبرك الدالة بعدد مرات ظهور هذا العنصر في المجموعة المتعددة التي يمثلها. وحدة الجمع هي دالة الصفر الثابتة. وحدة الضرب هي دالة الربطهـ{\displaystyle e}ل1،{\displaystyle 1,}وجميع العناصر الأخرى لـم{\displaystyle M}ل0.{\displaystyle 0.}المجموع يُعطى بواسطة(و+ز)(x)=و(x)+ز(x){\displaystyle (f+g)(x)=f(x)+g(x)}والناتج يُعطى بواسطة(وز)(x)={و(y)ز(z)|yz=x}.{\displaystyle (fg)(x)=\sum \{f(y)g(z)\mid y\cdot z=x\}.}

فيما يتعلق بالمجموعات وما شابهها من مفاهيم مجردة،

  • بالنظر إلى مجموعةيو،{\displaystyle U,}مجموعة العلاقات الثنائية علىيو{\displaystyle U}هي شبه حلقة، حيث يمثل الجمع اتحاد العلاقات (كمجموعات)، ويمثل الضرب تركيب العلاقات . صفر هذه الشبه حلقة هو العلاقة الفارغة ، ووحدتها علاقة التطابق . [ 11 ] تتوافق هذه العلاقات مع شبه حلقة المصفوفات (أو بالأحرى، شبه جبر المصفوفات) للمصفوفات المربعة المفهرسة بـيو{\displaystyle U}مع إدخالات في شبه الحلقة البوليانية، ثم الجمع والضرب هما عمليات المصفوفة المعتادة، بينما الصفر والوحدة هما مصفوفة الصفر ومصفوفة الوحدة المعتادة .
  • تشكل مجموعة الأعداد الأصلية الأصغر من أي عدد أصلي لانهائي مُعطى شبه حلقة تحت عمليتي جمع وضرب الأعداد الأصلية. وتشكل فئة جميع الأعداد الأصلية لنموذج داخلي شبه حلقة (فئة) تحت عمليتي جمع وضرب الأعداد الأصلية (النموذج الداخلي).
  • عائلة (فئات التكافؤ التشاكلي لـ) الفئات التوافقية (مجموعات من عدد قابل للعد من العناصر ذات أحجام صحيحة غير سالبة بحيث يوجد عدد محدود من العناصر من كل حجم) مع الفئة الفارغة كعنصر الصفر، والفئة التي تتكون فقط من المجموعة الفارغة كوحدة، والاتحاد المنفصل للفئات كعملية جمع، والضرب الديكارتي للفئات كعملية ضرب. [ 26 ]
  • تشكل فئات التشاكل للكائنات في أي فئة توزيعية ، تحت عمليات الضرب المشترك والضرب ، شبه حلقة تُعرف باسم حلقة بيرنسايد. [ 27 ] حلقة بيرنسايد هي حلقة إذا وفقط إذا كانت الفئة تافهة .

أنصاف حلقات النجوم

يمكن تجهيز العديد من الهياكل المذكورة أعلاه بنظام تشغيل نجمي.

  • الحلقة شبه الكاملة المذكورة للعلاقات الثنائية على مجموعة أساسية مايو{\displaystyle U}في أيR*=ن0Rن{\displaystyle R^{*}=\bigcup _{n\geq 0}R^{n}}للجميعRيو×يو.{\displaystyle R\subseteq U\times U.}إن عملية النجمة هذه هي في الواقع الإغلاق الانعكاسي والمتعدي لـR{\displaystyle R}(أي أصغر علاقة ثنائية انعكاسية ومتعدية علىيو{\displaystyle U}يحتوي علىR.{\displaystyle R.}). [ 11 ]
  • إن شبه الحلقة للغات الرسمية هي أيضًا شبه حلقة نجمية كاملة، حيث تتطابق عملية النجمة مع نجمة كلين (للمجموعات/اللغات). [ 11 ]
  • مجموعة الأعداد الحقيقية الممتدة غير السالبة[0،]{\displaystyle [0,\infty ]}بالإضافة إلى عمليتي الجمع والضرب المعتادتين للأعداد الحقيقية، تُشكّل هذه الحلقة شبه حلقة نجمية كاملة، وتُعطى عملية النجمة فيها كما يلي:أ*=11-أ{\displaystyle a^{*}={\tfrac {1}{1-a}}}ل0أ<1{\displaystyle 0\leq a<1}(أي المتسلسلة الهندسية ) وأ*={\displaystyle a^{*}=\infty }لأ1.{\displaystyle a\geq 1.}[ 11 ]
  • الحلقة النصفية المنطقية مع0*=1*=1.{\displaystyle 0^{*}=1^{*}=1.}[ ب ] [ 11 ]
  • نصف الحلقةشمال{}،{\displaystyle \mathbb {N} \cup \{\infty \},}مع الجمع والضرب الموسعين، و0*=1،أ*={\displaystyle 0^{*}=1,a^{*}=\infty }لأ1.{\displaystyle a\geq 1.}[ ب ] [ 11 ]

التطبيقات

ال(الأعلى،+){\displaystyle (\max ,+)}و(مين،+){\displaystyle (\min ,+)}تُستخدم أنصاف الحلقات الاستوائية على الأعداد الحقيقية غالبًا في تقييم أداء أنظمة الأحداث المنفصلة. تمثل الأعداد الحقيقية حينها "التكاليف" أو "وقت الوصول"؛ وتُشير عملية "الحد الأقصى" إلى ضرورة انتظار جميع المتطلبات المسبقة للحدث (وبالتالي استغراق أقصى وقت)، بينما تُشير عملية "الحد الأدنى" إلى إمكانية اختيار الخيار الأفضل والأقل تكلفة؛ وتُشير علامة الجمع (+) إلى التراكم على طول المسار نفسه.

وبالتالي، يمكن إعادة صياغة خوارزمية فلويد -وارشال لأقصر المسارات كعملية حسابية على(مين،+){\displaystyle (\min ,+)}الجبر. وبالمثل، يمكن صياغة خوارزمية فيتربي لإيجاد تسلسل الحالة الأكثر احتمالاً المقابل لتسلسل الملاحظات في نموذج ماركوف المخفي كعملية حسابية على(الأعلى،×){\displaystyle (\max ,\times )}الجبر على الاحتمالات. تعتمد خوارزميات البرمجة الديناميكية هذه على خاصية التوزيع لأنصاف الحلقات المرتبطة بها لحساب الكميات على عدد كبير (ربما أسي) من الحدود بكفاءة أكبر من تعداد كل منها على حدة. [ 28 ] [ 29 ]

التعميمات

لا يتطلب تعميم أنصاف الحلقات وجود عنصر محايد ضربي، بحيث يكون الضرب شبه زمرة وليس أحاديًا. تُسمى هذه البنى أنصاف الحلقات [ 30 ] أو أنصاف الحلقات المسبقة . [ 31 ] وهناك تعميم آخر هو أنصاف الحلقات المسبقة اليسرى ، [ 32 ] والتي لا تتطلب أيضًا التوزيعية اليمنى (أو أنصاف الحلقات المسبقة اليمنى ، والتي لا تتطلب التوزيعية اليسرى).

وهناك تعميم آخر يتمثل في أشباه الحلقات : فبالإضافة إلى عدم اشتراط وجود عنصر محايد للضرب، أو التوزيع من اليمين (أو التوزيع من اليسار)، فإنها لا تشترط أن تكون عملية الجمع تبديلية. وكما تُشكّل الأعداد الأصلية شبه حلقة (فئة)، تُشكّل الأعداد الترتيبية شبه حلقة ، عند الأخذ في الاعتبار عمليتي الجمع والضرب الترتيبيتين القياسيتين . ومع ذلك، يمكن تحويل فئة الأعداد الترتيبية إلى شبه حلقة من خلال النظر في ما يُسمى بالعمليات الطبيعية (أو عمليات هيسنبرغ) .

في نظرية الفئات ، تُعرف الفئة 2-rig بأنها فئة ذات عمليات وظيفية مماثلة لتلك الخاصة بالفئة rig. ويمكن تصنيف كون الأعداد الأصلية تُشكل فئة rig بالقول إن فئة المجموعات (أو بشكل أعم، أي طوبولوجيا ) هي فئة 2-rig.

انظر أيضاً

  • حلقة من المجموعات - عائلة مغلقة تحت الاتحادات والمكملات النسبية 
  • جبر التقييم – جبر يصف معالجة المعلومات. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه. 

ملحوظات

  1. للاطلاع على مثال، انظر تعريف كلمة "rig" على موقع Proofwiki.org
  2. 1 2 هذه حلقة نصفية نجمية كاملة، وبالتالي فهي أيضًا حلقة نصفية كونواي. [ 11 ]

الاقتباسات

  1. غلازيك (2002) ، ص 7
  2. ^ كونتزمان، ج. (1972). Théorie des réseaux (الرسوم البيانية) (بالفرنسية). باريس: دونود. زبل 0239.05101 . 
  3. حلقات نصفية للفطور ، الشريحة 17
  4. باتشيلي، فرانسوا لويس؛ أولسدر، جيرت جان؛ كوادرات، جان بيير؛ كوهين، جاي (1992). التزامن والخطية: جبر لأنظمة الأحداث المنفصلة . سلسلة وايلي في الاحتمالات والإحصاء الرياضي. تشيتشستر: وايلي. Zbl 0824.93003 . 
  5. ^ بيرستل وبيرين (1985) ، ص. 26
  6. 1 2 3 4 5 لوثير (2005) ، ص. 211
  7. ^ ساكاروفيتش (2009) ، ص. 27-28
  8. لوثير (2005) ، ص 212
  9. 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 . 
  10. 1 2 3 كويتش، فيرنر (2011). "الأنظمة الجبرية وآلات الدفع لأسفل". في كويتش، فيرنر (محرر). الأسس الجبرية في علوم الحاسوب. مقالات مهداة إلى سيميون بوزاباليديس بمناسبة تقاعده . سلسلة محاضرات في علوم الحاسوب. المجلد 7020. برلين: سبرينغر-فيرلاغ . الصفحات 228-256 . ISBN   978-3-642-24896-2. Zbl 1251.68135 . 
  11. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 دروستي وكويش ​​(2009) ، الصفحات من 7 إلى 10
  12. كويتش، فيرنر (1990). "الحلقات شبه المتصلة ω، والأنظمة الجبرية، وآلات الدفع لأسفل" . في باترسون، مايكل س. (محرر). الآلات واللغات والبرمجة: الندوة الدولية السابعة عشرة، جامعة وارويك، إنجلترا، 16-20 يوليو 1990، وقائع . سلسلة محاضرات في علوم الحاسوب. المجلد 443. سبرينغر-فيرلاغ . الصفحات 103-110 . ISBN   3-540-52826-1.
  13. 1 2 ساكاروفيتش (2009) ، ص 471
  14. إسيك، زولتان؛ ليس، هانز (2002). "صيغة غريباخ الطبيعية في أنصاف الحلقات الكاملة جبريًا". في برادفيلد، جوليان (محرر). منطق علوم الحاسوب. ورشة العمل الدولية السادسة عشرة، CSL 2002، المؤتمر السنوي الحادي عشر للجمعية الأوروبية لمنطق علوم الحاسوب، إدنبرة، اسكتلندا، 22-25 سبتمبر 2002. وقائع . سلسلة محاضرات في علوم الحاسوب. المجلد 2471. برلين: سبرينغر-فيرلاغ . الصفحات 135-150 . Zbl 1020.68056 .   
  15. ليمان، دانيال ج. (1977)، "البنى الجبرية للإغلاق المتعدي" (ملف PDF) ، علوم الحاسوب النظرية ، 4 (1): 59-76 ، doi : 10.1016/0304-3975(77)90056-1
  16. ^ بيرستل وريوتيناور (2011) ، ص. 27
  17. إسيك، زولتان؛ كويتش، فيرنر (2004). "مسلمات المعادلات لنظرية الأوتوماتا". في مارتين-فيد، كارلوس (محرر). اللغات الرسمية وتطبيقاتها . دراسات في الضبابية والحوسبة المرنة. المجلد 148. برلين: سبرينغر-فيرلاغ . الصفحات 183-196 . ISBN   3-540-20907-7. Zbl 1088.68117 . 
  18. ^ دروستي وكويش ​​(2009) ، ص. 15، نظرية 3.4
  19. كونواي، جيه إتش (1971). الجبر المنتظم والآلات المحدودة . لندن: تشابمان وهول. ISBN 0-412-10620-5. Zbl 0231.94041 . 
  20. 1 2 3 غوترمان، ألكسندر إي. (2008). "الرتبة ودوال المحددات للمصفوفات على أنصاف الحلقات". في: يونغ، نيكولاس؛ تشوي، يمون (محرران). دراسات في الرياضيات المعاصرة . سلسلة محاضرات جمعية لندن الرياضية. المجلد 347. مطبعة جامعة كامبريدج . الصفحات 1-33 . ISBN   978-0-521-70564-6. ISSN 0076-0552 . زبل 1181.16042 .  
  21. 1 2 3 ساكاروفيتش (2009) ، ص 28.
  22. 1 2 3 بيرستل وروتنور (2011) ، ص. 4
  23. ^ شباير، ديفيد. ستورمفيلز، بيرند (2009) [2004]. “الرياضيات الاستوائية”. الرياضيات. ماج . 82 (3): 163– 173. أرخايف : math/0408099 . دوى : 10.4169/193009809x468760 . S2CID 119142649 . زبل 1227.14051 .  
  24. سباير، ديفيد؛ ستورمفيلز، بيرند (2009). "الرياضيات الاستوائية" . مجلة الرياضيات . 82 (3): 163-173 . arXiv : math/0408099 . doi : 10.1080/0025570X.2009.11953615 . ISSN 0025-570X . S2CID 15278805 .  
  25. جون سي. بايز (6 نوفمبر 2001). "ميكانيكا الكم على نظام تبادلي" . مجموعة الأخبار : sci.physics.research . يوزنت: 9s87n0$iv5@gap.cco.caltech.edu . تاريخ الاسترجاع: 25 نوفمبر 2018 .  
  26. بارد، غريغوري ف. (2009)، التحليل الجبري للتشفير ، سبرينغر، القسم 4.2.1، "الفئات التوافقية"، وما يليه، الصفحات 30-34، ISBN 9780387887579
  27. شانويل، ش. هـ. (1991). المجموعات السالبة لها خاصية أويلر وبُعد. في: كاربوني، أ.، بيديكيو، م. س. ، روزوليني، ج. (محررون). نظرية الفئات. سلسلة محاضرات في الرياضيات، المجلد 1488. سبرينغر، برلين، هايدلبرغ
  28. زوج (1967) ، ص 271.
  29. ديرنيامي وبير (1971)
  30. جولان (1999) ، ص 1، الفصل 1
  31. ^ جوندران ومينوكس (2008) ، ص. 22، الفصل 1، §4.2.
  32. ^ جوندران ومينوكس (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 . 

للمزيد من القراءة