جداء نصف مباشر

عملية في نظريات المجموعة

في الرياضيات، وتحديدًا في نظرية الزمر، مفهوم الجداء نصف المباشر هو تعميم الجداء المباشر.[1][2] هناك مفهومان مرتبطان ارتباطًا وثيقًا بالجداء نصف المباشر: جداء نصف مباشر داخلي هو طريقة معينة يمكن من خلالها إنشاء مجموعة من مجموعتين فرعيتين، واحدة منها هي مجموعة فرعية عادية، في حين يكون الجداء نصف المباشر الخارجي جداءً ديكارتيًا كمجموعة، ولكن مع عملية ضرب معينة. كما هو الحال مع الجداءات المباشرة، هناك تكافؤ طبيعي بين الجداءات نصف المباشرة الداخلية والخارجية، وكلاهما يشار إليه ببساطة كجداءات نصف مباشرة.

بالنسبة للمجموعات المحدودة، توفر نظرية Schur – Zassenhaus شرطًا كافيًا لوجود تحلل الجداء نصف المباشر (a.k.a. splitting extension).

تعريفات الجداء نصف المباشر الداخلي

عدل

بالنظر إلى المجموعة G ذات عنصر محايد e ومجموعة فرعية H ومجموعة فرعية عادية NG؛ ثم تعادل العبارات التالية:

  • G هي جداء مجموعات فرعية، G = NH، حيث يوجد للمجموعات الفرعية تقاطع بسيط، NH = {e}.

الجداء نصف المباشر الخارجي

عدل

أمثلة

عدل

خصائص

عدل

التعميمات

عدل

الترميز

عدل

ملاحظات

عدل

المراجع

عدل
  1. ^ "معلومات عن جداء نصف مباشر على موقع mathworld.wolfram.com". mathworld.wolfram.com. مؤرشف من الأصل في 2020-10-20.
  2. ^ "معلومات عن جداء نصف مباشر على موقع ncatlab.org". ncatlab.org. مؤرشف من product group الأصل في 2020-10-26. {{استشهاد ويب}}: تحقق من قيمة |مسار= (مساعدة)
  • R. Brown, Topology and groupoids, Booksurge 2006. (ردمك 1-4196-2722-8)