自由幺半群

✍ dations ◷ 2025-09-14 14:28:33 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 古噬菌体科Subfamily Chordopoxvirinae    硫化裂叶病毒SIRV1    热变形菌属病毒4古噬菌体科,Rudiviridae,rudi由拉丁文rudis而来,有小的杆状物之意,其病毒颗粒的形态为杆形,不含脂质
  • 植物组织培养植物组织培养是一种将植物体的部分细胞或组织与母体分离,在适当的条件下加以培养,使它们能够生长、发育、分化与增殖的技术。原理是来自植物细胞的全能性分化能力,也就是植物体
  • 莱昂哈特·福克斯莱昂哈特·福克斯(英语:Leonhart Fuchs),(1501年-1566年),文艺复兴时期欧洲的医生、植物学家。他为蒂宾根大学医学系的教授。于1542年出版了一本有影响的关于药用植物学的论著,书中有
  • 要做爱,不要作战要做爱,不要作战(英语:Make love, not war)是美国于1960年代流行的反传统的文化口号,最初用于反越战游行,其他反战行动也援引过此口号。披头士乐队主音约翰·列侬声称自己首创此口
  • 托马斯·埃尔塞瑟托马斯·埃尔塞瑟(德语:Thomas Elsaesser,1943年-2019年),德国电影史学家、电影理论家。阿姆斯特丹大学教授。1943年出生于柏林夏洛滕堡。1951年随家人搬至曼海姆。曾在海德堡大学
  • 波澜万丈《波澜万丈》(朝鲜语:파란만장/波瀾萬丈,英语:)是韩国导演朴赞郁在2011年拍摄的一部片长33分钟的短片,1月27日在韩国上映 。这部电影仅用了10天创作,预算为133000美元,80名演职人员参
  • 妮娜与兔子与魔法战车《妮娜与兔子与魔法战车》(日语:ニーナとうさぎと魔法の戦車/にいなとうさきとまほうのせんしゃ  ?)是日本轻小说作家兔月龙之介(日语:兎月竜之介)著作、插画家BUNBUN负责插图,201
  • 达克钦苏纳姆甘杰乌帕齐拉达克钦苏纳姆甘杰乌帕齐拉(孟加拉语:দক্ষিণ সুনামগঞ্জ,英语:Dakshin Sunampur Upazila)是孟加拉国苏纳姆甘杰县的一个乌帕齐拉,位于锡尔赫特专区的苏纳姆甘杰县。据1991年孟加拉国人口普查(英语:1991 Bangladesh census),达克钦苏纳姆甘杰共有户数32,056户,人口183881人。其中男性占比51.47%,女性占比48.53%;成年人口89,657人。该地7岁以上人口之平均识字率为32.3%,低于全国平均值(32.4%)。
  • LOCOLOTION《LOCOLOTION》(日语:ロコローション),日本乐团橘子新乐园(ORANGE RANGE)的第6张单曲。2004年6月9日发行。是橘子新乐园的代表作之一,但因为著作权侵害问题备受争议。和前作一样取得Oricon公信榜冠军,不过发售第一周以微弱差距不敌堂本刚的《WAVER》排行第2位,到第二周才取得冠军,并且蝉联两周。总销量超过50万张,是2004年度日本单曲销量第7位,也是橘子新乐园销量第三高的单曲。2004年年底,首次被邀请上NHK红白歌合战(第55回)演唱这首歌,在冲绳最大的驻日美军基地“嘉手纳
  • 古木基文 (Unicode区段)古木基文是一个位于基本多文种平面的Unicode区块,收录了用于书写印度旁遮普语的古木基文字符。在最初的版本中,码位.mw-parser-output .monospaced{font-family:"Menlo","Consolas","Liberation Mono","Courier New",monospace}U+0A02..U+0A4C是对1988年ISCII标准中泰卢固文字符A2-EC的直接复制。天城文、孟加拉文、古吉拉特文、奥里亚文、泰米尔文、泰卢固文、卡纳达文和马拉雅拉姆文等区块亦同样基