مبدل رياضي
المبدل الرياضي في الرياضيات يعطي مؤشرا على مدى فشل عملية ثنائية معينة بأن تكون تبادلية. هناك تعاريف مختلفة تستخدم في إطار نظرية الزمر ونظرية الحلقات.
نظرية الزمر
عدلالعاكس من عنصرين g و h من زمرة G، هو العنصر:
- [g, h] = g−1h−1gh.
وهو يساوي مطابقة الزمرة إذا وفقط إذا g و h يتبادلان (أي إذا وفقط إذا hg=gh). ويطلق على الزمرة الجزئية من الزمرة التي تولدها كل عمليات التبادل زمرة مشتقة أو زمرة المبدلات الجزئية من G. يجب الملاحظة أنه لا بد من النظر في الزمرة الجزئية الناتجة عن مجموعة من المبدلات لأنه بشكل عام لا تكون مجموعة المبدلات مغلقة في إطار عملية الزمرة. تستخدم المبدلات لتحديد طبيعة الزمرة ما إذا كانت زمرة عديمة القوى nilpotent أو زمرة قابلة للحلحلة. يستخدم تعريف المبدل أعلاه من قبل بعض منظري الزمرة وكذلك خلال هذه المقالة. ومع ذلك، فإن العديد من منظرين الزمرة الآخرين يحددون المبدل كما في المعادلة :
المطابقات (نظرية الزمرة)
عدلمطابقات المبدل هي أداة هامة في نظرية الزمرة.[3] التعبير ax يعني أن مترافقة a على x, تعرف كx−1a x.
- and
- and
- and
![{\displaystyle x^{y}=x[x,y].\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af430a356cf1eeb4ab2903c296c6eaf403ff3813)
![{\displaystyle [y,x]=[x,y]^{-1}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d411502ee5a38f8e38da78adec78c1d77a624ec)
![{\displaystyle [x,zy]=[x,y]\cdot [x,z]^{y}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a9b7c4a764e30d0e2c80b7f31778d427aa3e032)
![{\displaystyle [xz,y]=[x,y]^{z}\cdot [z,y].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51d505bd20b4dfad61942e780f9019f2342a28df)
![{\displaystyle [x,y^{-1}]=[y,x]^{y^{-1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/244315ff297e41b5321e6fea0958663f5cc9ad7a)
![{\displaystyle [x^{-1},y]=[y,x]^{x^{-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2831a3e53635f018849a2e168cc77b79a2e6110)
![{\displaystyle [[x,y^{-1}],z]^{y}\cdot [[y,z^{-1}],x]^{z}\cdot [[z,x^{-1}],y]^{x}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5341b9acd3fd04a066959fb2ac90365912e95c6b)
![{\displaystyle [[x,y],z^{x}]\cdot [[z,x],y^{z}]\cdot [[y,z],x^{y}]=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e48a3147f321ab3cf38ba0d5c80d3cc961f89f4c)
مراجع
عدل- ^ Fraleigh (1976, p. 108)
- ^ Herstein (1964, p. 55)
- ^ McKay (2000, p. 4)
وصلات خارجية
عدل- Hazewinkel, Michiel, ed. (2001), "Commutator", Encyclopedia of Mathematics (بالإنجليزية), Springer, ISBN:978-1-55608-010-4
