OFFSET
0,2
COMMENTS
For n > 0, a(n) is the least divisor d > 1 of 10^n - 1 such that the multiplicative order of 10 mod d is n. For prime n > 3, a(n) = A007138(n). - T. D. Noe, Aug 07 2007
For n > 1, a(n) is the smallest positive d such that d divides 10^n - 1 and does not divide any of 10^k - 1 for 0 < k < n. - Maciej Ireneusz Wilczynski, Sep 06 2012, corrected by M. F. Hasler, Jun 28 2022. (For n = 1, d = 1 divides 10^n - 1 and does not divide any 10^k - 1 with 0 < k < n, but a(1) = 3 > 1.)
REFERENCES
J. Brillhart et al., Factorizations of b^n +- 1. Contemporary Mathematics, Vol. 22, Amer. Math. Soc., Providence, RI, 2nd edition, 1985; and later supplements.
"Cycle lengths of reciprocals", Popular Computing (Calabasas, CA), Vol. 1 (No. 4, Jul 1973), pp. 12-14.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
MATHEMATICA
a[n_] := First[ Select[ Divisors[10^n - 1], MultiplicativeOrder[10, #] == n &, 1]]; a[0] = 1; a[1] = 3; Table[a[n], {n, 0, 38}] (* Jean-François Alcover, Jul 13 2012, after T. D. Noe *)
PROG
(PARI) apply( {A003060(n)=!fordiv(10^n-!!n, d, d>1 && znorder(Mod(10, d))==n && return(d))}, [0..50]) \\ M. F. Hasler, Jun 28 2022
CROSSREFS
KEYWORD
nonn,nice
AUTHOR
EXTENSIONS
Comment corrected by T. D. Noe, Apr 15 2010
More terms from T. D. Noe, Apr 15 2010
b-file truncated at uncertain term a(439) by Max Alekseyev, Apr 30 2022
STATUS
approved