请输入您要查询的字词:

 

单词 FreeProduct
释义

free product


Definition

Let G be a group, and let (Ai)iI bea family of subgroupsMathworldPlanetmathPlanetmath (http://planetmath.org/Subgroup) of G.Then G is said to be a free productMathworldPlanetmath of the subgroups Aiif given any group H anda homomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath (http://planetmath.org/GroupHomomorphism)fi:AiH for each iI,there is a unique homomorphism f:GHsuch that f|Ai=fi for all iI.The subgroups Ai are then called the free factors of G.

If G is the free product of (Ai)iI,and (Ki)iI is a family of groups such that KiAifor each iI,then we may also say that G is the free product of (Ki)iI.With this definition, every family of groups has a free product,and the free product is unique up to isomorphismMathworldPlanetmathPlanetmath.

The free product is the coproductMathworldPlanetmath in the category of groups.

Construction

Free groupsMathworldPlanetmath are simply the free products of infinite cyclic groups,and it is possible to generalize the construction given in the free grouparticle to the case of arbitrary free products.But we will instead constructthe free product as a quotient (http://planetmath.org/QuotientGroup) of a free group.

Let (Ki)iI be a family of groups.For each iI,let Xi be a set and γi:XiKi a functionsuch that γi(Xi) generates Ki.The Xi should be chosen to be pairwise disjoint;for example, we could take Xi=Ki×{i},and let γi be the obvious bijection.Let F be a free group freely generated by iIXi.For each iI,the subgroup Xi of F is freely generated by Xi,so there is a homomorphism ϕi:XiKiextending γi.Let N be the normal closurePlanetmathPlanetmath of iIkerϕi in F.

Then it can be shown that F/N isthe free product of the family of subgroups (XiN/N)iI,and KiXiN/N for each iI.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 16:13:28