{"title":"A closure operator on the subgroup lattice of GL(𝑛,𝑞) and PGL(𝑛,𝑞) in relation to the zeros of the Möbius function","authors":"Luca Di Gravina","doi":"10.1515/jgth-2023-0021","DOIUrl":null,"url":null,"abstract":"Abstract Let <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi mathvariant=\"double-struck\">F</m:mi> <m:mi>q</m:mi> </m:msub> </m:math> \\mathbb{F}_{q} be the finite field with 𝑞 elements and consider the 𝑛-dimensional <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi mathvariant=\"double-struck\">F</m:mi> <m:mi>q</m:mi> </m:msub> </m:math> \\mathbb{F}_{q} -vector space <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>V</m:mi> <m:mo>=</m:mo> <m:msubsup> <m:mi mathvariant=\"double-struck\">F</m:mi> <m:mi>q</m:mi> <m:mi>n</m:mi> </m:msubsup> </m:mrow> </m:math> V=\\mathbb{F}_{q}^{n} . In this paper, we define a closure operator on the subgroup lattice of the group <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>G</m:mi> <m:mo>=</m:mo> <m:mrow> <m:mi>PGL</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>V</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:math> G=\\mathrm{PGL}(V) . Let 𝜇 denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups 𝐻 of 𝐺 for which <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mi>μ</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>H</m:mi> <m:mo>,</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>≠</m:mo> <m:mn>0</m:mn> </m:mrow> </m:math> \\mu(H,G)\\neq 0 . Moreover, we establish a polynomial bound on the number <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>c</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>m</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> c(m) of closed subgroups 𝐻 of index 𝑚 in 𝐺 for which the lattice of 𝐻-invariant subspaces of 𝑉 is isomorphic to a product of chains. This bound depends only on 𝑚 and not on the choice of 𝑛 and 𝑞. It is achieved by considering a similar closure operator for the subgroup lattice of <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>GL</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>V</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> \\mathrm{GL}(V) and the same results proven for this group.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/jgth-2023-0021","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Abstract Let Fq \mathbb{F}_{q} be the finite field with 𝑞 elements and consider the 𝑛-dimensional Fq \mathbb{F}_{q} -vector space V=Fqn V=\mathbb{F}_{q}^{n} . In this paper, we define a closure operator on the subgroup lattice of the group G=PGL(V) G=\mathrm{PGL}(V) . Let 𝜇 denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups 𝐻 of 𝐺 for which μ(H,G)≠0 \mu(H,G)\neq 0 . Moreover, we establish a polynomial bound on the number c(m) c(m) of closed subgroups 𝐻 of index 𝑚 in 𝐺 for which the lattice of 𝐻-invariant subspaces of 𝑉 is isomorphic to a product of chains. This bound depends only on 𝑚 and not on the choice of 𝑛 and 𝑞. It is achieved by considering a similar closure operator for the subgroup lattice of GL(V) \mathrm{GL}(V) and the same results proven for this group.