自由幺半群

✍ dations ◷ 2025-04-02 12:44:43 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 限制性片段长度多态性在分子生物学中,限制性片段长度多态性(英语:restriction fragment length polymorphism, RFLP)具有两种涵义:一是DNA分子由于核苷酸序列的不同而产生的一种可以用来相互区别的性
  • 上古中国一般上古时代是指文字记载出现以前的历史时代。对世界各地上古时代的定义也因此不同。在中国上古时代一般指夏以前(即约4000年前)的时代。在两河流域和埃及一般指公元前5000
  • 我的爱在我身边《我的爱在我身边》(韩语:내 사랑 내 곁에)是一部2009年上映的韩国电影,由《你是我的命运》和《那家伙的声音》的朴振杓导演执导。金明民在片中为了表现出路格瑞氏症(俗称:渐冻人
  • 希腊罗马密教: 古希腊罗马时代的秘密宗教/神秘宗教(Mystery religions)、神圣的秘仪/神圣的奥秘(sacred mysteries)或单纯直接的名之为秘仪、奥秘、秘密(mysteries),为希腊罗马世界(英语:Greco-Roman
  • 阿尔弗莱德一世 (萨尔姆-萨尔姆)阿尔弗莱德·康斯坦丁·亚历山大·安格鲁斯·玛利亚(德语:Alfred Konstantin Alexander Angelus Maria;1814年12月27日-1886年10月5日),出生于安霍尔特。萨尔姆-萨尔姆亲王,是萨尔
  • 杨佳杨佳可以指:
  • 韦舍巴赫河 (韦斯特河支流)坐标:51°26′39″N 8°21′18″E / 51.44428°N 8.35488°E / 51.44428; 8.35488韦舍巴赫河(德语:Wäschebach),是德国的河流,位于该国西部,处于北莱茵-威斯特法伦州,属于韦斯特河
  • 丁酉丁酉为干支之一,顺序为第34个。前一位是丙申,后一位是戊戌。论阴阳五行,天干之丁属阴之火,地支之酉属阴之金,是火克金相克。中国传统纪年农历的干支纪年中一个循环的第34年称“丁酉年”。以下各个公元年份,年份数除以60余34,或年份数减3,除以10的余数是4,除以12的余数是10,自当年立春起至次年立春止的岁次内均为“丁酉年”:天干丙年和辛年,白露到寒露的时间段,就是丁酉月:以下阳历平年日期都是丁酉日:以下阳历闰年日期都是丁酉日:天干丙日和辛日,北京时间(UTC+8)17时到19时,就是丁酉时。
  • 赫克托·戴尔赫克托·戴尔(英语:Hector Dyer,1910年6月2日-1990年5月19日),美国男子田径运动员,主攻短跑。他曾代表美国参加1932年夏季奥林匹克运动会田径比赛,获得男子4×100米接力金牌。
  • 陈赓雅陈赓雅(1905年-1995年),一名陈庚雅,笔名任安、石英,男,云南蒙化人,中国新闻工作者、作家,曾任中华诗词学会顾问。