{"title":"GL(𝑛,𝑞)和PGL(𝑛,𝑞)的子群格上与Möbius函数的零点相关的闭包算子","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":50188,"journal":{"name":"Journal of Group Theory","volume":"18 1","pages":"0"},"PeriodicalIF":0.4000,"publicationDate":"2023-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"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\":50188,\"journal\":{\"name\":\"Journal of Group Theory\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-09-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Group Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1515/jgth-2023-0021\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Group Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/jgth-2023-0021","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
摘要设F q \mathbb{F} _q{为具有𝑞元的有限域,考虑𝑛-dimensional F q }\mathbb{F} _q{ -向量空间V= F q n V= }\mathbb{F} _q{^}n{。本文在群G= PGL²(V) G= }\mathrm{PGL} (V)的子群格上定义了一个闭包算子。令其表示这个格的Möbius函数。目的是使用这个闭包算子来描述𝐺的子群𝐻,其中μ≠(H,G)≠0 \mu (H,G) \neq 0。此外,我们在𝐺中建立了指标𝑚的闭子群𝐻的数c¹(m) c(m)的多项式界,其中𝐻-invariant子空间的格同构于链的乘积。这个边界只取决于𝑚,而不取决于𝑛和𝑞的选择。通过考虑GL _ (V) \mathrm{GL} (V)的子群格的类似闭包算子,得到了同样的结果。
A closure operator on the subgroup lattice of GL(𝑛,𝑞) and PGL(𝑛,𝑞) in relation to the zeros of the Möbius function
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.
期刊介绍:
The Journal of Group Theory is devoted to the publication of original research articles in all aspects of group theory. Articles concerning applications of group theory and articles from research areas which have a significant impact on group theory will also be considered.
Topics:
Group Theory-
Representation Theory of Groups-
Computational Aspects of Group Theory-
Combinatorics and Graph Theory-
Algebra and Number Theory