Finite groups with integer harmonic mean of element orders

Iulia Cătălina Pleşca,Marius Tărnăuceanu

2023-09-30

Abstract:In this paper, we introduce a new function computing the harmonic mean of element orders of a finite group. We present a series of properties for this function, and then we study groups for which the value of the function is an integer.

Group Theory

What problem does this paper attempt to address?

On the structure of finite groups determined by the arithmetic and geometric means of element orders

Valentina Grazian,Carmine Monetta,Marialaura Noce

DOI: https://doi.org/10.1080/00927872.2024.2305283

2024-02-01

Communications in Algebra

Abstract:In this paper we consider two functions related to the arithmetic and geometric means of element orders of a finite group, showing that certain lower bounds on such functions strongly affect the group structure. In particular, for every prime p , we prove a sufficient condition for a finite group to be p -nilpotent, that is, a group whose elements of p′ -order form a normal subgroup. Moreover, we characterize finite cyclic groups with prescribed number of prime divisors.

mathematics
Harmonic Analysis, Group Representations, Automorphic Forms and Invariant Theory: in Honor of Roger E Howe

Jian-Shu Li,Eng-Chye Tan,N. Wallach,Chengru Zhu

DOI: https://doi.org/10.1142/6575

2007-01-01

Abstract:The Theta Correspondence over R The Heisenberg Group, SL(3,R), and Rigidity Pfaffians and Strategies for Integer Choice Games When Is an L-Function Non-Vanishing in Part of the Critical Strip? Cohomological Automorphic Forms on Unitary Groups, II: Period Relations and Values of L-Functions The Inversion Formula and Holomorphic Extension of the Minimal Representation of the Conformal Group On the Classification of Discrete Series of Some Classical p-Adic Groups Some Algebras of Essentially Compact Distributions of a Reductive p-Adic Group Annihilators of Generalized Verma Modules of the Scalar Type for Classical Lie Algebras Branching to a Maximal Compact Subgroup Small Semisimple Subalgebras of Semisimple Lie Algebras.
A generalization of a result on the sum of element orders of a finite group

Marius Tùarnùauceanu

2020-01-20

Abstract:Let G be a finite group and let ψ(G) denote the sum of element orders of G. It is well-known that the maximum value of φ on the set of groups of order n, where n is a positive integer, will occur at the cyclic group Cn. For nilpotent groups, we prove a natural generalization of this result, obtained by replacing the element orders of G with the element orders relative to a certain subgroup H of G. MSC2000 : Primary 20D60; Secondary 20D15, 20F18.

Mathematics
Positive positive-definite functions and measures on locally compact abelian groups

Alexandr Borisov

DOI: https://doi.org/10.48550/arXiv.math/9906126

1999-06-19

Abstract:The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$

Functional Analysis
On the sum of the inverses of the element orders in finite groups

Morteza Baniasad Azad,Behrooz Khosravi,Hamideh Rashidi

DOI: https://doi.org/10.1080/00927872.2022.2109043

2022-08-19

Communications in Algebra

Abstract:Let G be a finite group. Recently various functions are defined related to the set of order elements of G and using these functions, some interesting criteria for solvability, nilpotency, supersolvability and etc., are obtained. In this paper, we continue this work and for a finite group G , we consider the function m(G)=∑g∈G1/o(g) , where o ( g ) denotes the order of g∈G . In this paper, we prove that if m(G) or m(G) , then G is solvable, supersolvable, nilpotent, abelian or cyclic, respectively.

mathematics
Harmonic mean Sylow numbers of nonsolvable groups

DOI: https://doi.org/10.1007/s13226-024-00617-0

2024-06-11

Indian Journal of Pure and Applied Mathematics

Abstract:Let G be a finite group. We write hsn ( G ) for the harmonic mean Sylow number of G . The Fitting subgroup of G is denoted by F ( G ). It is known that if , then G is solvable. In this paper, we extend the study to nonsolvable groups. We prove that if G is a finite nonsolvable group, then the following holds: if and , then ; if , then , where N is the largest normal solvable subgroup of G .

mathematics
On the Sum of Orders of Elements in Finite Groups

M. Herzog,P. Longobardi,M. Maj

DOI: https://doi.org/10.1007/s10958-023-06713-6

2023-10-17

Journal of Mathematical Sciences

Abstract:The paper gives a survey of some recent results of the authors concerning the function ψ ( G ), which is the sum of orders of elements of a finite group; more precisely, the authors consider the question, how does the value of ψ ( G ) affect the structure of G .
Polynomial growth harmonic functions on finitely generated abelian groups

Bobo Hua,Jürgen Jost,Xianqing Li-Jost

DOI: https://doi.org/10.1007/s10455-013-9374-0

2013-01-01

Annals of Global Analysis and Geometry

Abstract:In the present paper, we develop geometric analysis techniques on Cayley graphs of finitely generated abelian groups to study the polynomial growth harmonic functions. We provide a geometric analysis proof of the classical Heilbronn theorem (Heilbronn in Proc Camb Philos Soc 45:194–206, 1949 ) and the recent Nayar theorem (Nayar in Bull Pol Acad Sci Math 57:231–242, 2009 ) on polynomial growth harmonic functions on lattices ℤ ^n that does not use a representation formula for harmonic functions. In the abelian group case, by Yau’s gradient estimate, we actually give a simplified proof of a general polynomial growth harmonic function theorem of (Alexopoulos in Ann Probab 30:723–801, 2002 ). We calculate the precise dimension of the space of polynomial growth harmonic functions on finitely generated abelian groups by linear algebra, rather than by Floquet theory Kuchment and Pinchover (Trans Am Math Soc 359:5777–5815, 2007 ). While the Cayley graph not only depends on the abelian group, but also on the choice of a generating set, we find that this dimension depends only on the group itself. Moreover, we also calculate the dimension of solutions to higher order Laplace operators.
Exact bounds for the sum of the inverse-power of element orders in non-cyclic finite groups

M. Archita

2024-04-15

Abstract:Given a finite group $G$ of order $n.$ Denote the sum of the inverse-power of element orders in $G$ by $m(G).$ Let $\mathbb{Z}_n$ be the cyclic group of order $n.$ Suppose $G$ is a non-cyclic group of order $n$ then we show that $m(G)\geq \frac{5}{4}m(\mathbb{Z}_n).$ Our result improves the inequality $m(G)>m(\mathbb{Z}_n)$ obtained by Baniasad Azad, M., and Khorsravi B. Moreover, this bound is best as for $n=4l, l$ odd, there exists a group $G$ of order $n$ satisfying $m(G)=\frac{5}{4}m(\mathbb{Z}_n)$. Moreover, we will establish that $\frac{1}{q-1}m(G)< m(\mathbb{Z}_n)\leq \frac{4}{5}m(G),$ where $G$ is a non-cyclic group of odd order.

Group Theory
The order of the product of two elements in finite nilpotent groups

C. M. Bonciocat

DOI: https://doi.org/10.48550/arXiv.2001.11106

2020-01-30

Abstract:An old problem in group theory is that of describing how the order of an element behaves under multiplication. To generalize some classical bounds concerning the order $\mathrm o(ab)$ of two elements $a, b$ in a finite abelian group to the non-commutative case, we replace $\mathrm o(ab)$ with a notion of mutual order $\mathrm o(a, b)$, defined as the least positive integer $n$ such that $a^nb^n = 1$. Motivated by this, we then compare $\mathrm o(ab)$ and $\mathrm o(a, b)$ in finite nilpotent groups, and show that in a group of class $\gamma$, the ratio $\mathrm o(ab)/\mathrm o(a, b)$ lies in some fixed finite set $S(\gamma) \subset \mathbb Q$, whose elements do not involve prime factors exceeding $\gamma$. In particular, we generalize a result of P. Hall, which asserts that $\mathrm o(ab) = \mathrm o(a, b)$ in $p$-groups with $p > \gamma$. We end with a more detailed analysis for groups of class 2, which allows one to give a more explicit description of $\mathrm o(ab)/\mathrm o(a, b)$.

Group Theory
Some density results involving the average order of a finite group

Mihai-Silviu Lazorec

2023-03-09

Abstract:Let $o(G)$ be the average of the element orders of a finite group $G$. A research topic concerning this quantity is understanding the relation between $o(G)$ and $o(H)$, where $H$ is a subgroup of $G$. Let $\mathcal{N}$ be the class of finite nilpotent groups and let $L(G)$ be the subgroup lattice of $G$. In this paper, we show that the set $\lbrace \frac{o(G)}{o(H)} \ | \ G\in\mathcal{N}, H\in L(G)\rbrace$ is dense in $[0, \infty)$. Other density results are outlined throughout the paper.

Group Theory
Dedekind sums and mean square value of $L(1,χ)$ over subgroups

Stéphane Louboutin

2024-06-05

Abstract:An explicit formula for the quadratic mean value at $s=1$ of the Dirichlet $L$-functions associated with the odd Dirichlet characters modulo $f>2$ is known. Here we present a situation where we could prove an explicit formula for the quadratic mean value at $s=1$ of the Dirichlet $L$-functions associated with the odd Dirichlet characters modulo not necessarily prime moduli $f>2$ that are trivial on a subgroup $H$ of the multiplicative group $({\mathbb Z}/f{\mathbb Z})^*$. This explicit formula involves summation $S(H,f)$ of Dedekind sums $s(h,f)$ over the $h\in H$. A result on some cancelation of the denominators of the $s(h,f)$'s when computing $S(H,f)$ is known. Here, we prove that for some explicit families of $f$'s and $H$'s this known result on cancelation of denominators is the best result one can expect. Finally, we surprisingly prove that for $p$ a prime, $m\geq 2$ and $1\leq n\leq m/2$, the values of the Dedekind sums $s(h,p^m)$ do not depend on $h$ as $h$ runs over the elements of order $p^n$ of the multiplicative cyclic group $({\mathbb Z}/p^m{\mathbb Z})^*$.

Number Theory
Super Congruence on Harmonic Sums

Peng Yang,Tianxin Cai

DOI: https://doi.org/10.1142/s1793042117501433

2017-01-01

International Journal of Number Theory

Abstract:Wang and Cai established the following harmonic congruence for odd prime and positive integer [Formula: see text]: [Formula: see text] where [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, the authors generalize it into super congruence for odd prime [Formula: see text] and positive integer [Formula: see text]: [Formula: see text] where [Formula: see text] [Formula: see text] [Formula: see text] and [Formula: see text] are positive integers such that [Formula: see text]
On the solvability of a finite group by the sum of subgroup orders

Marius Tărnăuceanu

2024-09-20

Abstract:Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is solvable. This partially solves an open problem posed in \cite{9}.

Group Theory
An approach to harmonic analysis on non-locally compact groups II: an invariant measure on groups of ordered type

Raven Waller

DOI: https://doi.org/10.48550/arXiv.1902.02913

2019-02-08

Number Theory

Abstract:We consider a class of non-locally compact groups on which one may define a left-invariant, finitely additive measure taking values in some finitely generated extension of the field $\mathbb{R}$ of real numbers. In particular, we recover previously studied special cases, along with the case of reductive algebraic groups defined over higher dimensional local fields.
Order Relations of the Wasserstein mean and the spectral geometric mean

Luyining Gan,Huajun Huang

2024-05-05

Abstract:On the space of positive definite matrices, several operator means are popular and have been studied extensively. In this paper, we investigate the near order and the Löwner order relations on the curves defined by the Wasserstein mean and the spectral geometric mean. We show that the near order $\preceq $ is stronger than the eigenvalue entrywise order, and that $A\natural_t B \preceq A\diamond_t B$ for $t\in [0,1]$. We prove the monotonicity properties of the curves originated from the Wasserstein mean and the spectral geometric mean in terms of the near order. The Löwner order properties of the Wasserstein mean and the spectral geometric mean are also explored.

Functional Analysis
Finitely generated groups and harmonic functions of slow growth

Mayukh Mukherjee,Soumyadeb Samanta,Soumyadip Thandar

2024-05-13

Abstract:In this paper, we are mainly concerned with $(\mathbb{G},\mu)$-harmonic functions that grow at most polynomially, where $\mathbb{G}$ is a finitely generated group with a probability measure $\mu$. In the initial part of the paper, we focus on Lipschitz harmonic functions and how they descend onto finite index subgroups. We discuss the relations between Lipschitz harmonic functions and harmonic functions of linear growth and conclude that for groups of polynomial growth, they coincide. In the latter part of the paper, we specialise to positive harmonic functions and give a characterisation for strong Liouville property in terms of the Green's function. We show that the existence of a non-constant positive harmonic function of polynomial growth guarantees that the group cannot have polynomial growth.

Group Theory,Metric Geometry,Probability
Positive Harmonic Functions on Graphs with Nilpotent Group Actions

Matti Richter

2023-05-02

Abstract:We study directed weighted graphs which are invariant under a nilpotent and cocompact group action. In particular, we consider the conic section K of the set of positive harmonic functions. We characterise the set of extreme points of the convex and compact set K as the set of multiplicative elements in K. Moreover, we study positive generalised eigenfunctions for a given parameter $\lambda$. We find that the topological space $M_\lambda$ of multiplicative $\lambda$-harmonic functions is homeomorphic to a sphere for $\lambda$ below a certain threshold.

Functional Analysis
Mean square values of $L$-functions over subgroups for non primitive characters, Dedekind sums and bounds on relative class numbers

Stéphane R. Louboutin,Marc Munsch

2023-08-01

Abstract:An explicit formula for the mean value of $\vert L(1,\chi)\vert^2$ is known, where $\chi$ runs over all odd primitive Dirichlet characters of prime conductors $p$. Bounds on the relative class number of the cyclotomic field ${\mathbb Q}(\zeta_p)$ follow. Lately the authors obtained that the mean value of $\vert L(1,\chi)\vert^2$ is asymptotic to $\pi^2/6$, where $\chi$ runs over all odd primitive Dirichlet characters of prime conductors $p\equiv 1\pmod{2d}$ which are trivial on a subgroup $H$ of odd order $d$ of the multiplicative group $({\mathbb Z}/p{\mathbb Z})^*$, provided that $d\ll\frac{\log p}{\log\log p}$. Bounds on the relative class number of the subfield of degree $\frac{p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta_p)$ follow. Here, for a given integer $d_0>1$ we consider the same questions for the non-primitive odd Dirichlet characters $\chi'$ modulo $d_0p$ induced by the odd primitive characters $\chi$ modulo $p$. We obtain new estimates for Dedekind sums and deduce that the mean value of $\vert L(1,\chi')\vert^2$ is asymptotic to $\frac{\pi^2}{6}\prod_{q\mid d_0}\left (1-\frac{1}{q^2}\right )$, where $\chi$ runs over all odd primitive Dirichlet characters of prime conductors $p$ which are trivial on a subgroup $H$ of odd order $d\ll\frac{\log p}{\log\log p}$. As a consequence we improve the previous bounds on the relative class number of the subfield of degree $\frac{p-1}{2d}$ of the cyclotomic field ${\mathbb Q}(\zeta_p)$. Moreover, we give a method to obtain explicit formulas and use Mersenne primes to show that our restriction on $d$ is essentially sharp.

Number Theory
Series with summands involving harmonic numbers

Zhi-Wei Sun

2023-06-02

Abstract:For each positive integer $m$, the $m$th order harmonic numbers are given by $$H_n^{(m)}=\sum_{0<k\le n}\frac1{k^m}\ \ (n=0,1,2,\ldots).$$ We discover exact values of some series involving harmonic numbers of order not exceeding three. For example, we conjecture that $$\sum_{k=0}^\infty(6k+1)\frac{\binom{2k}k^3}{256^k}\left(H_{2k}^{(3)}-\frac{7}{64}H_{k}^{(3)}\right) =\frac{25\zeta(3)}{8\pi}-G,$$ where $G$ denotes the Catalan constant $\sum_{k=0}^\infty(-1)^k/(2k+1)^2$. This paper contains $66$ conjectures posed by the author since October 2022.

Number Theory

Finite groups with integer harmonic mean of element orders

On the structure of finite groups determined by the arithmetic and geometric means of element orders

Harmonic Analysis, Group Representations, Automorphic Forms and Invariant Theory: in Honor of Roger E Howe

A generalization of a result on the sum of element orders of a finite group

Positive positive-definite functions and measures on locally compact abelian groups

On the sum of the inverses of the element orders in finite groups

Harmonic mean Sylow numbers of nonsolvable groups

On the Sum of Orders of Elements in Finite Groups

Polynomial growth harmonic functions on finitely generated abelian groups

Exact bounds for the sum of the inverse-power of element orders in non-cyclic finite groups

The order of the product of two elements in finite nilpotent groups

Some density results involving the average order of a finite group

Dedekind sums and mean square value of $L(1,χ)$ over subgroups

Super Congruence on Harmonic Sums

On the solvability of a finite group by the sum of subgroup orders

An approach to harmonic analysis on non-locally compact groups II: an invariant measure on groups of ordered type

Order Relations of the Wasserstein mean and the spectral geometric mean

Finitely generated groups and harmonic functions of slow growth

Positive Harmonic Functions on Graphs with Nilpotent Group Actions

Mean square values of $L$-functions over subgroups for non primitive characters, Dedekind sums and bounds on relative class numbers

Series with summands involving harmonic numbers