On the irreducibility of the Dirichlet polynomial of a simple group of Lie type. (Q1758943): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q115377699, #quickstatements; #temporary_batch_1711055989931 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115377699 / rank | |||
Normal rank |
Revision as of 00:40, 22 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the irreducibility of the Dirichlet polynomial of a simple group of Lie type. |
scientific article |
Statements
On the irreducibility of the Dirichlet polynomial of a simple group of Lie type. (English)
0 references
19 November 2012
0 references
Let \(R\) denote the ring of all Dirichlet polynomials of the form \(\sum_{n=1}^\infty a_nn^{-s}\) where the coefficients \(a_n\) are integers and only finitely many are nonzero. This is a unique factorization domain. If \(G\) is a finite group, then the Möbius function \(\mu_G\) is defined inductively on the subgroups of \(G\) by \(\mu_G(G)=1\) and \(\sum_{H\leq K\leq G}\mu_G(K)=0\) for all \(H<G\). Attached to \(G\) we have the Dirichlet polynomial defined by \(P_G(s)=\sum_{H\leq G}\mu_G(H)|G:H|^{-s}\). One can investigate connections between the factorization of \(P_G(s)\) in the ring \(R\) and the structure of \(G\). It is easily shown that for each normal subgroup \(N\) of \(G\), \(P_{G/N}(s)\) divides \(P_G(s)\); let \(P_{G,N}(s)=P_G(s)/P_{G/N}(s)\in R\). One can ask whether \(P_{G/K,H/K}(s)\) is irreducible if \(H/K\) is a chief factor of \(G\). This is not always true. In this paper the author investigates the irreducibility of \(P_{G/K,H/K}(s)\) in the case when the composition factors of \(H/K\) are simple groups of Lie type, proving the irreducibility under some assumptions on the Lie rank. Moreover, he shows that the Dirichlet polynomial \(P_S (s)\) of a simple group \(S\) of Lie type is reducible if and only if \(S\) is isomorphic to \(\mathrm{PSL}(2,p)\), where \(p=2^k-1\) is a Mersenne prime such that \(k\equiv 3\bmod 4\).
0 references
probabilistic zeta function
0 references
finite simple groups of Lie type
0 references
Dirichlet polynomials
0 references
Möbius function
0 references
composition factors
0 references