<p>Let <i>G</i> be a locally compact group, <i>E</i> its trivial subgroup and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {SUB}\!\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">SUB</mi> <mspace width="-0.166667em" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> the set of closed subgroups of <i>G</i> endowed with the Chabauty topology; this is a compact space. Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}}\hspace{-0.5pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mtext>c</mtext> </msub> <mspace width="-0.5pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> (resp. <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mrow> <mtext>c</mtext> <mspace width="0.56917pt" /> <mtext>o</mtext> </mrow> </msub> <mspace width="-0.5pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation>) denote the subspace of all compact (resp. compact open) subgroups of <i>G</i>. We say that <i>G</i> is compactly ruled if it is a directed union of compact open subgroups. It was shown by Hamrouni and Jlali, in (Proc Math Sci 131:1–10, 2021), that <i>G</i> is compactly ruled and totally disconnected if and only if <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mrow> <mtext>c</mtext> <mspace width="0.56917pt" /> <mtext>o</mtext> </mrow> </msub> <mspace width="-0.5pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> is dense in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {SUB}\!\left( G\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">SUB</mi> <mspace width="-0.166667em" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we characterize compactly ruled groups as follows: <i>G</i> is compactly ruled if and only if <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq6.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\in \overline{{\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}}\hspace{-0.5pt}\left( G\right) }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>∈</mo> <mover> <mrow> <msub> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mtext>c</mtext> </msub> <mspace width="-0.5pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> if and only if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="111" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\in \overline{{\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>∈</mo> <mover> <mrow> <msub> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mrow> <mtext>c</mtext> <mspace width="0.56917pt" /> <mtext>o</mtext> </mrow> </msub> <mspace width="-0.5pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we provide a more precise characterization in the case of total disconnectedness: <i>G</i> is compactly ruled and totally disconnected if and only if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2054_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="152" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{E,G\}\subset \overline{{\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">{</mo> <mi>E</mi> <mo>,</mo> <mi>G</mi> <mo stretchy="false">}</mo> </mrow> <mo>⊂</mo> <mover> <mrow> <msub> <mrow> <mi mathvariant="script">S</mi> <mspace width="-0.5pt" /> <mi mathvariant="script">U</mi> <mspace width="-0.9pt" /> <mi mathvariant="script">B</mi> </mrow> <mrow> <mtext>c</mtext> <mspace width="0.56917pt" /> <mtext>o</mtext> </mrow> </msub> <mspace width="-0.5pt" /> <mfenced close=")" open="("> <mi>G</mi> </mfenced> </mrow> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A characterization of compactly ruled groups

  • Bilel Kadri

摘要

Let G be a locally compact group, E its trivial subgroup and \(\mathcal {SUB}\!\left( G\right) \) SUB G the set of closed subgroups of G endowed with the Chabauty topology; this is a compact space. Let \({\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}}\hspace{-0.5pt}\left( G\right) \) S U B c G (resp. \({\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) \) S U B c o G ) denote the subspace of all compact (resp. compact open) subgroups of G. We say that G is compactly ruled if it is a directed union of compact open subgroups. It was shown by Hamrouni and Jlali, in (Proc Math Sci 131:1–10, 2021), that G is compactly ruled and totally disconnected if and only if \({\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) \) S U B c o G is dense in \(\mathcal {SUB}\!\left( G\right) \) SUB G . In this paper, we characterize compactly ruled groups as follows: G is compactly ruled if and only if \(G\in \overline{{\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}}\hspace{-0.5pt}\left( G\right) }\) G S U B c G ¯ if and only if \(G\in \overline{{\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) }\) G S U B c o G ¯ . Furthermore, we provide a more precise characterization in the case of total disconnectedness: G is compactly ruled and totally disconnected if and only if \(\{E,G\}\subset \overline{{\mathcal {S}\hspace{-0.5pt}\mathcal {U}\hspace{-0.9pt}\mathcal {B}}_{\textrm{c}\hspace{0.56917pt}\textrm{o}}\hspace{-0.5pt}\left( G\right) }\) { E , G } S U B c o G ¯ .