English

On two M\"obius function for a finite non-solvable group

Group Theory 2020-04-07 v1

Abstract

Let GG be a finite group, μ\mu be the M\"obius function on the subgroup lattice of GG, and λ\lambda be the M\"obius function on the poset of conjugacy classes of subgroups of GG. It was proved by Pahlings that, whenever GG is solvable, the property μ(H,G)=[NG(H):GH]λ(H,G)\mu(H,G)=[N_{G^\prime}(H):G^{\prime}\cap H]\cdot\lambda(H,G) holds for any subgroup HH of GG. It is known that this property does not hold in general; for instance it does not hold for every simple groups, the Mathieu group M12M_{12} being a counterexample. In this paper we investigate the relation between μ\mu and λ\lambda for some classes of non-solvable groups; among them, the minimal non-solvable groups. We also provide several examples of groups not satisfying the property.

Keywords

Cite

@article{arxiv.2004.02694,
  title  = {On two M\"obius function for a finite non-solvable group},
  author = {Francesca Dalla Volta and Giovanni Zini},
  journal= {arXiv preprint arXiv:2004.02694},
  year   = {2020}
}
R2 v1 2026-06-23T14:41:07.746Z