군의 작용: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
55번째 줄:
 
=== 작용 준군 ===
[[모노이드]] <math>M</math>이 [[집합]] <math>X</math> 위에 (왼쪽에서) 작용한다고 하자. 그렇다면, 다음과 같은 [[범주작은 (수학)|범주]] <math>\mathcal C</math>를 정의할 수 있다.
* <math>\mathcal C</math>의 대상은 <math>X</math>의 원소이다.
* <math>x,y\in X</math>에 대하여, <math>\hom_{\mathcal C}(x,y)=\{m\in M\colon mx=y\}</math>이다.