الرئيسيةبحث

نصف زمرة

في الرياضيات ، نصف الزمرة semigroup هي عبارة عن بنية جبرية مؤلفة من مجموعة مغلقة بالنسبة لعملية ثنائية تجميعية. بكلام آخر تكون نصف الزمرة ماعما تجميعية . اشتق مصطلح نصف الزمرة من المصطلح الأساسي الزمرة . غالبا ما تمثل العملية في نصف الزمرة برمز الجداء أي ،  x\cdot y او ببساطة xy و هي تعطي نتيجة تطبيق عملية نصف الزمرة الثنائية على الزوج المرتب : (xy). هناك خلاف فيما إذا كانت المجموعة الخالية يمكن اعتبارها نصف زمرة أو لا .

بدأت دراسة أنصاف الزمر في أوائل القرن العشرين لكن اهميتها بدأت في منتصف الخمسينات حين أصبحت نظرية انصاف الزمر المنتهية ذات أهمية في المعلوماتية النظرية بسبب الارتباط الطبيعي بين أنصاف الزمر المنتهية و آلات الحالة المنتهية Finite automata