خاتم بسيط

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

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

تشترط العديد من المراجع (مثل لانغ (2002) أو بورباكي (2012) ) أن تكون الحلقة البسيطة أرتينية يسارية أو يمينية (أو ما يعادلها شبه بسيطة ). وبموجب هذه المصطلحات، تُسمى الحلقة غير الصفرية التي لا تحتوي على مثاليات ثنائية الجانب غير تافهة شبه بسيطة .

توجد حلقات بسيطة مثل الحلقات ولكنها ليست وحدة بسيطة فوق نفسها: حلقة المصفوفات الكاملة فوق حقل لا تحتوي على أي مثاليات ثنائية الجانب غير تافهة (لأن أي مثالي من من(R){\displaystyle \mathrm {M} _{n}(R)} يكون على شكلمن(أنا){\displaystyle \mathrm {M} _{n}(I)}معأنا{\displaystyle I}مثال لـR{\displaystyle R}) ، ولكن لها مثاليات يسارية غير تافهة (على سبيل المثال، مجموعات المصفوفات التي تحتوي على بعض الأعمدة الصفرية الثابتة).

من الأمثلة المباشرة على الحلقات البسيطة حلقة القسمة ، حيث يكون لكل عنصر غير صفري معكوس ضربي ، على سبيل المثال، الكواترنيونات . كذلك ، لأين1{\displaystyle n\geq 1}، جبرن×ن{\displaystyle n\times n}المصفوفات ذات المدخلات في حلقة القسمة بسيطة.

أثبت جوزيف ويدربورن أنه إذا كان الخاتمR{\displaystyle R} هو جبر بسيط ذو أبعاد منتهية على حقلك{\displaystyle k}، وهو متماثل مع جبر المصفوفات على جبر القسمة علىك{\displaystyle k} . على وجه الخصوص، فإن الحلقات البسيطة الوحيدة التي تمثل جبرًا محدود الأبعاد على الأعداد الحقيقية هي حلقات المصفوفات على الأعداد الحقيقية أو الأعداد المركبة أو الكواترنيونات .

أثبت ويدربورن هذه النتائج عام ١٩٠٧ في أطروحته للدكتوراه بعنوان " حول الأعداد المركبة الفائقة" ، والتي نُشرت في وقائع الجمعية الرياضية بلندن . صنّفت أطروحته الجبر البسيط وشبه البسيط ذي الأبعاد المحدودة على الحقول. يُعدّ الجبر البسيط لبنات بناء الجبر شبه البسيط: فأي جبر شبه بسيط ذي أبعاد محدودة هو حاصل ضرب ديكارتي، بمعنى الجبر، لجبر بسيط ذي أبعاد محدودة.

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

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

أمثلة

دعR{\displaystyle \mathbb {R} }ليكن حقل الأعداد الحقيقية ،ج{\displaystyle \mathbb {C} }ليكن حقل الأعداد المركبة، وح{\displaystyle \mathbb {H} }الرباعيات .​

  • الجبر البسيط المركزي (يُسمى أحيانًا جبر براور ) هو جبر بسيط ذو أبعاد منتهية على حقل .F{\displaystyle F}مركزها هوF{\displaystyle F} .
  • كل جبر بسيط محدود الأبعاد علىR{\displaystyle \mathbb {R} } متماثل مع جبرن×ن{\displaystyle n\times n}المصفوفات ذات المدخلات فيR{\displaystyle \mathbb {R} }،ج{\displaystyle \mathbb {C} }أوح{\displaystyle \mathbb {H} }كل جبر مركزي بسيط علىR{\displaystyle \mathbb {R} } متماثل مع جبرن×ن{\displaystyle n\times n}المصفوفات ذات المدخلاتR{\displaystyle \mathbb {R} }أوح{\displaystyle \mathbb {H} }. هذه النتائج تنبع من نظرية فروبينيوس .
  • كل جبر بسيط محدود الأبعاد علىج{\displaystyle \mathbb {C} } هو جبر بسيط مركزي، وهو متماثل مع حلقة المصفوفات فوقج{\displaystyle \mathbb {C} } .
  • كل جبر مركزي بسيط ذو أبعاد محدودة فوق حقل محدود يكون متماثلاً مع حلقة مصفوفة فوق ذلك الحقل.
  • على حقل ذي خاصية صفرية، يكون جبر ويل بسيطًا ولكنه ليس شبه بسيط، وعلى وجه الخصوص ليس جبر مصفوفة على جبر قسمة على مركزه؛ جبر ويل لا نهائي الأبعاد، لذلك لا تنطبق عليه نظرية ويدربورن.

انظر أيضاً

مراجع