自由幺半群

✍ dations ◷ 2025-04-26 12:43:57 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 损害损害,是伦理及法律概念。伯纳德·格特(英语:Bernard Gert)将损害包括:
  • 侦查侦察机泛指所有担任情报与资料搜集的军用机种,这些情报与资料包括光学与非光学的讯息与搜集手段,侦查的对象包含作战中的敌人部队,交战中的敌对国家内部或者是其他与本国国家利
  • 巴利阿里群岛巴利阿里群岛(加泰罗尼亚语:Illes Balears,.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
  • 大野治长大野治长(1569年—1615年6月4日)是安土桃山时代至江户时代前期的武将。丰臣氏家臣。父亲是大野定长。母亲是大藏卿局。在永禄12年(1569年)于京都出生,家中长男。因为母亲大藏卿局
  • 瓜笄霉 A. Møller, (1901) B.S. Mehrotra & M.D. Mehrotra, (1962) (Berk. & Ravenel) Schipper (Saito & H. Nagan.) F.L. Tai, (1934) D.D. Cunn. , (1895) (Berk. & Rav
  • 顺性院顺性院(1622年-1683年9月19日,即生于元和8年,卒于天和3年7月29日(日本旧历),德川幕府三代将军德川家光的侧室,家光四子甲府宰相德川纲重的生母。六代将军德川家宣的祖母。本名阿夏,父
  • Sound BlasterSound Blaster(声霸卡)是一个电脑声卡系列产品,曾经是IBM个人电脑声效的非正式标准,由新加坡创新科技开发。首张Sound Blaster声卡在1989年11月面世,其后推出过多代版本,如Sound B
  • 瓦尔格兰德山坐标:46°13′34″N 8°08′20″E / 46.22611°N 8.13889°E / 46.22611; 8.13889瓦尔格兰德山(Punta Valgrande)是欧洲的山峰,位于瑞士和意大利接壤的边境,由皮埃蒙特大区和瓦莱
  • 纳国斯隆德的毁灭在托尔金(J. R. R. Tolkien)奇幻小说的中土大陆里,纳国斯隆德的毁灭(Fall of Nargothrond)是贝尔兰爆发的一场战事。这场战事并非贝尔兰的主要战役。这场战事令到隐匿精灵王国,纳国斯隆德毁灭。淌哈拉德之战,是精灵王国纳国斯隆德的最后一战。战斗爆发于淌哈拉德原野,地点位于纳罗格河和支流金理斯河之间。伊甸人图林·图伦拔(在纳国斯隆德被称为摩米吉尔,“黑剑”),胡林·沙理安之子,成为了纳国斯隆德中最有影响力的将领。他促使国王欧洛隹斯,放弃纳国斯隆德一直以来,以埋伏、偷袭来对抗外敌的方
  • 娅塞明·阿达尔娅塞明·阿达尔(土耳其语:Yasemin Adar,1991年12月6日-),土耳其女子摔跤运动员。她曾代表土耳其参加2016年和2020年夏季奥林匹克运动会摔跤比赛,其中2020年奥运会获得一枚铜牌。