نصف زمرة
من ويكيبيديا، الموسوعة encyclopedia
في الرياضيات ، نصف الزمرة (بالإنجليزية: semigroup) هي بنية جبرية مؤلفة من مجموعة مغلقة بالنسبة لعملية ثنائية تجميعية.[1][2][3] بكلام آخر تكون نصف الزمرة ماعما تجميعية . اشتق مصطلح نصف الزمرة من المصطلح الأساسي الزمرة . غالبا ما تمثل العملية في نصف الزمرة برمز الجداء أي، أو ببساطة xy وهي تعطي نتيجة تطبيق عملية نصف الزمرة الثنائية على الزوج المرتب : (x, y). هناك خلاف فيما إذا كانت المجموعة الخالية يمكن اعتبارها نصف زمرة أو لا .
بدأت دراسة أنصاف الزمر في أوائل القرن العشرين لكن أهميتها بدأت في منتصف الخمسينات حين أصبحت نظرية انصاف الزمر المنتهية ذات أهمية في المعلوماتية النظرية بسبب الارتباط الطبيعي بين أنصاف الزمر المنتهية وآلات الحالة المنتهية Finite automata