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

가환 모노이드의 모임은 [[대수 구조 다양체]]를 이루므로, [[자유 대수]]를 정의할 수 있다. 이를 '''자유 가환 모노이드'''(自由可換monoid, {{llang|en|free commutative monoid}})라고 한다. [[집합]] <math>S</math>로부터 생성되는 자유 가환 모노이드 <math>\mathbb N^S</math>는 <math>S</math>의 원소만을 포함하는 유한 [[중복집합]]들의 집합이다. 즉, <math>\mathbb N^S</math>의 원소는 <math>S</math>의 각 원소에 [[자연수]]를 대응시키는 함수