

A090884


There exists an isomorphism from the positive rationals under multiplication to Z[x] under addition, defined by f(q) = e1 + (e2)x + (e3)(x^2) +...+ (ek)(x^(k1)) + ... (where e_i is the exponent of the ith prime in q's prime factorization) The a(n) above are calculated by a(n) = f^(1)[d/dx f(n)] (In other words: differentiate n's image in Z[x] and return to Q).


7



1, 1, 2, 1, 9, 2, 125, 1, 4, 9, 2401, 2, 161051, 125, 18, 1, 4826809, 4, 410338673, 9, 250, 2401, 16983563041, 2, 81, 161051, 8, 125, 1801152661463, 18, 420707233300201, 1, 4802, 4826809, 1125, 4, 25408476896404831, 410338673, 322102, 9
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,3


COMMENTS

a(n) is the derivative of n via transport of structure from polynomials.
With primes noted p_0 = 2, p_1 = 3, etc., let f be the function that maps n = Product_{i=0..d} p_i^e_i to P = Sum_{i=0..d} e_i*X^i; and let g be the inverse function of f. a(n) is by definition g(P') = g((f(n))').  Luc Rousseau, Aug 06 2018


REFERENCES

Joseph J. Rotman, The Theory of Groups: An Introduction, 2nd ed. Boston: Allyn and Bacon, Inc. 1973. Page 9, problem 1.26.


LINKS

Andrew Howroyd, Table of n, a(n) for n = 1..500
Sam Alexander, Post to sci.math.
Wikipedia, Transport of structure


FORMULA

Completely multiplicative with a(2) = 1, a(prime(i+1)) = prime(i)^i for i > 0.  Andrew Howroyd, Jul 31 2018


EXAMPLE

504 = 2^3 * 3^2 * 7 is mapped to polynomial 3+2X+X^3, whose derivative is 2+3X^2, which is mapped to 2^2 * 5^3 = 500. Then, a(504) = 500.  Luc Rousseau, Aug 06 2018


PROG

(PARI) a(n)={my(f=factor(n)); prod(i=1, #f~, my([p, e]=f[i, ]); if(p==2, 1, precprime(p1)^(e*primepi(p1))))} \\ Andrew Howroyd, Jul 31 2018


CROSSREFS

Cf. A001222, A048675, A054841, A090880, A090881, A090882, A090883.
Sequence in context: A243999 A223141 A021460 * A095888 A160510 A298738
Adjacent sequences: A090881 A090882 A090883 * A090885 A090886 A090887


KEYWORD

easy,nonn,mult


AUTHOR

Sam Alexander, Dec 12 2003


EXTENSIONS

More terms from Ray Chandler, Dec 20 2003


STATUS

approved



