自由幺半群

✍ dations ◷ 2025-11-14 12:05:42 #自由幺半群

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

更一般地，一抽象幺半群(半群)被称做是自由的，若其与某一集合上的自由幺半群(半群)同构。

如其名称所述，自由幺半群(半群)为满足定义了自由对象的泛性质的对象，在幺半群(半群)的范畴里。它允许每一个幺半群(半群)都会是某一自由幺半群(半群)的同态映像。研究半群为自由半群的映像的学科称做组合半群理论。

集合的元素称为*和是自由生成元。更一般地讲，若是一抽象自由幺半群(半群)，则有一集合含有映射至与*()同态的单字母集合的元素，此集合称为的“自由生成元集合”。

每一自由幺半群(半群)会有一个且只有一个自由生成元集合，其势则称做的“秩”。

两个自由幺半群(半群)同构当且仅当它们拥有相同的秩。而事实上，自由幺半群(半群)的每一生成元集合都会包含其自由生成元。这使得一个自由幺半群(半群)会是有限生成的当且仅当它的秩是有限个的。

自然数(包括零)在加法下的幺半群(N,+)是一有单一产生元(即其秩为一)的自由幺半群。它唯一的自由产生元为数字一。

设Σ是一，则Σ*包含于Σ之上的所有，于形式语言理论的意思之下。因此，形式语言的抽象研究可以想成是有限产生自由幺半群子集的研究。且幺半群理论和自动机理论是有着很深的关联性的。例如，于Σ以上的正则语言会是有限幺半群子集的Σ*的同态像原。

例如，若={, , }，*的元素会是下列的形式

若是一集合，则在*上的函数是由*至N的唯一幺半群同态，其将的每一个元素都映射至1。

给定一集合，则在上的自由可交换幺半群是指由内元素形成之复集所组成的集合。这形成了以复集联合为二元运算的可交换幺半群。

例如，若 = {, , }，于上的自由可交换幺半群元素会是下列的形式

相关

西佛兰德西佛兰德省（荷兰语：Provincie West-Vlaanderen）是位于比利时（弗拉芒大区，弗拉芒社群）西部的一个省，首府布鲁日，人口1,178,996（2015年），面积3,144.3平方公里。安特卫普省 · 东佛兰德省
牡丹牡丹（学名：Paeonia × suffruticosa）为芍药科芍药属落叶灌木，是起源于中国的一个园艺杂交种，主要亲本为中原牡丹（Paeonia cathayana），其他亲本包括紫斑牡丹（Paeonia rockii）、圆裂牡丹
杀扑磷杀扑磷（英语：Methidathion）是一种有机磷杀虫剂，在欧盟已禁止使用。Template:Cholinergics
陶公府那拉提瓦府（泰语：จังหวัดนราธิวาส，皇家转写：Changwat Narathiwat，泰语发音：）是泰南三府之一，邻近府份为泰国的也拉府、北大年府、和马来西亚的吉兰丹州。华人称之为
奥康奈尔桥奥康奈尔桥（O'Connell Bridge）是位于爱尔兰首都都柏林市区利菲河上的一个桥梁。现在的欧康纳桥是第二代欧康纳桥。最早欧康纳桥名为卡莱尔桥（），修建于1791年至1794年。1877年至18
单频网单频网（Single-Frequency Network，SFN）是一种广播网络，易言之，即数个发送器透过同个频率频道同时发送同个信号。模拟的FM与AM音频广播网以及数字广播网在SFN中可以同时运作；但模拟
篠冢良雄篠冢良雄（1923年－2014年4月20日）是在抗日战争中日本陆军731部队的老兵。15岁加入日本帝国陆军。服役期间参加了731部队，属“柄泽班”，被派往黑龙江省，负责细菌培植、制造生物炸弹，
1903年世界大赛1904年 >1903年的世界大赛可以算是近代大联盟第一次举行的世界大赛，由代表美联的波士顿美国人出战代表国联的匹兹堡海盗，最后美国人队以5胜3败获胜。由于海盗队投手Sam Leeve
杨欣 (演员)杨欣（1982年9月18日－），山东烟台人，毕业于山东艺术学院戏剧学院音乐表演系，中国大陆女演员、模特。因杨欣身材火辣，也被誉为“波霸女星”。1982年，杨欣出生在山东省烟台市。她从山东艺术学院戏剧学院音乐表演系毕业。1995年，杨欣荣获““丝宝”杯模特大赛广告模特”一等奖和最上镜奖。1996年，杨欣担任日本“山水电器”形象代言人。1998年，杨欣在“第五届全国推新人大奖赛”荣获民歌组“全国十佳”称号。1999年，杨欣在“全国电视歌手大奖赛”荣获通俗组一等奖。2001年，杨欣加盟“冯小刚工作室”。杨欣的丈
凡语凡语指一般大众间通行的词语。