البديل

في الجبر المجرد ، تُعدّ خاصية التناوب خاصيةً للعملية الثنائية . ويُقال إن الصهارة G هيالخيار الأيسر إذا(xx)y=x(xy){\displaystyle (xx)y=x(xy)}للجميعx،yجي{\displaystyle x,y\in G}والبديل الصحيح إذاy(xx)=(yx)x{\displaystyle y(xx)=(yx)x}للجميعx،yجي{\displaystyle x,y\in G}يُقال إن الصهارة التي تكون بديلة يمينًا ويسارًا هيبديل . [ 1 ]

أي مجموعة فرعية ترابطية (أي شبه مجموعة ) هي مجموعة بديلة. وبشكل أعم، فإن المجموعة التي يُولّد فيها كل زوج من العناصر مجموعة فرعية ترابطية هي مجموعة بديلة. إلا أن العكس ليس صحيحًا، على عكس الوضع في الجبر البديل .

أمثلة

تتضمن أمثلة البنى الجبرية التي تحتوي على عملية ضرب بديلة ما يلي:

  • أي شبه مجموعة هي مجموعة تجميعية وبالتالي بديلة.
  • حلقات موفانغ بديلة ومرنة، ولكنها عمومًا غير ترابطية. انظر قسم أمثلة حلقات موفانغ  لمزيد من الأمثلة.
  • يُعدّ ضرب الأوكتونيونات بديلاً ومرناً. وينطبق الأمر نفسه بشكل عام على أي جبر أوكتونيوني .
  • تطبيق بناء كايلي-ديكسون مرة واحدة على حلقة تبديلية ذات انعكاس تافهأ*=أ{\displaystyle a^{\ast }=a}يُعطي جبرًا تبادليًا ترابطيًا. تطبيقه مرتين يُعطي جبرًا ترابطيًا. تطبيقه ثلاث مرات يُعطي جبرًا بديلًا. تطبيقه أربع مرات أو أكثر يُعطي جبرًا ليس بديلًا عادةً (مع أنه بديل في الخاصية الثانية). مثال على ذلك المتتاليةR،ج،ح،يا،S،...{\displaystyle \mathbb {R} ,\mathbb {C} ,\mathbb {H} ,\mathbb {O} ,\mathbb {S} ,...}أينح{\displaystyle \mathbb {H} }هو جبر الأعداد الرباعية،يا{\displaystyle \mathbb {O} }هي جبر الأوكتونيونات ، وS{\displaystyle \mathbb {S} }هي جبر السدينيونات .

انظر أيضاً

مراجع

  1. فيليبس، جيه دي؛ ستانوفسكي، ديفيد (2010)، "إثبات النظريات الآلي في نظرية شبه الزمر ونظرية الحلقات" (ملف PDF) ، اتصالات الذكاء الاصطناعي ، 23 ( 2-3 ): 267-283 ، doi : 10.3233/AIC-2010-0460 ، MR 2647941 ، Zbl 1204.68181  .