모노이드: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→정의: 연산자 방향이 잘못됨 |
잔글편집 요약 없음 |
||
13번째 줄:
즉, 다음과 같은 포함 관계가 성립한다.
:[[마그마 (수학)|마그마]]
[[범주론]]적으로, 모노이드는 [[집합]]과 [[함수]]의 범주 <math>\operatorname{Set}</math> 속의 [[모노이드 대상]]이다. 또한, 하나의 대상만을 갖는 [[작은 범주]]는 모노이드와 같은 개념이다. 이 경우, 모든 사상은 [[자기 사상]]이며, 모노이드 이항 연산은 [[자기 사상]]의 합성이다.
71번째 줄:
:임의의 <math>m,n\in M</math>에 대하여, <math>mn=nm</math>
가환 모노이드인 [[군 (수학)|군]]은 [[아벨 군]]이다. 즉, 다음과 같은 포함 관계가 성립한다.
:[[마그마 (수학)|마그마]]
=== 멱등 모노이드 ===
| |||