自由幺半群

✍ dations ◷ 2025-10-22 17:39:40 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 莽古济莽古济(1590年-1635年),后金格格,努尔哈赤之女,生母为清太祖继妃衮代。明万历十七年(1589年)出生。万历二十七年三月,太祖率军击败哈达部,哈达部部长孟格布禄和吴尔古岱父子被俘。太祖
  • 邵峰 (医学家)邵峰(1973年-)是一位中国免疫学家。1973年生于江苏淮安,1996年毕业于北京大学技术物理系,1999年获中科院生物物理研究所分子生物学硕士,2003年获密歇根大学医学院生物化学博士。其
  • 别认输Million(日本唱片协会)《别认输》(日语:.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}
  • 弗朗索瓦·巴鲁安弗朗索瓦·巴焕(法语:François Baroin,1965年6月21日-),法国政治人物,在弗朗索瓦·菲永第三次内阁中担任财政部长。弗朗索瓦·巴焕出身律师,并曾短暂担任过政治记者。他受到前总统
  • 许石许石(1919年9月24日-1980年8月2日),是二战后的台湾作曲家,创作出许多台湾歌谣,《安平追想曲》、《南都之夜》为其代表作。1946年,许石自日本回台,逐步收集整理散落在各地方的台湾民
  • 侯鸿亮侯鸿亮(1973年-),山东人,中国大陆导演、摄影师、制片人、发行人,东阳正午阳光影视有限公司董事长。其担任制片人的作品有《闯关东》、《战长沙》、《北平无战事》、《伪装者》、《
  • 吴观玄吴观玄,江西吉安永丰县人,明朝政治人物、进士出身。洪武二十一年,登进士二甲第三名,历任监察御史。
  • 土居章助土居章助(1937年9月3-),为日本职棒选手,出生于日本高知县,是一位全功能型的选手。
  • 诗肯诗肯,是一个成立新加坡、总部及物流中心设于台湾的跨国连锁家俱品牌集团,其旗下有“诗肯柚木”、“诗肯居家”等品牌。1974年,林褔勤在新加坡开设“夏威夷室内设计”,并于随后陆
  • 布拉格地铁A线布拉格地铁A线(捷克语:Linka A)是捷克布拉格的一条地铁路线。布拉格地铁A线是布拉格继C线之后的的第二条地铁路线,开业于1978年。现在布拉格地铁A线总长17.1千米(10.6英里),有17个车站。 维基共享资源上有关布拉格地铁A线的多媒体资源