{"title":"群扩展的玻尔紧化与无限补全","authors":"BACHIR BEKKA","doi":"10.1017/s0305004123000555","DOIUrl":null,"url":null,"abstract":"Abstract Let $G= N\\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup N and a closed subgroup H . The Bohr compactification ${\\rm Bohr}(G)$ and the profinite completion ${\\rm Prof}(G)$ of G are, respectively, isomorphic to semi-direct products $Q_1 \\rtimes {\\rm Bohr}(H)$ and $Q_2 \\rtimes {\\rm Prof}(H)$ for appropriate quotients $Q_1$ of ${\\rm Bohr}(N)$ and $Q_2$ of ${\\rm Prof}(N).$ We give a precise description of $Q_1$ and $Q_2$ in terms of the action of H on appropriate subsets of the dual space of N . In the case where N is abelian, we have ${\\rm Bohr}(G)\\cong A \\rtimes {\\rm Bohr}(H)$ and ${\\rm Prof}(G)\\cong B \\rtimes {\\rm Prof}(H),$ where A (respectively B ) is the dual group of the group of unitary characters of N with finite H -orbits (respectively with finite image). Necessary and sufficient conditions are deduced for G to be maximally almost periodic or residually finite. We apply the results to the case where $G= \\Lambda\\wr H$ is a wreath product of discrete groups; we show in particular that, in case H is infinite, ${\\rm Bohr}(\\Lambda\\wr H)$ is isomorphic to ${\\rm Bohr}(\\Lambda^{\\rm Ab}\\wr H)$ and ${\\rm Prof}(\\Lambda\\wr H)$ is isomorphic to ${\\rm Prof}(\\Lambda^{\\rm Ab} \\wr H),$ where $\\Lambda^{\\rm Ab}=\\Lambda/ [\\Lambda, \\Lambda]$ is the abelianisation of $\\Lambda.$ As examples, we compute ${\\rm Bohr}(G)$ and ${\\rm Prof}(G)$ when G is a lamplighter group and when G is the Heisenberg group over a unital commutative ring.","PeriodicalId":18320,"journal":{"name":"Mathematical Proceedings of the Cambridge Philosophical Society","volume":"94 1","pages":"0"},"PeriodicalIF":0.6000,"publicationDate":"2023-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On Bohr compactifications and profinite completions of group extensions\",\"authors\":\"BACHIR BEKKA\",\"doi\":\"10.1017/s0305004123000555\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract Let $G= N\\\\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup N and a closed subgroup H . The Bohr compactification ${\\\\rm Bohr}(G)$ and the profinite completion ${\\\\rm Prof}(G)$ of G are, respectively, isomorphic to semi-direct products $Q_1 \\\\rtimes {\\\\rm Bohr}(H)$ and $Q_2 \\\\rtimes {\\\\rm Prof}(H)$ for appropriate quotients $Q_1$ of ${\\\\rm Bohr}(N)$ and $Q_2$ of ${\\\\rm Prof}(N).$ We give a precise description of $Q_1$ and $Q_2$ in terms of the action of H on appropriate subsets of the dual space of N . In the case where N is abelian, we have ${\\\\rm Bohr}(G)\\\\cong A \\\\rtimes {\\\\rm Bohr}(H)$ and ${\\\\rm Prof}(G)\\\\cong B \\\\rtimes {\\\\rm Prof}(H),$ where A (respectively B ) is the dual group of the group of unitary characters of N with finite H -orbits (respectively with finite image). Necessary and sufficient conditions are deduced for G to be maximally almost periodic or residually finite. We apply the results to the case where $G= \\\\Lambda\\\\wr H$ is a wreath product of discrete groups; we show in particular that, in case H is infinite, ${\\\\rm Bohr}(\\\\Lambda\\\\wr H)$ is isomorphic to ${\\\\rm Bohr}(\\\\Lambda^{\\\\rm Ab}\\\\wr H)$ and ${\\\\rm Prof}(\\\\Lambda\\\\wr H)$ is isomorphic to ${\\\\rm Prof}(\\\\Lambda^{\\\\rm Ab} \\\\wr H),$ where $\\\\Lambda^{\\\\rm Ab}=\\\\Lambda/ [\\\\Lambda, \\\\Lambda]$ is the abelianisation of $\\\\Lambda.$ As examples, we compute ${\\\\rm Bohr}(G)$ and ${\\\\rm Prof}(G)$ when G is a lamplighter group and when G is the Heisenberg group over a unital commutative ring.\",\"PeriodicalId\":18320,\"journal\":{\"name\":\"Mathematical Proceedings of the Cambridge Philosophical Society\",\"volume\":\"94 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-10-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Proceedings of the Cambridge Philosophical Society\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/s0305004123000555\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Proceedings of the Cambridge Philosophical Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/s0305004123000555","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
On Bohr compactifications and profinite completions of group extensions
Abstract Let $G= N\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup N and a closed subgroup H . The Bohr compactification ${\rm Bohr}(G)$ and the profinite completion ${\rm Prof}(G)$ of G are, respectively, isomorphic to semi-direct products $Q_1 \rtimes {\rm Bohr}(H)$ and $Q_2 \rtimes {\rm Prof}(H)$ for appropriate quotients $Q_1$ of ${\rm Bohr}(N)$ and $Q_2$ of ${\rm Prof}(N).$ We give a precise description of $Q_1$ and $Q_2$ in terms of the action of H on appropriate subsets of the dual space of N . In the case where N is abelian, we have ${\rm Bohr}(G)\cong A \rtimes {\rm Bohr}(H)$ and ${\rm Prof}(G)\cong B \rtimes {\rm Prof}(H),$ where A (respectively B ) is the dual group of the group of unitary characters of N with finite H -orbits (respectively with finite image). Necessary and sufficient conditions are deduced for G to be maximally almost periodic or residually finite. We apply the results to the case where $G= \Lambda\wr H$ is a wreath product of discrete groups; we show in particular that, in case H is infinite, ${\rm Bohr}(\Lambda\wr H)$ is isomorphic to ${\rm Bohr}(\Lambda^{\rm Ab}\wr H)$ and ${\rm Prof}(\Lambda\wr H)$ is isomorphic to ${\rm Prof}(\Lambda^{\rm Ab} \wr H),$ where $\Lambda^{\rm Ab}=\Lambda/ [\Lambda, \Lambda]$ is the abelianisation of $\Lambda.$ As examples, we compute ${\rm Bohr}(G)$ and ${\rm Prof}(G)$ when G is a lamplighter group and when G is the Heisenberg group over a unital commutative ring.
期刊介绍:
Papers which advance knowledge of mathematics, either pure or applied, will be considered by the Editorial Committee. The work must be original and not submitted to another journal.