<p>If <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">X</mi> </math></EquationSource> </InlineEquation> is a class of groups, a group is minimal non-<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">X</mi> </math></EquationSource> </InlineEquation> if it is not an <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">X</mi> </math></EquationSource> </InlineEquation>-group, but all its proper subgroups belong to <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">X</mi> </math></EquationSource> </InlineEquation>. We prove here that, at least within the universe of non-perfect periodic locally graded groups, the properties of being minimal non-<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {M}}{\mathfrak {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">M</mi> <mi mathvariant="fraktur">F</mi> </mrow> </math></EquationSource> </InlineEquation> and minimal non-(abelian-by-finite) coincide, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {M}}{\mathfrak {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">M</mi> <mi mathvariant="fraktur">F</mi> </mrow> </math></EquationSource> </InlineEquation> is the class of groups having a (normal) subgroup with a modular subgroup lattice of finite index. Moreover, we investigate the behaviour of uncountable periodic groups of regular cardinality <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\aleph \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℵ</mi> </math></EquationSource> </InlineEquation> in which all proper subgroups of cardinality <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\aleph \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℵ</mi> </math></EquationSource> </InlineEquation> belong to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {M}}{\mathfrak {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">M</mi> <mi mathvariant="fraktur">F</mi> </mrow> </math></EquationSource> </InlineEquation>. It is proved here that such a group <i>G</i> contains a finite-index subgroup having a modular subgroup lattice, provided that <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq10.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(G' \ne G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>G</mi> <mo>′</mo> </msup> <mo>≠</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>. A corresponding result for groups whose proper subgroups of large cardinality contain a quasihamiltonian subgroup of finite index is also proved. Recall that a group <i>G</i> is called quasihamiltonian if <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2910_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(XY = YX\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mi>Y</mi> <mo>=</mo> <mi>Y</mi> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> for all subgroups <i>X</i> and <i>Y</i> of <i>G</i>.</p>

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

Groups Whose Proper Subgroups Have a Finite-Index Subgroup with Modular Subgroup Lattice

  • Liliana Lancellotti

摘要

If \({\mathfrak {X}}\) X is a class of groups, a group is minimal non- \({\mathfrak {X}}\) X if it is not an \({\mathfrak {X}}\) X -group, but all its proper subgroups belong to \({\mathfrak {X}}\) X . We prove here that, at least within the universe of non-perfect periodic locally graded groups, the properties of being minimal non- \({\mathfrak {M}}{\mathfrak {F}}\) M F and minimal non-(abelian-by-finite) coincide, where \({\mathfrak {M}}{\mathfrak {F}}\) M F is the class of groups having a (normal) subgroup with a modular subgroup lattice of finite index. Moreover, we investigate the behaviour of uncountable periodic groups of regular cardinality \(\aleph \) in which all proper subgroups of cardinality \(\aleph \) belong to \({\mathfrak {M}}{\mathfrak {F}}\) M F . It is proved here that such a group G contains a finite-index subgroup having a modular subgroup lattice, provided that \(G' \ne G\) G G . A corresponding result for groups whose proper subgroups of large cardinality contain a quasihamiltonian subgroup of finite index is also proved. Recall that a group G is called quasihamiltonian if \(XY = YX\) X Y = Y X for all subgroups X and Y of G.