# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/

Search: id:a010554
Showing 1-1 of 1

%I A010554 #51 Jan 13 2024 13:05:48
%S A010554 1,1,1,1,2,1,2,2,2,2,4,2,4,2,4,4,8,2,6,4,4,4,10,4,8,4,6,4,12,4,8,8,8,
%T A010554 8,8,4,12,6,8,8,16,4,12,8,8,10,22,8,12,8,16,8,24,6,16,8,12,12,28,8,16,
%U A010554 8,12,16,16,8,20,16,20,8,24,8
%N A010554 a(n) = phi(phi(n)), where phi is the Euler totient function.
%C A010554 If n has a primitive root, then it has exactly phi(phi(n)) of them (Burton 1989, p. 188), which means that if p is a prime number, then there are exactly phi(p-1) incongruent primitive roots of p (Burton 1989). - _Jonathan Vos Post_, Sep 10 2010
%C A010554 See A046144 for the number of primitive roots mod n. - _Wolfdieter Lang_, Mar 09 2012
%D A010554 M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 840.
%D A010554 Burton, D. M. "The Order of an Integer Modulo n," "Primitive Roots for Primes," and "Composite Numbers Having Primitive Roots." Sections 8.1-8.3 in Elementary Number Theory, 4th ed. Dubuque, IA: William C. Brown Publishers, pp. 184-205, 1989.
%H A010554 T. D. Noe, <a href="/A010554/b010554.txt">Table of n, a(n) for n = 1..10000</a>
%H A010554 M. Abramowitz and I. A. Stegun, eds., <a href="http://www.convertit.com/Go/ConvertIt/Reference/AMS55.ASP">Handbook of Mathematical Functions</a>, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
%H A010554 Paul Erdős, Andrew Granville, Carl Pomerance and Claudia Spiro, <a href="http://math.dartmouth.edu/~carlp/iterate.pdf">On the normal behavior of the iterates of some arithmetic functions</a>, Analytic number theory, Birkhäuser Boston, 1990, pp. 165-204.
%H A010554 Paul Erdos, Andrew Granville, Carl Pomerance and Claudia Spiro, <a href="/A000010/a000010_1.pdf">On the normal behavior of the iterates of some arithmetic functions</a>, Analytic number theory, Birkhäuser Boston, 1990, pp. 165-204. [Annotated copy with A-numbers]
%H A010554 S. R. Finch, <a href="http://arXiv.org/abs/math.NT/0605019">Idempotents and Nilpotents Modulo n</a> (arXiv:math.NT/0605019)
%H A010554 Boris Putievskiy, <a href="https://arxiv.org/abs/1212.2732">Transformations [Of] Integer Sequences And Pairing Functions</a>, arXiv preprint arXiv:1212.2732 [math.CO], 2012.
%H A010554 Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PrimitiveRoot.html">Primitive Root.</a>
%p A010554 with(numtheory): f := n->phi(phi(n));
%t A010554 Table[EulerPhi[EulerPhi[n]],{n,0,200}] (* _Vladimir Joseph Stephan Orlovsky_, Nov 10 2009 *)
%t A010554 Nest[EulerPhi[#]&,Range[100],2] (* _Harvey P. Dale_, Jan 13 2024 *)
%o A010554 (Haskell)
%o A010554 a010554 = a000010 . a000010  -- _Reinhard Zumkeller_, Dec 26 2012
%o A010554 (PARI) a(n)=eulerphi(eulerphi(n)) \\ _Charles R Greathouse IV_, Feb 06 2017
%o A010554 (Magma) [EulerPhi(EulerPhi(n)): n in [1..100]]; // _Vincenzo Librandi_, Feb 24 2018
%Y A010554 Cf. A000010, A049099, A049100, A049107, A077197.
%K A010554 nonn,nice
%O A010554 1,5
%A A010554 _N. J. A. Sloane_

# Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE