OFFSET
1,3
COMMENTS
Related to a problem of Arnold.
Row sums of triangle A139366. - Wolfdieter Lang, Sep 09 2008
LINKS
Alois P. Heinz, Table of n, a(n) for n = 1..2000
Pär Kurlberg and Carl Pomerance, On a problem of Arnold: the average multiplicative order of a given integer, arXiv:1108.5209 [math.NT], 2012.
FORMULA
On the GRH, Kurlberg & Pomerance show that a(n) = n^2/log n exp(B log log n/log log log n (1 + o(1))), where B = A218342 = 0.345372.... - Charles R Greathouse IV, Oct 26 2012
If n is in A033948 then a(n) = Sum_{divisors d of phi(n)} phi(d)*d. - Geoffrey Critzer, Jan 24 2015
MAPLE
with(numtheory):
a:= n-> add(`if`(igcd(n, k)=1, order(k, n), 0), k=1..n-1):
seq(a(n), n=1..60); # Alois P. Heinz, Oct 28 2012
MATHEMATICA
a[n_] := Sum[ If[ CoprimeQ[k, n], MultiplicativeOrder[k, n], 0], {k, 1, n-1}]; Table[a[n], {n, 1, 60}] (* Jean-François Alcover, Aug 19 2013 *)
PROG
(Haskell)
a036391 = sum . a139366_row -- Reinhard Zumkeller, May 01 2013
CROSSREFS
KEYWORD
nonn,nice
AUTHOR
EXTENSIONS
Adapted to the definition: a(1)=0 by Alois P. Heinz, Oct 28 2012
STATUS
approved