Averages of groups involving \(p^{\ell}\)-rank and combinatorial identities
type: Item
instance of: scholarly article
title: Averages of groups involving \(p^{\ell}\)-rank and combinatorial identities
zbMATH Open document ID: 1250.11096
author: C. Delaunay
published in: Journal of Number Theory
publication date: 2011-02-18T00:00:00Z
review text: A finite abelian group \(G\) is called a group of type \(S\) if it is endowed with a non-degenerate, bilinear, alternating pairing \(\beta: G \times G \rightarrow \mathbb Q/ \mathbb Z\). If \(G\) is a group of type \(S\), \(|\Aut^S(G)|\), the number of automorphisms of \(G\) that respect the pairing \(\beta\) does not depend on the choice of the pairing \(\beta\). Note that Tate-Shafarevich groups are groups of type \(S\). Let \(h\) be a complex-valued function defined on isomorphism classes of finite abelian groups \(H\) of order \(n\). Define \[ \zeta(h,s)=\sum_{n\geq 1}\frac{1}{n^s}\sum_{H(n)}\frac{h(H)}{|\Aut(H)|} \] and \[ M_u(h)=\lim_{s\rightarrow u}\frac{\zeta(h,s)}{\zeta(1,s)}. \] The value \(M_u(h)\) is called the \(u\)-\textit{average} of the function \(h\). By taking \(h\) to be the function \(T_l(H)\), which adjoins to a group \(H\), \(|H[p^l]|=|\{x\in H:\;p^lh=0\}|\), the number of the \(p^l\)-torsion elements, the author proves that the \(u\)-average of \(T_l\) is \[ M_u(T_l)=1+\frac{1}{p^u}+\dots +\frac{1}{p^{ul}} \] for a finite abelian group and \[ M_u(T_l)=1+\frac{1}{p^{2u-1}}+\dots +\frac{1}{p^{(2u-1)l}} \] for a group of type \(S\). The author also finds probabilities for both finite abelian groups and groups of type \(S\) to have given \(p^l\)-rank (which is the number of cyclic components of the group whose order is divisible by \(p^l\)).
reviewed by: Filip Najman
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 20K01
Mathematics Subject Classification ID: 11B75
zbMATH DE Number: 5853445
zbMATH Keywords: class groups
zbMATH Keywords: Tate-Shafarevich groups
zbMATH Keywords: heuristics
MaRDI profile type: Publication
full work available at URL: j.jnt.2010.10.007
OpenAlex ID: W2059450717
cites work: An Analytic Generalization of the Rogers-Ramanujan Identities for Odd Moduli
cites work: Q4218535
cites work: Q3313950
cites work: Q3703910
cites work: Heuristics on Tate-Shafarevitch Groups of Elliptic Curves Defined over Q
cites work: Heuristics on class groups and on Tate-Shafarevich groups
cites work: A generalization of Kawanaka's identity for Hall-Littlewood polynomials and applications
cites work: New identities for Hall-Littlewood polynomials and applications
cites work: Random maximal isotropic subspaces and Selmer groups
cites work: Hall-Littlewood Functions, Plane Partitions, and the Rogers-Ramanujan Identities
DOI: 10.1016/J.JNT.2010.10.007
description: scientific article; zbMATH DE number 5853445