부분군체

추상 대수학에서 부분 그룹화(반쪽 그룹화, 파르고이드 또는 부분 마그마라고도 함)는 부분적인 이진 연산을 부여받은 집합이다.^[1][2]

부분군체(partial groupoid)는 부분 대수학이다.

부분세미그룹

부분적 그룹화$({\displaystyle G}$,${\displaystyle )}$ ) ${\displaystyle (G,\circle )}$은 다음과 같은 연관법에서 다음과 같은 경우를 부분적 그룹화라고 한다.^[3]

$그러면{\displaystyle }$x ,${\displaystyle y}$ , ${\displaystyle z}$g ${\displaystyle G}${\$displaystyle x,y,z\in$G}을(를) x${\displaystyle }$${\displaystyle y}$ $y$ G$${\$displaystyle$$$x\$circle$$$y$\in$ G$}$에 두십시오$.$

1. ${\displaystyle x}$ ${\displaystyle \circ }$(${\displaystyle y}$ ${\displaystyle \circ }$ z${\displaystyle }$) ${\displaystyle \in }$ ${\displaystyle G}$ ${\displaystyle x\circle (y\circle$ z$)\in G}$인 경우에만 (${\displaystyle x}$ ${\displaystyle \circ }$ y${\displaystyle }$) z ${\displaystyle \circ }$ ${\displaystyle G}$ ${\displaystyle (x\circircle$ y$)\circircle$z\$in$ G$}$
2. and ${\displaystyle x\circ (y\circ z)=(x\circ y)\circ z}$ if ${\displaystyle x\circ (y\circ z)\in G}$ (and, because of 1., also ${\displaystyle (x\circ y)\circ z\in G}$).

참조

추가 읽기

• E.S. Ljapin; A.E. Evseev (1997). The Theory of Partial Algebraic Operations. Springer Netherlands. ISBN 978-0-7923-4609-8.