Monoid

Monoid cùng với magma (toán học), nhóm, nửa nhóm, vị nhóm là các cấu trúc đại số cơ bản và nhỏ hơn các cấu trúc vành, trường.

Định nghĩa

Một tập hợp khác rỗng $G$ được trang bị một phép toán hai ngôi $*$ là một monoid nếu và chỉ nếu

• $(a*b)*c=a*(b*c),\forall a,b,c\in G$ (tính kết hợp),
• $a*e=e*a=a,\forall a\in G,\exists e\in G$ (đồng nhất)

Mọi nhóm đại số đều là một monoid nhưng điều ngược lại không đúng.

Xem thêm

• Magma (toán học)
• Nhóm