모노이드: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
1번째 줄:
{{대수적대수 구조|expanded=군}}
 
'''모노이드'''(monoid)는 [[대수적대수 구조]]의 하나로, [[이항 연산|이항 연산자]]와 [[항등원]]이 존재하며 연산의 [[결합법칙]]이 성립하는 구조이다.
 
수학적으로는 다음과 같이 정의한다. 집합 <math>M</math>와 그 집합에 대해 [[닫힘 (수학)|닫혀 있는]] 이항 연산자 <math>*: M \times M \rarr M</math>에 대하여,