فئة الوحدات

في الجبر ، بالنظر إلى حلقةR{\displaystyle R}، فئة الوحدات المتبقيةR{\displaystyle R}هي الفئة التي تكون جميع عناصرها عبارة عن وحدات متبقيةR{\displaystyle R}وجميع التشكلات التي تكون جميعها تشكلات وحدات بين اليسارR{\displaystyle R}-الوحدات. على سبيل المثال، عندماR{\displaystyle R}هي حلقة الأعداد الصحيحةZ{\displaystyle \mathbb {Z} }إنها نفس فئة الزمر الأبيلية . وتُعرَّف فئة الوحدات اليمينية بطريقة مماثلة.

يمكن أيضًا تعريف فئة الوحدات الثنائية على حلقةR{\displaystyle R}لكن هذه الفئة تعادل فئة الوحدات اليسارية (أو اليمينية) على الجبر المغلف لـR{\displaystyle R}(أو عكس ذلك).

ملاحظة: يستخدم بعض المؤلفين مصطلح " فئة الوحدة" للإشارة إلى فئة الوحدات. قد يكون هذا المصطلح غامضًا لأنه قد يشير أيضًا إلى فئة ذات فعل فئة أحادية . [ 1 ]

ملكيات

تُعدّ فئتا الوحدات اليسرى واليمنى فئتين تبديليتين . تحتوي هاتان الفئتان على عدد كافٍ من العناصر الإسقاطية [ 2 ] وعدد كافٍ من العناصر الحقنية [ 3 ] . تنصّ نظرية ميتشل للتضمين على أن كل فئة تبديلية تنشأ كفئة فرعية كاملة من فئة الوحدات على حلقة ما.

توجد الحدود الإسقاطية والحدود الاستقرائية في فئات الوحدات اليسرى واليمنى. [ 4 ]

على حلقة تبديلية ، بالإضافة إلى حاصل الضرب الموتري للوحدات{\displaystyle \otimes }، فئة الوحدات النمطية هي فئة أحادية متناظرة .

أشياء

كائن أحادي من فئة الوحدات النمطية على حلقة تبديليةR{\displaystyle R}هو بالضبط جبر ترابطي علىR{\displaystyle R}.

جسم مضغوط فيR{\displaystyle R}-مoد{\displaystyle \mathbf {Mod} }هو بالضبط وحدة نمطية ذات عرض محدود.

فئة الفضاءات المتجهة

الفئةك-Vهـجت{\displaystyle K{\text{-}}\mathbf {Vect} }(يستخدم بعض المؤلفين)Vهـجتك{\displaystyle \mathbf {Vect} _{K}}) يحتوي على جميع الفضاءات المتجهة على حقلك{\displaystyle K}كأشياء، وك{\displaystyle K}-الخرائط الخطية كتشاكلات. بما أن الفضاءات المتجهة فوقك{\displaystyle K}(كحقل) هي نفسها الوحدات النمطية فوق الحلقةك{\displaystyle K}،ك-Vهـجت{\displaystyle K{\text{-}}\mathbf {Vect} }هي حالة خاصة منR{\displaystyle R}-مoد{\displaystyle \mathbf {Mod} }(يستخدم بعض المؤلفين)مoدR{\displaystyle \mathbf {Mod} _{R}}), فئة اليسارR{\displaystyle R}-الوحدات.

يهتم جزء كبير من الجبر الخطي بوصفك-Vهـجت{\displaystyle K{\text{-}}\mathbf {Vect} }على سبيل المثال، تنص نظرية الأبعاد للفضاءات المتجهة على أن فئات التشاكل فيك-Vهـجت{\displaystyle K{\text{-}}\mathbf {Vect} }تتطابق تمامًا مع الأعداد الأصلية ، وأنك-Vهـجت{\displaystyle K{\text{-}}\mathbf {Vect} }وهو ما يعادل الفئة الفرعية لـك-Vهـجت{\displaystyle K{\text{-}}\mathbf {Vect} }والتي تتخذ من الفضاءات المتجهة موضوعًا لهاكن{\displaystyle K_{n}}، أينن{\displaystyle n}أي عدد أصلي.

التعميمات

كما أن فئة حزم الوحدات النمطية فوق فضاء حلقي تحتوي على عدد كافٍ من العناصر الحقنية (وإن لم يكن دائمًا ما يكفي من العناصر الإسقاطية).

انظر أيضاً

مراجع

  1. "فئة الوحدة في nLab" . ncatlab.org .
  2. بشكل بديهي لأن أي وحدة نمطية هي ناتج قسمة وحدة نمطية حرة.
  3. Dummit & Foote ، الفصل 10، النظرية 38.
  4. بورباكي ، § 6.

فهرس