플랙틱 모노이드

틀:위키데이터 속성 추적 모노이드 이론에서, 플랙틱 모노이드(틀:Llang)는 그 원소들이 영 타블로와 대응되는 모노이드이다.

정의

전순서 집합 $(\mathrm{\Sigma },\le )$ 위의 플랙틱 모노이드는 다음과 같이 표시되는 모노이드이다.

$⟨\mathrm{\Sigma }|\{yzx=yxz:x<y\le z\}\cup \{xzy=zxy:x\le y<z\}⟩$

즉, 그 원소는 알파벳 $\mathrm{\Sigma }$에 대한 단어들의 동치류이다. 단어에 대한 동치 관계를 크누스 동치라고 한다.

성질

자연수의 전순서 집합 위의 플랙틱 모노이드의 각 원소는 준표준 영 타블로(즉, 각 행의 길이들은 증가하지 않으며, 각 열의 길이들은 감소하는 영 타블로)에 대응한다.

역사

크누스 동치 관계는 도널드 크누스가 1970년에 발견하였다. "플랙틱 모노이드"(틀:Llang)라는 용어는 1981년에 알랭 라스쿠(틀:Lang)와 마르셀폴 쉬첸베르게르(틀:Lang)가 도입하였으며, 틀:Llang(판)에서 유래하였다. 이는 플랙틱 모노이드에서, 글자들이 특별한 경우에 서로 가환하는 것을 판 구조론에서 판들이 특별한 경우에 이동할 수 있는 것에 빗댄 것이다.