عنصر محايد: الفرق بين النسختين

{{مفهوم رياضي | عنصر محايد | [[Neutral Element]] | غير معرف | <math>e\,</math> | [[إيفاريست جالويس]] | [[نظرية الزمر]] | }}

 

لتكن <math>(S, *)\,</math> [[بنية جبرية]] مكونة من [[فئة]] <math>S\,</math> و[[عملية ثنائية]] [[مغلقة|مغلقة عليها]] <math>*\,</math> (جبريا تسمى [[ماغما|ماجما]])؛ فإن العنصر <math>e \in S\,</math> يدعى محايد يساري اذا حقق <math>e*a=a\,</math> لأي عنصر <math>a \in S\,</math>. وكذلك يدعى <math>e \in S\,</math> بالمحايد اليميني اذا حقق <math>a*e=a\,</math> لكل <math>a \in S\,</math>. أما المحايد الثنائي الاتجاه (أو للاختصار العنصر المحايد) فهو العنصر <math>e \in S\,</math> اذا حقق <math>e+a=a+e=a\,</math> لكل <math>a \in S\,</math>.