OFFSET
1,2
COMMENTS
This is a generalization of the harmonic numbers to finite groups:
Let G be a finite group, S <= G a generating set. Set H(G) := Sum_{g in G} 1/(|g|+1), where |g|:= word length (with respect to S). For G = SymmetricGroup(n) and |.| = Coxeter length we get H(G) = a(n) / b(n), where the sequence b(n) = denominator of H(G) will be defined elsewhere.
Relation to Lagarias inequality (which is equivalent to Riemann Hypothesis), G = C_n = cyclic group, S = {+1}: sigma(G) <= H(G) + exp(H(G))*log(H(G)) (conjecture, which implies RH).
Relation to harmonic numbers: H_n = H(C_n), where C_n = cyclic group.
LINKS
MathOverflow, Definition of the harmonic numbers for each finite group, A Group theoretic interpretation of Lagarias inequality
FORMULA
H(G) := Sum_{g in G} 1/(|g|+1), G a finite group, S<= G a generating set, |g| := word length relative to S.
EXAMPLE
For n=1..7 the harmonic numbers relative to the Coxeter length in the Symmetric group S_n are given by: 1, 3/2, 35/12, 307/42, 218431/9240, 69851351/720720, 37931027461/77597520, hence a(1) = 1, a(2) = 3, a(3) = 35 etc.
PROG
(Sage)
def HG(G):
return sum(1 / (g.length() + 1) for g in G)
[HG(SymmetricGroup(n)).numerator() for n in range(1, 8)]
CROSSREFS
KEYWORD
nonn,frac,more
AUTHOR
Orges Leka, May 10 2019
STATUS
approved