WikiDer > Muqobillik

Alternativity

Yilda mavhum algebra, muqobillik a-ning mulki hisoblanadi ikkilik operatsiya. A magma G deb aytilgan chap alternativa agar (xx)y = x(xy) Barcha uchun x va y yilda G va to'g'ri alternativ agar y(xx) = (yx)x Barcha uchun x va y yilda G. Chapga ham, o'ngga ham alternativa bo'lgan magma deyiladi muqobil.[1]

Har qanday assotsiativ magma (ya'ni, a yarim guruh) muqobil. Umuman olganda, har bir juft element assotsiativ submagma hosil qiladigan magma muqobil bo'lishi kerak. Ammo, aksincha, vaziyatdan farqli o'laroq, to'g'ri emas muqobil algebralar. Aslida, muqobil magma bo'lishi shart emas kuch-assotsiativ.

Adabiyotlar

  1. ^ Fillips, J.D .; Stanovskiy, Devid (2010), "Kvazigrup va tsikl nazariyasida isbotlangan avtomatlashtirilgan teorema" (PDF), AI aloqa, 23 (2–3): 267–283, doi:10.3233 / AIC-2010-0460, JANOB 2647941, Zbl 1204.68181.