自由么半群
維基百科,自由的 encyclopedia
在抽象代數裡,於一集合A上的自由幺半群是指一幺半群,其元素都是由A內零個或多個元素以串接之二元運算形成的有限序列(或字符串)。通常標記為A*。其單位元為空字元串,標記為ε 或 λ。在A上的自由半群則指是A*內的子半群,其包含除了空字串外的所有元素。通常標記為A+。
此條目没有列出任何参考或来源。 (2019年3月13日) |
更一般地,一抽象幺半群(半群)S被稱做是自由的,若其與某一集合上的自由幺半群(半群)同構。
如其名稱所述,自由幺半群(半群)為滿足定義了自由对象的泛性質的物件,在幺半群(半群)的範疇裡。它允許每一個么半群(半群)都會是某一自由幺半群(半群)的同態映像。研究半群為自由半群的映像的學科稱做組合半群理論。