교류도

Alternativity

추상 대수학에서 교류성이항 연산의 속성이다.A마그마 G로 되.mw-parser-output .vanchor&gt은 있다고 한다 target~.vanchor-text{background-color:#b1d2ff}left 대안(x))는 y))()y){\displaystyle(xx)y=x(xy)}에 대한 모든 x, y∈ G{\displaystyle x,y\in G}과 올바른 대안 y(x)))(y))){\displaystyle y(xx)=(yx)x}에 대한 모든 x, y∈ G.{\displayst.핀란드 국영 방송 x,y\in G.} 마그마는 둘 다 왼쪽과 오른쪽의 대안은신 말씀.대안[1]되다

어떤 연관성 있는 마그마(즉, 세미그룹)가 대안이다.보다 일반적으로, 모든 원소 쌍이 연관성 있는 하위개인을 생성하는 마그마는 대안이 되어야 한다.그러나 반대는 대체 알헤브라의 상황과 대조적으로 사실이 아니다.사실, 대안 마그마는 심지어 권력 연관성이 될 필요도 없다.

참조

  1. ^ Phillips, J. D.; Stanovský, David (2010), "Automated theorem proving in quasigroup and loop theory" (PDF), AI Communications, 23 (2–3): 267–283, doi:10.3233/AIC-2010-0460, MR 2647941, Zbl 1204.68181.