自由幺半群

✍ dations ◷ 2025-09-18 03:53:09 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 大陆地壳大陆地壳(英语:continental crust)是岩石圈的一部分,和海洋地壳一同成为固态地球的最外层,主要由较轻之硅铝质岩石如花岗岩、和变质岩组成,偏向酸性。相对于海洋地壳,大陆地壳的较
  • 分子电子跃迁分子电子跃迁表示分子中价电子从一个能级因为吸收能量时,跃迁到一个更高的能级;或者释放能量,跃迁到更低的能级的过程。如果起始能级的能量比最终能级的能量高,原子便会释放能量
  • 矩 (数学)矩,又称动差,英文为moment。数学中矩的概念来自于物理学。在物理学中,矩是用来表示物体形状的物理量。矩是用于物体形状识别的重要参数指标。定义在实数域上的实函数相对于值的
  • 塞芒人塞芒人(Semang、Seemang、Siamang),又译赛孟人,属于俾格米人种(Pygmies),是一支矮黑人民族,分布于马来半岛北部及泰国南部,被认为是马来半岛上最早的原住民,也是全世界体型最矮小的
  • 马丁·辛戏剧类最佳男主角 2000年 《白宫群英》 2001年 《白宫群英》雷蒙·赫拉尔多·安东尼奥·埃丝泰威兹(西班牙语:Ramón Gerardo Antonio Estévez,1940年8月3日-),艺名马丁·辛(Marti
  • 校阅女孩《校阅女孩》(日语:校閲ガール,另译:校阅女孩─时尚女孩向前冲)为日本作家宫木绫子(日语:宮木あや子)创作的系列小说。首部作品于2014年3月14日由角川书店出版。2016年10月改编为连
  • 上加拿大起义上加拿大叛乱是1837年叛乱中的一场短暂的战役,发生在加拿大南部和美国北部之间的大湖区。一群自称为爱国猎手的人组成了一支民兵组织,曾企图占领两国的一些城市和堡垒等,但爱国
  • Frodo Lives!Frodo Lives!(中文译为“佛罗多还活着!”)是在1960年代和1970年代时期流行的一句口号,指的是J·R·R·托尔金小说《魔戒》的主角佛罗多·巴金斯。随着《魔戒》小说在美国的出版,
  • 铁血兵团:叛乱《铁血兵团:叛乱》(英语:Hard Corps: Uprising,港台译作“铁血兵团:逆袭”)是科乐美在Xbox Live Arcade和PlayStation Network平台上于2011年推出的《魂斗罗》系列第九作。游戏剧
  • 塞尔久·贝让塞尔久·贝让(罗马尼亚语:Sergiu Bejan,1996年11月18日-),罗马尼亚男子赛艇运动员。他曾代表罗马尼亚参加世界赛艇锦标赛,获得一枚金牌。他也曾参加2020年夏季奥林匹克运动会。