{"entities":{"Q6604499":{"pageid":14215656,"ns":120,"title":"Item:Q6604499","lastrevid":57211707,"modified":"2026-03-27T11:59:18Z","type":"item","id":"Q6604499","labels":{"en":{"language":"en","value":"M\u00f6bius function of the subgroup lattice of a finite group and Euler characteristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7912813"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$3464296F-90C8-41A4-ADBA-C00E10C6C763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0309e57e339f0ddd76ecce95d874a158f1a1d8ea","datavalue":{"value":{"text":"M\u00f6bius function of the subgroup lattice of a finite group and Euler characteristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6604499$34C5AC57-5EB2-45D2-A92F-75B0CD5A1A70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ba09c2b26d07aa6deae9fa5b485794c752b25b","datavalue":{"value":{"entity-type":"item","numeric-id":380690,"id":"Q380690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$DD980F14-2ED2-40F5-8785-F1A7BF6B80C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7782f90ce0282f4a0433a756ec72dede795ecca8","datavalue":{"value":{"entity-type":"item","numeric-id":6122748,"id":"Q6122748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$5D1E26AE-A15F-4065-9704-420EB7C1022C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$E961761F-A462-4BAC-83C6-9B4A2D984090","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c5063b0ac2f275e827bc77fc80dd2ef50027016","datavalue":{"value":{"time":"+2024-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6604499$42ABC042-E43B-4EAA-9710-8C2281B7B6EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbf1965513d137b23715d733eea32a5c93c146c6","datavalue":{"value":"Let \\(V = \\mathbb{F}_q^{n}\\) be the finite vector space of dimension \\(n\\) over the finite field \\(\\mathbb{F}_q\\) with \\(q\\) elements. Let \\(G\\) be a subgroup of \\(\\mathrm{GL}(V)\\) acting irreducibly on \\(V\\). Let \\(H\\) be a subgroup of \\(G\\).\\N\\NThe main result (Theorem 4.5) of the paper is the following formula:\\N\\[\\N- \\mu_{\\hat{\\mathcal{I}}(G,H)}(H,G) = \\sum_{E \\in \\Psi'(G,H)} (-1)^{|E|} = \\sum_{X \\in \\Psi(G,H)} (-1)^{|X|} = - \\tilde{\\chi}(\\Delta_1) = - \\tilde{\\chi}(\\Delta_2).\\N\\]\\NWe will explain the notation. For a finite poset \\(\\mathcal{P}\\), let \\(\\mu_{\\mathcal{P}}\\) be the associated M\u00f6bius function. Let \\(\\Delta\\) be a simplicial complex and let \\(\\chi(\\Delta)\\) be the Euler characteristic of \\(\\Delta\\). The reduced Euler characteristic \\(\\tilde{\\chi}(\\Delta)\\) of \\(\\Delta\\) is defined by \\(\\tilde{\\chi}(\\emptyset) = 0\\) and \\(\\tilde{\\chi}(\\Delta) = \\chi(\\Delta) -1\\) if \\(\\Delta \\not= \\emptyset\\).\\N\\NLet \\N\\[\\N\\mathcal{I}(G,H) = \\{ K \\leq G \\mid H \\leq K \\leq M \\ \\mathrm{for \\ some} \\ M \\in \\mathcal{C}(G,H) \\}\\N\\]\\Nwhere \\N\\[\\N\\mathcal{C}(G,H) = \\{ \\mathrm{stab}_{G}(W) \\mid 0 < W < V, \\ H \\leq \\mathrm{stab}_{G}(W) \\}.\\N\\]\\NIf \\(H\\) acts reducibly on \\(V\\), then set \\(\\hat{\\mathcal{I}}(G,H) = \\mathcal{I}(G,H) \\cup \\{ G \\}\\), otherwise set \\(\\hat{\\mathcal{I}}(G,H) = \\{ H, G \\}\\). Set \\(\\Psi(G,H) = \\{ X \\subseteq \\mathcal{C}(G,H) \\mid \\cap_{M \\in X} M \\not= H \\}\\) and \\N\\[\\N\\Psi'(G,H) = \\{ E \\subseteq S(V,H)^{*} \\mid \\bigcap_{W \\in E} \\mathrm{stab}_{G}(W) \\not= H \\}\\N\\]\\Nwhere \\(S(V,H)^{*} = S(V,H) \\setminus \\{ 0, V \\}\\) where \\(S(V,H)\\) is the lattice of \\(H\\)-invariant subspaces of \\(V\\).\\N\\NLet \\(\\Delta_1\\) be the simplicial complex with vertex set given by the subspaces \\(W \\in S(V,H)^{*}\\) for which \\(H \\not= \\mathrm{stab}_{G}(W)\\) with set of faces given by \\(\\Psi'(G,H)\\). Finally, let \\(\\Delta_2\\) be the simplicial complex with vertex set given by the subgroups \\(M \\in \\mathcal{C}(G,H)\\) such that \\(H \\not= M\\) with set of faces given by \\(\\Psi(G,H)\\).\\N\\NA motivation for the paper was the PhD thesis of \\textit{J. W. Shareshian} [Combinatorial properties of subgroup lattices of finite groups. Ann Arbor, MI: Rutgers, The State University of New Jersey (PhD Thesis) (1996)] where the problem of computing \\(\\mu(1,G) = \\mu_{\\mathcal{P}}(1,G)\\) where \\(\\mathcal{P}\\) is the subgroup lattice of a finite classical group \\(G\\) is considered. The work is also related to a well-known conjecture of \\textit{A. Mann} [Int. J. Algebra Comput. 15, No. 5--6, 1053--1059 (2005; Zbl 1098.20025)]. Let \\(G\\) be a PFG-group. Let \\(\\mu\\) be the M\u00f6bius function on the lattice of open subgroups of \\(G\\). The number \\(|\\mu(H,G)|\\) is bounded by a polynomial function in the index \\(|G:H|\\) of \\(H\\) in \\(G\\) and the number of subgroups \\(H\\) of \\(G\\) of index \\(m\\) with \\(\\mu(H,G) \\not= 0\\) grows at most polynomially in \\(m\\). In [J. Group Theory 27, No. 2, 275--296 (2024; Zbl 07812017)], the second author uses Theorem 4.5 to handle a special case of this conjecture.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604499$CCFAA2DA-ACD4-49E6-A8CE-DCCAC3914EB4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"33e41358032c65f1c6e53862fbfa8c689b637f0f","datavalue":{"value":{"entity-type":"item","numeric-id":254329,"id":"Q254329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$15FDCD07-E6CC-4A57-B866-954826032748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604499$7BFAADB2-F682-41BC-B256-413DF6A09BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604499$DDF6E6EC-638B-449E-B230-B36C4A3B5232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fad60f4f20aa9dea89d519269a20a5b36954889e","datavalue":{"value":"05E16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604499$08B00D7C-EC5C-4641-850A-214ECA184661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e669b60521e14398c1f2263792cea32c3a9da254","datavalue":{"value":"05E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604499$703D9E26-B010-480D-A8D1-B651DAA78577","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f957ff3e76c5cce8e260b9992af79e598079ed02","datavalue":{"value":"7912813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604499$493C3CB4-6272-48F6-A2B8-BD221C1DB155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379272f926eea761941679f116e9dbee4c3f3d1e","datavalue":{"value":"M\u00f6bius function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604499$B8386B14-1BD4-4DA7-A990-5C6888634766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5dcefc4386aafb796f14f7f255e09233d14e66","datavalue":{"value":"subgroup lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604499$54F01798-4727-4F8E-A200-0F758AEF9C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8731cfe85b27b75d2f7fe7cf9430d937675368c0","datavalue":{"value":"linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604499$D113954E-2F08-4743-B3EB-913545D315C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae6b73647501cddc60bea81c63e58401d0164fd","datavalue":{"value":"Euler characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604499$D49DBE96-F2EB-4525-A3D4-FB261A009649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a6ca6c1cb73b8213c0bc6c1f79eda7e4a1010b","datavalue":{"value":"simplicial complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6604499$55FB7B85-E515-4AA8-AA5E-80C626858DAE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$400C19D0-822D-4241-AA37-FF55D90818CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f30e34f27a618c6adc3d0add3eb09b5cf2ce89","datavalue":{"value":{"entity-type":"item","numeric-id":6122749,"id":"Q6122749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$7466CF3C-2499-4C1F-B5E2-EF90AA4BD281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ba60ba077ff01b9691800ec7c918381fa8aa55","datavalue":{"value":{"entity-type":"item","numeric-id":2605845,"id":"Q2605845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$DB08E3E4-6977-43FA-B859-77FCFBF7E297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c4cb31835ce023650a9548f74ae3f1dd1ba4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3996618,"id":"Q3996618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$9CF91D18-AFD3-494E-AAD4-6A822496F8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6d96d1077e8a6787775506031468321e4feecf","datavalue":{"value":{"entity-type":"item","numeric-id":3584491,"id":"Q3584491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$CAF7B4EC-031F-498F-A18D-7727DD19676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176896afac2966e35eafe20c333c42aeab93c10e","datavalue":{"value":{"entity-type":"item","numeric-id":3379483,"id":"Q3379483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$C8616A1C-2388-4657-8197-BD37861BD1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$FEC4DFAD-70FE-4D37-81CF-583C2F870FC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b1b4797fa00210d2f33ba5fa7ebe3c0a57a8df5","datavalue":{"value":"10.1007/S10801-024-01329-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6604499$701C1E82-9275-4CD4-99FD-0B0E9F504FCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e20aa927ebe58b8084785eed1ac2d37d311c04e","datavalue":{"value":{"entity-type":"item","numeric-id":5225046,"id":"Q5225046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87bfb03b5d8787cfd165f4ebff335c4283f15d4","datavalue":{"value":{"amount":"+0.8097826242446899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6604499$AD893381-AAE5-43DF-8810-3A9CADC07EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2730f1c18f4e710452608d3eb96fd7eb4414e94","datavalue":{"value":{"entity-type":"item","numeric-id":2829046,"id":"Q2829046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d374366e99ecc51b428259ad43e004054972a1cd","datavalue":{"value":{"amount":"+0.8065034747123718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6604499$E192D402-E6FB-4AF0-89D9-5B0876AB9E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc4f7363da2b50675fd1b4247ae64b1c8866f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5881015,"id":"Q5881015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c169337ce00c5880e7d57f5686213b589121b69","datavalue":{"value":{"amount":"+0.8006856441497803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6604499$243B1EE4-C090-4EEF-BFDC-BE70A800FCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b55aae439ad28a468d150f79c8bba379b4942b2","datavalue":{"value":{"entity-type":"item","numeric-id":6122749,"id":"Q6122749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabae87bd038528f6b0cb11d4a418bc56783fdef","datavalue":{"value":{"amount":"+0.7999216318130493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6604499$D0BB43A4-74A5-4D9F-8FFE-525D0FD1AAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1cb556a21b5fd6be4c833420ee9eea4dfb427d","datavalue":{"value":{"entity-type":"item","numeric-id":5896698,"id":"Q5896698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfb9ea7e8e09f763dc9c5675c95138528c78f88","datavalue":{"value":{"amount":"+0.7973255515098572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6604499$4445690E-DA5A-4662-B7D2-D64824595C77","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6604499$D01AC49E-F8AF-4B2D-B1CB-5D75873ABD42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6604499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6604499"}}}}}