群的完全嵌入

IF 0.6 4区 数学 Q3 MATHEMATICS
MARTIN R. BRIDSON, HAMISH SHORT
{"title":"群的完全嵌入","authors":"MARTIN R. BRIDSON, HAMISH SHORT","doi":"10.1017/s0004972723001442","DOIUrl":null,"url":null,"abstract":"Every countable group <jats:italic>G</jats:italic> can be embedded in a finitely generated group <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0004972723001442_inline1.png\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> that is hopfian and <jats:italic>complete</jats:italic>, that is, <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0004972723001442_inline2.png\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> has trivial centre and every epimorphism <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0004972723001442_inline3.png\" /> <jats:tex-math> $G^*\\to G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is an inner automorphism. Every finite subgroup of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0004972723001442_inline4.png\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is conjugate to a finite subgroup of <jats:italic>G</jats:italic>. If <jats:italic>G</jats:italic> has a finite presentation (respectively, a finite classifying space), then so does <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0004972723001442_inline5.png\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Our construction of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0004972723001442_inline6.png\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> relies on the existence of closed hyperbolic 3-manifolds that are asymmetric and non-Haken.","PeriodicalId":50720,"journal":{"name":"Bulletin of the Australian Mathematical Society","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"COMPLETE EMBEDDINGS OF GROUPS\",\"authors\":\"MARTIN R. BRIDSON, HAMISH SHORT\",\"doi\":\"10.1017/s0004972723001442\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Every countable group <jats:italic>G</jats:italic> can be embedded in a finitely generated group <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0004972723001442_inline1.png\\\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> that is hopfian and <jats:italic>complete</jats:italic>, that is, <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0004972723001442_inline2.png\\\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> has trivial centre and every epimorphism <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0004972723001442_inline3.png\\\" /> <jats:tex-math> $G^*\\\\to G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is an inner automorphism. Every finite subgroup of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0004972723001442_inline4.png\\\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is conjugate to a finite subgroup of <jats:italic>G</jats:italic>. If <jats:italic>G</jats:italic> has a finite presentation (respectively, a finite classifying space), then so does <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0004972723001442_inline5.png\\\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Our construction of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0004972723001442_inline6.png\\\" /> <jats:tex-math> $G^*$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> relies on the existence of closed hyperbolic 3-manifolds that are asymmetric and non-Haken.\",\"PeriodicalId\":50720,\"journal\":{\"name\":\"Bulletin of the Australian Mathematical Society\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-01-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the Australian Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/s0004972723001442\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the Australian Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s0004972723001442","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

每个可数群 G 都可以嵌入一个有限生成的群 $G^*$,而这个群是跳化的和完全的,也就是说,$G^*$ 有微不足道的中心,并且每个外变 $G^*\to G^*$ 都是一个内自变。$G^*$ 的每个有限子群都与 G 的一个有限子群共轭。如果 G 有一个有限的呈现(分别是有限的分类空间),那么 $G^*$ 也是如此。我们对 $G^*$ 的构造依赖于非对称和非哈肯的封闭双曲 3-manifolds。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
COMPLETE EMBEDDINGS OF GROUPS
Every countable group G can be embedded in a finitely generated group $G^*$ that is hopfian and complete, that is, $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is conjugate to a finite subgroup of G. If G has a finite presentation (respectively, a finite classifying space), then so does $G^*$ . Our construction of $G^*$ relies on the existence of closed hyperbolic 3-manifolds that are asymmetric and non-Haken.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.20
自引率
14.30%
发文量
149
审稿时长
4-8 weeks
期刊介绍: Bulletin of the Australian Mathematical Society aims at quick publication of original research in all branches of mathematics. Papers are accepted only after peer review but editorial decisions on acceptance or otherwise are taken quickly, normally within a month of receipt of the paper. The Bulletin concentrates on presenting new and interesting results in a clear and attractive way. Published Bi-monthly Published for the Australian Mathematical Society
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信