词条 | Baumslag–Solitar group |
释义 |
In the mathematical field of group theory, the Baumslag–Solitar groups are examples of two-generator one-relator groups that play an important role in combinatorial group theory and geometric group theory as (counter)examples and test-cases. They are given by the group presentation For each integer {{math|m}} and {{math|n}}, the Baumslag–Solitar group is denoted {{math|BS(m, n)}}. The relation in the presentation is called the Baumslag–Solitar relation. Some of the various {{math|BS(m, n)}} are well-known groups. {{math|BS(1, 1)}} is the free abelian group on two generators, and {{math|BS(1, −1)}} is the fundamental group of the Klein bottle. The groups were defined by Gilbert Baumslag and Donald Solitar in 1962 to provide examples of non-Hopfian groups. The groups contain residually finite groups, Hopfian groups that are not residually finite, and non-Hopfian groups. Linear representationDefine The matrix group {{math|G}} generated by {{math|A}} and {{math|B}} is a homomorphic image of {{math|BS(m, n)}}, via the homomorphism induced by It is worth noting that this will not, in general, be an isomorphism. For instance if {{math|BS(m, n)}} is not residually finite (i.e. if it is not the case that {{math|{{!}}m{{!}} {{=}} 1}}, {{math|{{!}}n{{!}} {{=}} 1}}, or {{math|{{!}}m{{!}} {{=}} {{!}}n{{!}}}}[1]) it cannot be isomorphic to a finitely generated linear group, which is known to be residually finite by a theorem of Anatoly Maltsev.[2] See also
Notes1. ^See [https://www.jstor.org/pss/1995962 Nonresidually Finite One-Relator Groups] by Stephen Meskin for a proof of the residual finiteness condition 2. ^Anatoliĭ Ivanovich Mal'cev, "On the faithful representation of infinite groups by matrices" Translations of the American Mathematical Society (2), 45 (1965), pp. 1–18 References
1 : Combinatorial group theory |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。