حلقة نوثيرية

إيمي نوثر، حوالي عام 1900
إيمي نوثر، حوالي عام 1900

في الرياضيات ، الحلقة النويثرية هي حلقة تحقق شرط السلسلة التصاعدية على المُثُل اليسرى واليمنى . إذا تحقق شرط السلسلة فقط على المُثُل اليسرى أو على المُثُل اليمنى، فإن الحلقة تُسمى نويثرية يسارية أو نويثرية يمينية على التوالي. رسميًا، كل متتالية متزايدةأنا1أنا2أنا3{\displaystyle I_{1}\subseteq I_{2}\subseteq I_{3}\subseteq \cdots }للأفكار اليسارية (أو اليمينية) عنصر أكبر؛ أي أنه يوجدن{\displaystyle n}بحيث أنان=أنان+1=.{\displaystyle I_{n}=I_{n+1}=\cdots .}

بصورة مكافئة، تكون الحلقة نوثرية يسارية (أو نوثرية يمينية) إذا كان كل مثالي يساري (أو مثالي يميني) مولدًا توليدًا نهائيًا . وتكون الحلقة نوثرية إذا كانت نوثرية يسارية ويمينية في آن واحد.

تعتبر الحلقات النويثرية أساسية في كل من نظرية الحلقات التبادلية وغير التبادلية ، حيث أن العديد من الحلقات التي يتم مواجهتها في الرياضيات هي حلقات نويثرية (على وجه الخصوص حلقة الأعداد الصحيحة ، وحلقات كثيرات الحدود ، وحلقات الأعداد الصحيحة الجبرية في حقول الأعداد )، وتعتمد العديد من النظريات العامة حول الحلقات بشكل كبير على خاصية النويثرية (على سبيل المثال، نظرية لاسكر-نويثر ونظرية كرول للتقاطع ).

سميت الحلقات النويثرية على اسم إيمي نوثر ، ولكن تم إدراك أهمية المفهوم في وقت سابق من قبل ديفيد هيلبرت ، من خلال إثبات نظرية هيلبرت الأساسية (التي تؤكد أن الحلقات متعددة الحدود هي نويثرية) ونظرية هيلبرت للاقتران .

الخصائص

بالنسبة للحلقات غير التبادلية ، من الضروري التمييز بين ثلاثة مفاهيم متشابهة للغاية:

  • تكون الحلقة يسارية-نوثرية إذا كانت تحقق شرط السلسلة الصاعدة على المُثُل اليسارية.
  • تكون الحلقة صحيحة-نوثرية إذا كانت تحقق شرط السلسلة الصاعدة على المُثُل الصحيحة.
  • الحلقة تكون نوثرية إذا كانت نوثرية يسارية ويمينية.

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

توجد تعريفات أخرى مكافئة للحلقة R لتكون نوثرية يسارية:

تنطبق نتائج مماثلة على الحلقات اليمينية النوثرية.

الشرط التالي هو أيضًا شرط مكافئ لكي تكون الحلقة R من اليسار-نوثرية وهو صياغة هيلبرت الأصلية: [ 2 ]

  • بالنظر إلى متتاليةو1،و2،...{\displaystyle f_{1},f_{2},\dots }من العناصر في R ، يوجد عدد صحيحن{\displaystyle n}بحيث يكون كلوأنا{\displaystyle f_{i}}هو تركيبة خطية منتهيةوأنا=ج=1نرجوج{\textstyle f_{i}=\sum _{j=1}^{n}r_{j}f_{j}}بمعاملاترج{\displaystyle r_{j}}في لغة البرمجة R.

لكي تكون الحلقة التبديلية نوثرية، يكفي أن يكون كل مثالي أولي فيها مولدًا توليدًا نهائيًا. [ 3 ] مع ذلك، لا يكفي أن تكون جميع المثاليّات القصوى مولدة توليدًا نهائيًا، إذ توجد حلقة محلية غير نوثرية يكون مثاليها الأقصى رئيسيًا (انظر مثالًا مضادًا لنظرية كرول للتقاطع في الحلقة المحلية#الحالة التبديلية ).

ملكيات

أمثلة

الحلقات غير النويثرية تميل إلى أن تكون (بمعنى ما) كبيرة جدًا. إليك بعض الأمثلة على الحلقات غير النويثرية:

  • حلقة كثيرات الحدود في عدد لا نهائي من المتغيرات، X 1 ، X 2 ، X 3 ، إلخ. متتالية المثاليات ( X 1 )، ( X 1 ، X 2 )، ( X 1 ، X 2 ، X 3 )، إلخ. تصاعدية، ولا تنتهي.
  • حلقة جميع الأعداد الصحيحة الجبرية ليست حلقة نوثرية. على سبيل المثال، تحتوي على سلسلة تصاعدية لانهائية من المُثُل الرئيسية: (2)، (2 1/2 )، (2 1/4 )، (2 1/8 )، ...
  • حلقة الدوال المتصلة من الأعداد الحقيقية إلى الأعداد الحقيقية ليست نوثرية: ليكن I <sub>n</sub> هو المثالي لجميع الدوال المتصلة f التي تحقق f ( x ) = 0 لجميع xn . سلسلة المثالي I <sub>0</sub> ، I <sub>1</sub> ، I <sub>2 </sub>، إلخ، هي سلسلة تصاعدية غير منتهية.
  • حلقة مجموعات التماثل المستقرة للكرات ليست نوثرية. [ 9 ]

مع ذلك، يمكن أن تكون الحلقة غير النويثرية حلقةً جزئيةً من حلقة نويثرية. وبما أن أي مجال تكاملي هو حلقة جزئية من حقل، فإن أي مجال تكاملي غير نويثري يُعد مثالًا على ذلك. ولإعطاء مثال أقل وضوحًا،

  • إن حلقة الدوال الكسرية المولدة بواسطة x و y / x n على حقل k هي حلقة فرعية من الحقل k ( x , y ) في متغيرين فقط.

في الواقع ، توجد حلقات نوثرية يمنى، ولكن ليس نوثرية يسرى، لذا يجب توخي الحذر عند قياس "حجم" الحلقة بهذه الطريقة. على سبيل المثال، إذا كانت L زمرة جزئية من متماثلة مع Z ، ولتكن R حلقة التشاكلات f من إلى نفسها التي تحقق f ( L ) ⊂ L. باختيار أساس، يمكننا وصف الحلقة R نفسها على النحو التالي :

R={[أβ0γ]|أZ،βسؤال،γسؤال}.{\displaystyle R=\left\{\left.{\begin{bmatrix}a&\beta \\0&\gamma \end{bmatrix}}\,\right\vert \,a\in \mathbf {Z} ,\beta \in \mathbf {Q} ,\gamma \in \mathbf {Q} \right\}.}

هذه الحلقة نوثرية يمينية، ولكنها ليست نوثرية يسارية؛ المجموعة الفرعية IR التي تتكون من عناصر a = 0 و γ = 0 هي مثالية يسارية غير مولدة بشكل نهائي كوحدة نمطية يسارية R.

إذا كانت R حلقة فرعية تبديلية من حلقة نوثرية يسارية S ، وكانت S مولدة توليدًا منتهيًا كوحدة نمطية يسارية على R ، فإن R تكون نوثرية. [ 10 ] (في الحالة الخاصة عندما تكون S تبديلية، تُعرف هذه النظرية باسم نظرية إيكين ). ومع ذلك، لا يصح هذا إذا لم تكن R تبديلية: فالحلقة R المذكورة في الفقرة السابقة هي حلقة فرعية من الحلقة النوثرية اليسارية S = Hom( , )، و S مولدة توليدًا منتهيًا كوحدة نمطية يسارية على R ، لكن R ليست نوثرية يسارية.

لا يُشترط أن يكون مجال التحليل الفريد حلقة نوثرية. ولكنه يُحقق شرطًا أضعف: شرط السلسلة الصاعدة على المُثُل الرئيسية . تُعد حلقة كثيرات الحدود في عدد لا نهائي من المتغيرات مثالًا على مجال تحليل فريد غير نوثري.

لا تُعتبر حلقة التقييم حلقة نوثرية إلا إذا كانت مجالًا مثاليًا رئيسيًا. وهي تُعطي مثالًا على حلقة تنشأ بشكل طبيعي في الهندسة الجبرية ولكنها ليست نوثرية.

حلقات مجموعة نوثيرية

ضع في اعتبارك حلقة المجموعةR[جي]{\displaystyle R[G]}من مجموعةجي{\displaystyle G}فوق خاتمR{\displaystyle R}إنها حلقة ، وجبر ترابطي علىR{\displaystyle R}لوR{\displaystyle R}هي تبديلية . بالنسبة لمجموعةجي{\displaystyle G}وحلقة تبديليةR{\displaystyle R}الشرطان التاليان متكافئان.

  • الخاتمR[جي]{\displaystyle R[G]}هو يساري-نوثري.
  • الخاتمR[جي]{\displaystyle R[G]}هو يمين-نوثري.

وذلك لوجود تقابل بين المثاليين الأيسر والأيمن لحلقة المجموعة في هذه الحالة، عبرR{\displaystyle R}- تماثل الجبر الترابطي

R[جي]R[جي]op،{\displaystyle R[G]\to R[G]^{\operatorname {op} },}
زز-1(زجي).{\displaystyle g\mapsto g^{-1}\qquad (\forall g\in G).}

يتركجي{\displaystyle G}كن مجموعة وR{\displaystyle R}خاتم. إذاR[جي]{\displaystyle R[G]}إذا كان نوثيريًا يساريًا/يمينيًا/ثنائي الجانب، فإذنR{\displaystyle R}هو نوثيري يساري/يميني/ثنائي الجانب وجي{\displaystyle G}هي مجموعة نوثرية . على العكس من ذلك، إذاR{\displaystyle R}هي حلقة تبديلية نوثرية وجي{\displaystyle G}إذا كان امتدادًا لمجموعة قابلة للحل من نوع نوثرية (أي مجموعة متعددة الحلقات ) بواسطة مجموعة منتهية ، فإنR[جي]{\displaystyle R[G]}هو نوثري ذو وجهين. من ناحية أخرى، هناك مجموعة نوثريةجي{\displaystyle G}حلقة المجموعة التي لا تكون حلقة تبديلية نوثرية ثنائية الجانب فوق أي حلقة تبديلية نوثرية. [ 11 ] : 423، النظرية 38.1

النظريات الرئيسية

تعتمد العديد من النظريات المهمة في نظرية الحلقات (وخاصة نظرية الحلقات التبادلية ) على افتراضات أن الحلقات نوثرية.

الحالة التبادلية

حالة غير تبادلية

الآثار المترتبة على الوحدات الحقنية

بالنظر إلى حلقة، توجد علاقة وثيقة بين سلوكيات الوحدات النمطية الحقنية على الحلقة وما إذا كانت الحلقة حلقة نوثرية أم لا. أي، بالنظر إلى حلقة R ، فإن ما يلي متكافئ:

  • R هي حلقة نوثرية يسارية.
  • (باس) كل مجموع مباشر لوحدات R اليسارية أحادية هو أحادي. [ 6 ]
  • كل وحدة نمطية يسارية أحادية من النوع R هي مجموع مباشر لوحدات نمطية أحادية غير قابلة للتحليل . [ 13 ]
  • (فايث-ووكر) يوجد عدد أصليج{\displaystyle {\mathfrak {c}}}بحيث يكون كل نموذج يساري أحادي على R عبارة عن مجموع مباشر لـج{\displaystyle {\mathfrak {c}}}الوحدات المُولَّدة (الوحدة هيج{\displaystyle {\mathfrak {c}}}- يتم توليدها إذا كانت مجموعة التوليد الخاصة بها تحتوي على عدد عناصر لا يتجاوزج{\displaystyle {\mathfrak {c}}}). [ 14 ]
  • يوجد نموذج R- يساري H بحيث يتم تضمين كل نموذج R-يساري في مجموع مباشر لنسخ من H. [ 15 ]

حلقة التشكل الداخلي لوحدة حقنية غير قابلة للتحليل هي محلية [ 16 ] وبالتالي فإن نظرية أزوميا تقول أنه على حلقة نوثرية يسارية، فإن كل تحليل غير قابل للتحليل لوحدة حقنية يكون مكافئًا للآخر (وهو شكل مختلف من نظرية كرول-شميدت ).

انظر أيضاً

ملحوظات

  1. 1 2 لام (2001)، ص. 19
  2. إيزنبد 1995 ، التمرين 1.1.
  3. كوهين، إيرفين س. (1950). "الحلقات التبادلية ذات شرط الحد الأدنى المقيد" . مجلة ديوك الرياضية . 17 (1): 27-42 . doi : 10.1215/S0012-7094-50-01704-2 . ISSN 0012-7094 . 
  4. ماتسومورا 1989 ، النظرية 3.5.
  5. ماتسومورا 1989 ، النظرية 3.6.
  6. 1 2 أندرسون وفولر 1992 ، الاقتراح 18.13.
  7. بورباكي 1989 ، الفصل الثالث، الفقرة 2، رقم 10، ملاحظات في نهاية الرقم
  8. ^ هوتا، تاكيوتشي وتانيساكي (2008 ، §D.1، الاقتراح 1.4.6)
  9. حلقة مجموعات التماثل المستقرة للكرات ليست نوثرية
  10. ^ فورمانك وجاتيجاونكار 1974 ، النظرية 3
  11. أولشانسكي، ألكسندر يوريفيتش (1991). هندسة تعريف العلاقات في الزمر . الرياضيات وتطبيقاتها. السلسلة السوفيتية. المجلد 70. ترجمة: باختورين، يو. أ. دوردريخت: دار كلوير الأكاديمية للنشر. doi : 10.1007/978-94-011-3618-1 . ISBN  978-0-7923-1394-6. ردمك 0169-6378 . السيد 1191619 . زبل 0732.20019 .   
  12. ^ أيزنبود 1995 ، الاقتراح 3.11.
  13. أندرسون وفولر 1992 ، النظرية 25.6. (ب)
  14. أندرسون وفولر 1992 ، النظرية 25.8.
  15. أندرسون وفولر 1992 ، النتيجة 26.3.
  16. أندرسون وفولر 1992 ، المبرهنة 25.4.

مراجع