补充资料:自由群
自由群
free group
自由群「,h犯,切甲;eoo6如。a二rpy。。a」 一个具有生成元系X的群F,使得任意由X到任意一个群G内的映射都可以扩张为F到G内的一个同态.这样的一个生成元系X称为一个自由生成元系 (s岁傲mof几氏罗ne份tols);它的基数称为F的秩 (m吐).集合X也称为一个字母表(alPhabet).F的元素是字母表X上的字,即形如 。=x片二’X七的表示式,这里戈‘X,马一士1对一切j,以及空字·一个字v称为不可约的(in司ucible),如果对于每一个j=l,二,。一l来说,减笋x称十不可约字是自由群F内互不相同的元素,并且每一个字都等于唯一的一个不可约字.如果字v是不可约的,则数n称为字v的长度(犯ngth of胶wo记). 一个群的元素a,,…,久所组成的有限序集的N记Isell变换(Nie坛ent扭nsfo们m以石011)是:l)这个集合的两个元素的对换;2)某一元素q代以可’;3)某一元素q代以只马,这里j转1.如果一个自由群F是有限秩的,那么在自由生成元系上施行Nie蚀泊变换后仍得到一个新的自由生成元系,并且任意自由生成元系都可以由另外任一自由生成元系通过累次施行这种变换而得到(Nie反们定理(N记比nth以〕reni),见〔2]).自由群的重要性乃是基于这样一个事实,即任何一个群都同构于某一自由群的商群:自由群的子群也是自由群(Nie-讹n一Sch甲i盯定理(N泪sen一 Sch陀ierth以〕比m),见川,[2〕). 在一个群簇(从纽理妙ofgrouPS)匀内的自由群的定义与自由群类似,只不过是在勿内,它也称为匀自由群(匀一n优gro叩)或相对自由群(邝la石说ly~lh戈gro叩)(也称纱伟自申带(阁咧掀gro叩))·如果汤是由一组恒等式v=1所定义的,这里v任V,那么匀中一个具生成元系X的自由群同构于商群F/V(F),这里F是具生成元系X的自由群,v(F)是由V所定义的字子群,即由F中所有包含字v6V的元素所生成的子群.特定的簇的自由群有特殊的名称,例如,自由Abel群,自由幂零群,自由可解群,自由Burl侣让群,它们依次是簇吸,吸,洲,跳的自由群.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条
专业词汇(按中图法分类)
- 马列主义、毛泽东思想、邓小平理论
- 哲学、宗教
- 社会科学总论
- 政治、法律
- 军事
- 经济
- 文化、科学、教育、体育
- 语言、文字
- 文学
- 艺术
- 历史、地理
- 自然科学总论
- 数理科学和化学
- 天文学、地球科学
- 生物科学
- 医药、卫生
- 农业科学
- 工业技术
- 交通运输
- 航空、航天
- 环境科学、安全科学