自由幺半群

在抽象代数里，于一集合A上的自由幺半群是指一幺半群，其元素都是由A内零个或多个元素以串接之二元运算形成的有限序列(或字符串)。通常标记为A*。其单位元为空字元串，标记为ε 或 λ。在A上的自由半群则指是A*内的子半群，其包含除了空字串外的所有元素。通常标记为A。更一般地，一抽象幺半群(半群)S被称做是自由的，若其与某一集合上的自由幺半群(半群)同构。