自由幺半群

✍ dations ◷ 2025-11-19 11:38:30 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 山中伸弥山中伸弥(日语:山中 伸弥/やまなか しんや Yamanaka Shin'ya,1962年9月4日-),日本干细胞科学家,现任京都大学教授、UCSF附属格拉德斯通心血管病研究所(英语:Gladstone Institutes)高等
  • 血虱科见内文兽虱科(学名:Haematopinidae),又名血虱科,是啮虫目吸虱亚目之下的一个科。
  • 二乙烯酮二乙烯酮由乙烯酮在合适条件下二聚生成,可看作β-丙烯内酯及氧杂环丁烷的衍生物,在有机合成中有应用。它是无色液体,加热解聚生成乙烯酮。烷基取代的烯酮同样很容易二聚,生成取
  • 三描礼士省三描礼士省(他加禄语:Lalawigan ng Zambales;伊洛卡诺语:;Sambal:;邦板牙语:;Pangasinan:)是位于菲律宾中央吕宋地区的一个省。省会为伊巴(Iba)。三描礼士省北邻邦阿西楠省(Pangasinan),东邻
  • 杰·温安洛杰·温安洛(英语:Jay Van Andel;1924年6月3日-2004年12月7日)是位美国的商人,与理查·狄维士联合创办了安利公司。此外,他在1979年至1980年间是美国商会主席,后在1980年至1985年间任
  • 相良茉优相良茉优(日语:相良 茉優,4月17日-),日本女性配音员。出身于京都府。身高155cm。O型血。从小时候就喜欢动画,在小学5~6年级的时候已经想成为声优。后来迷上了深夜动画,受《魔法少女奈
  • 大白伞盖佛母大白伞盖佛母,梵音摩诃悉怛多般怛啰(Mahā Sitātapatra),是释迦牟尼佛于顶髻放光所化的顶髻尊,另一方面,亦是去除一切天魔外道邪术的《大白伞盖陀罗尼》(与《楞严咒》大体相同)之人格化。乃释迦牟尼佛在三十天善法堂中,为诸大菩萨、阿罗汉、圣人、四众弟子、帝释天无量众神等所说。大白伞盖佛母与汉地因缘深厚,此咒即汉传佛教绝大多数比丘每日持诵之《楞严咒》,降伏诸魔,大转法轮,最主要的是能破除许多种鬼神咒语与鬼神引来的疾病,还能征服修行人心中的色欲,心咒为“吽嘛嘛吽呢娑诃”。佛经中说,大白伞盖佛母是释迦牟
  • 杨海蓉杨海蓉(1985年1月-),甘肃肃南人,裕固族,无党派人士。中华人民共和国政治人物、第十三届全国人民代表大会甘肃省代表。2018年,杨海蓉被选为甘肃省出席第十三届全国人民代表大会代表。
  • 伯明翰城2012年至2013年赛季伯明翰城2012年至2013年赛季(英语:2012–13 Birmingham City F.C. season)是伯明翰城在英格兰足球联赛第110个赛季,亦是自2011年回降第二级英格兰足球冠军联赛后的第二个赛季。上季以第四位结束赛季参加升级附加赛,于半决赛两回合累计2-3负于布莱克浦出局。伯明翰城与特步(Xtep)提前解除价值780万英镑的赞助合约,加深球队的财政压力。最终改由Diadora制造及供应新一季的球衣,主场款式回复传统的蓝衫白裤蓝袜,而穿上去季没有采用过的蓝绿色炭黑直间作客球衣,到俱乐部精
  • 留绍镃留绍镃(?-?),五代十国时期泉州桃源县(今永春县桃城镇留安社区)人,为清源军节度使留从效之兄、南州刺史留从愿之子。因留从效无子,遂和其兄留绍�二人被过继为留从效之子。北宋建隆三年七月(962年8月3日-9月1日),留从效去世。当时,留从愿驻守南州,留绍�到南唐都城金陵进贡,实则作为人质。留绍镃遂被拥立为清源军留后,统领军务。留绍镃年纪尚小,无法完全掌控军政。留绍镃继位一个多月后,吴越使者抵达泉州,留绍镃为使者设置晚宴洗尘,统军使陈洪进与统军副使张汉思带兵闯入宴会,将留绍镃捉住,污蔑他想抛弃南唐,归附吴越