自由幺半群

✍ dations ◷ 2025-04-04 11:25:19 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

  • 710年前9世纪 | 前8世纪 | 前7世纪前730年代 前720年代 | 前710年代 | 前700年代 前690年代前715年 前714年 前713年 前712年 前711年 | 前710年 | 前709年 前708年 前707年 前
  • 自由贸易区域协定自由贸易区域协定,通常指签署自由贸易协定同意消除关税、贸易配额和优先级别的一些国家或地区的组合,即自由贸易区(英语:Free-trade area)。“自由贸易区”也常常是称一国国内,消
  • 羚羊礁羚羊礁(英语:Antelope Reef),越方称之为海参岩(越南语:Đá Hải Sâm/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN
  • 铃木久泰铃木 久泰(日语:すずき ひさやす、1953年3月31日- - )为日本国土交通省官僚。日本海上保安厅第41代海上保安厅长官。福岛县磐城市出身。东京大学法学部毕业。1975年进入运输省。
  • 王凤清王凤清(1940年11月-),女,汉族,山东牟平人,中华人民共和国政治人物,曾任国家认证认可监督管理委员会主任、党组书记,第十届全国政协委员。丈夫曾庆红。
  • 阿芒斯 (奥布省)阿芒斯(法语:Amance,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Unicode","Genti
  • 吴瑞林 (1945年)吴瑞林(1945年9月-),男,汉族,江苏江都人,中华人民共和国政治人物,曾任江苏省人民政府副省长,江苏省政协副主席,第九、十届全国人大代表。
  • 卢依士卢依士(Wilson Seeley Lewis,1857年7月17日-1921年8月24日)美以美会传教士。1857年7月17日,卢依士出生于纽约州北部圣劳伦斯县的罗素(Russell),是家中八个孩子中的第七个。年轻时,他在圣劳伦斯县乡村教书。1880年毕业于圣劳伦斯大学,同年前往爱荷华州,1889年毕业于康奈尔学院,获该校和上爱荷华大学博士学位。他加入美以美会上爱荷华州年会,后来调到西北爱荷华州年会。1888年至1897年任埃普沃斯神学院(Epworth Seminary)校长,1897年至1908年
  • 大物忌神相传大物忌神(オオモノイミノカミ)乃住在日本山形县鸟海山山上的神祇,而鸟海山大物忌神社为分灵至东北地方各地的起源。在古代日本,鸟海山位于大和王权支配范围的北境,具地方色彩的大物忌神非但为守护国家的神明,也能去除污秽。而鸟海山是一座活火山,故当地居民传说火山喷发就是大物忌神发怒了。此外,据考究大物忌神和宇迦之御魂神、丰宇气毘卖神、大忌神、广濑大忌神等为同一神。鸟海山大物忌神社的社传沿革也记载大物忌神和丰受大神宫的丰受大神(即丰宇气毘卖神)为同一神,位于山形县山形市的鸟海月山两所宫亦主祀仓稻魂命(即宇迦之御魂
  • 三溴化铊三溴化铊是一种无机化合物,化学式为TlBr3。三溴化铊的四水合物可由溴化亚铊在水中的悬浮液和溴在30~40 °C反应得到。三溴化铊以水合物的形式存在,它是浅黄色针状晶体,易溶于水,在40 °C熔化,但在空气中,30 °C时分解为暗黄色的溴化铊(I,III),生成水和溴;而在真空中,分解在室温即可分解。它可以形成一系列的溴配合物,如Rb和Rb3。三溴化铊是强氧化剂,在有机化学和金属有机化学中有所应用。