自由对象

✍ dations ◷ 2025-07-09 21:03:55 #抽象代数,对象 (范畴论),自由代数结构

在数学中,自由对象是抽象代数中的基本概念。就其通于各种代数结构(带有限操作)而言,它也属泛代数的一支,例子包括自由群、张量代数与自由格。在范畴论的框架下,可以将自由对象推广为自由函子,这是遗忘函子的左伴随函子。

范畴论为自由对象提供了普遍框架。考虑一种代数结构(如群、模等等)的范畴 C {\displaystyle {\mathcal {C}}} 。其上具有一个遗忘函子 U : C S e t {\displaystyle U:{\mathcal {C}}\to \mathbf {Set} } ,此函子将一个对象映至其下的集合;换言之,此函子“遗忘”所有代数操作。

U {\displaystyle U} 有左伴随函子 F : S e t C {\displaystyle F:\mathbf {Set} \to {\mathcal {C}}} ,则称之为 C {\displaystyle {\mathcal {C}}} 的自由函子。 F ( X ) {\displaystyle F(X)} 可以设想为由集合 X {\displaystyle X} 生成的自由对象,此时也有映射 X F ( X ) {\displaystyle X\to F(X)} (在此滥用了符号:其实 F ( X ) {\displaystyle F(X)} 是个代数结构,而 X {\displaystyle X} 却是集合),此映射可理解为从生成元到自由对象的包含映射。

对于更一般的遗忘函子,也能考虑相应的自由函子,例如从 k {\displaystyle k} -向量空间映至其张量代数的函子,便是从 k {\displaystyle k} -代数映至 k {\displaystyle k} -向量空间的遗忘函子之左伴随函子。在此意义下,张量代数有时也称为自由代数。

相关

  • 马里博尔马里博尔(斯洛文尼亚语:Maribor;德语:Marburg an der Drau,意为“德劳河畔马尔堡”)位于斯洛文尼亚德拉瓦河畔,是该国第二大城市。该市属于南施泰尔马克,原是奥地利哈布斯堡王室领地
  • 巴勒斯坦总统巴勒斯坦总统是巴勒斯坦国的国家元首,巴勒斯坦国在1988年11月由巴勒斯坦解放组织单方面宣布独立以后,由巴勒斯坦解放组织的议会选举产生。
  • ø̞中前圆唇元音是一个元音,出现于一些口语中。就声学的角度来说,这个元音实际上是中次前圆唇元音 。由于在国际音标中并没有专门表示半闭与半开之间的前元音音标,习惯上通常将此
  • 镶蓝旗镶蓝旗(满语:ᡴᡠᠪᡠᡥᡝᠯᠠᠮᡠᠨᡤᡡᠰᠠ,穆麟德:kubuhe lamun gūsa,太清:kubuhe lamun gvsa),又作“厢蓝旗”,清代八旗之一,以镶红边的蓝色旗帜而得名。与正红旗、镶白旗、镶红
  • 人事部1999年规定:国务院组成部门的印章,直径5厘米,中央刊国徽,由国务院制发。中华人民共和国人事部,是已撤销的中华人民共和国国务院组成部门,主管人事工作。2008年3月15日,第十一届全国
  • 开放式最短路径优先开放式最短路径优先(英语:Open Shortest Path First,缩写为 OSPF)是一种基于IP协议的路由协议。它是大中型网络上使用较为广泛的IGP协议。OSPF是对链路状态路由协议(英语:Link-sta
  • 东加勒比国家资本市场协会东加勒比国家资本市场协会(简称东加资协, 英语:Capital Market Association of the Eastern Caribbean)是设立在圣文森特和格林纳丁斯的资本市场行业自律监管组织(Self-regulato
  • 叶在馥叶在馥(1888年-1957年),广东省番禺县人,造船专家。中国造船工程学会创始人之一、大连造船厂建厂委员会总工程师。1888年,生于广东省番禺县,祖籍福建省闽侯县。1903年,考入广东黄埔水
  • 恩绍定理恩绍定理(Earnshaw's theorem)指出点粒子集不能被稳定维持在仅由电荷的静电相互作用构成的一个稳定静止的力学平衡结构。该定理首次被英国数学家塞缪尔·恩绍于1842年证明。该
  • 尹根寿尹根寿(1537年-1616年)是韩国李氏朝鲜中期的文臣及性理学者,书艺家。1590年的光国功臣,1604年扈圣功臣。朝鲜之役时朝鲜朝政的主要人物。尹斗寿的亲弟弟,将领元均的姻戚。字子固,号