自由幺半群

✍ dations ◷ 2025-12-06 09:53:39 #自由幺半群

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

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

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

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

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

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

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

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

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

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

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

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

相关

新天地教会新天地耶稣教证据帐幕圣殿（朝鲜语：신천지예수교 증거장막성전／新天地예수敎證據帳幕聖殿*/?），简称新天地教会或新天地，是由李万熙于1984年3月14日在韩国创建的基督教系新兴宗教团
Ohira–Bestmann反应Seyferth–Gilbert增碳反应（Seyferth-Gilbert homologation），又称Seyferth-Gilbert同系化反应芳酮（或醛）与重氮甲基膦酸二甲酯（Seyferth-Gilbert试剂）在叔丁醇钾存在下反应生成取代
塔堤扬娜二号塔堤扬娜二号卫星(英文：Tatyana-II)，是一颗中华民国（台湾）与俄罗斯双方合作的微卫星，2009年发射升空，2010年终止运作。中华民国国科会继1998年与俄罗斯基础科学研究机构签署合作备
法裔美国人法裔美国人，为具有法国或法裔加拿大人血统的美国人。法裔美国人总人口达1180万（2009年），占美国总人口的4%。根据美国2000年人口普查，5.3%的美国人具有法裔血统。法裔美国人超过10
Android软件开发Android软件开发是指开发在Android上运行的应用程序的活动，以Java作为主要编程语言，并使用Android软件开发工具包。
王加林王加林（1945年－），男，河北丰润人，中华人民共和国政治人物，中国书法家协会会员，中国摄影家协会会员，曾任河北省人大常委会副主任，第八、九届全国人大代表。
渡边娱乐渡边娱乐有限公司（日语：株式会社ワタナベエンターテインメント，英语：Watanabe Entertainment Co., Ltd.）是日本一家经纪公司兼节目制作公司，隶属于渡边制作（日语：渡辺プロダクション
硬实力硬实力意指政权获得或拥有使用军事和/或经济手段胁迫、影响其他政治团体，以获取利益的实力。正如其名称所暗示，这种形式的政治权力往往是积极的，也是最有效的一种途径，常见于政
亚历山大·阿里达乌斯亚历山大·阿里达乌斯（希腊语：Ἀλέξανδρος Ἀρριδαῖος ；？－？，前三世纪人物），可能是马其顿国王。他不知来历，可能是利西马科斯之子。在托勒密·克劳诺斯逝世和塞尔特人入侵，王国已经陷入混乱且分裂的状态。不知在何时，亚历山大·阿里达乌斯可能被拥立为国王，接替托勒密。
戴存恩戴存恩（Grace Dyer Taylor，1859年7月31日－1867年8月23日），内地会创始人戴德生（James Hudson Taylor）与戴马利亚（Maria Jane Dyer）夫妇的长女。1859年7月31日，戴存恩出生于大清浙江省宁波府。1866年，戴存恩、和弟弟戴存义随父母、内地会派往中国的第一批传教士兰茂密尔团队一同来华，5月26日航行到9月30日，驻扎杭州。1867年8月23日，戴存恩因脑膜炎逝世于大清浙江省杭州府。