|
| |
|
|
A117987
|
|
Number of functions f:[n]->[n] such that f[(2*x) mod n]=[2*f(x)] mod n for all x in [n], for n=1,2,3,... Here [n] denotes {0,1,2,...,n-1}.
|
|
3
| |
|
|
1, 2, 3, 8, 5, 24, 49, 128, 27, 160, 11, 1536, 13, 6272, 10125, 32768, 289, 13824, 19, 163840, 64827, 22528, 529, 6291456, 125, 106496, 729, 102760448, 29, 331776000, 887503681, 2147483648, 107811, 37879808, 300125, 3623878656, 37, 9961472
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 1,2
|
|
|
COMMENTS
| See A117986 and A117988 for results on other modular functional equations.
|
|
|
FORMULA
| For n = 2^t * m with odd m, a(n) = 2^(n-m) * \sum_{d|A007733(n)} gcd(m,2^d-1)^{ \sum_{q|d} moebius(d/q) * gcd(m,2^q-1) / d }. [From Max Alekseyev (maxale(AT)gmail.com), Jun 11 2009]
|
|
|
PROG
| (PARI) { A117987(n) = local(m, r); m=n\2^valuation(n, 2); r=2^(n-m); fordiv(znorder(Mod(2, m)), d, r *= gcd(m, 2^d-1)^(sumdiv(d, q, moebius(d\q)*gcd(m, 2^q-1) )\d); ); r } [From Max Alekseyev (maxale(AT)gmail.com), Jun 11 2009]
|
|
|
CROSSREFS
| Cf. A117986, A117988.
Sequence in context: A062956 A053650 A119794 * A091136 A140651 A190997
Adjacent sequences: A117984 A117985 A117986 * A117988 A117989 A117990
|
|
|
KEYWORD
| nonn
|
|
|
AUTHOR
| John W. Layman (layman(AT)math.vt.edu), Apr 11 2006
|
|
|
EXTENSIONS
| Extended by Max Alekseyev (maxale(AT)gmail.com), Jun 11 2009
|
| |
|
|
