The coset poset and probabilistic zeta function of a finite group (Q1972437): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q188539 |
Changed an Item |
||
Property / author | |||
Property / author: K. Stephen Brown / rank | |||
Normal rank |
Revision as of 10:35, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The coset poset and probabilistic zeta function of a finite group |
scientific article |
Statements
The coset poset and probabilistic zeta function of a finite group (English)
0 references
28 August 2001
0 references
For each finite group \(G\) and each integer \(s\geq 1\), let \(P(G,s)\) denote the probability that \(s\) elements chosen at random from \(G\) generate all of \(G\). A theorem of \textit{P. Hall} [see Q. J. Math., Oxf. Ser. 7, 134-151 (1936; Zbl 0014.10402)] shows that \(P(G,s)=\sum\mu(G,H)|G:H|^{-s}\) where the sum is over all subgroups \(H\) of \(G\) and \(\mu\) is a generalized Möbius function. This sum is clearly defined for all real \(s\) and its reciprocal is sometimes called the zeta function for \(G\). The current paper studies the value of the integer \(P(G,-1)\) which turns out to have a topological interpretation. Consider the ``coset poset'' \(\mathcal{C}(G)\) defined as the set of cosets of all proper subgroups of \(G\) ordered by inclusion. Then the simplicial complex \(\Delta(\mathcal{C}(G))\) consisting of the finite chains in \(\mathcal{C}(G)\) has Euler characteristic \(1-P(G,-1)\). Using this topological connection the author shows that every prime \(p\) dividing \(|G|\) also divides \(P(G,-1)\), and he gives group theoretic conditions which imply that \(P(G,-1)\) is divisible by higher powers of \(p\). Apart from this connection with \(P(G,-1)\) there are many other open questions concerning the relationship between topological properties of \(\mathcal{C}(G)\) and properties of \(G\).
0 references
finite groups
0 references
zeta functions
0 references
generalized Möbius functions
0 references
subgroups
0 references
cosets
0 references
Euler characteristics
0 references