%N Period of binary representation of 1/n. Also, multiplicative order of 2 modulo the odd part of n (= A000265(n)).
%C Also sequence of period lengths for n's when you do primality testing and calculate "2^k mod n" from k = 0..n. - _Gottfried Helms_, Oct 05 2000
%C Fractal sequence related to A002326: the even terms of this sequence are this sequence itself, constructed on A002326, whose terms are the odd terms of this sequence. - _Alexandre Wajnberg_, Apr 27 2005
%C It seems that a(n) is also the sum of the terms in one period of the base-2 MR-expansion of 1/n (see A136042 for definition). - _John W. Layman_, Jan 22 2009
%C Indices n such that a(n) divides n are listed in A068563. - _Max Alekseyev_, Aug 25 2013
%C a(n) is the smallest k such that x^n - 1 factors into n linear polynomials over GF(2^k). For example, a(12) = 2, and x^12 - 1 = (x - 1)^4*(x - w)^4*(x - (w + 1))^4 in GF(4), where w^2 + w + 1 = 0. - _Jianing Song_, Jan 20 2019
%D Simmons, G. J. The structure of the differentiation digraphs of binary sequences. Ars Combin. 35 (1993), A, 71-88, see Table 2. Math. Rev. 95f:05052.
%H T. D. Noe, <a href="/A007733/b007733.txt">Table of n, a(n) for n=1..1000</a>
%H <a href="/index/1#1overn">Index entries for sequences related to decimal expansion of 1/n</a>
%F a(n) = A002326((A000265(n) - 1)/2). - _Max Alekseyev_, Jun 11 2009
%t f[n_] := MultiplicativeOrder[2, n/(2^IntegerExponent[n, 2])]; Array[f, 84] (* _Robert G. Wilson v_, Jun 10 2011 *)
%o (PARI) a(n) = znorder(Mod(2, n/2^valuation(n, 2))); \\ _Michel Marcus_, Apr 11 2015
%o a007733 = a002326 . flip div 2 . subtract 1 . a000265
%o -- _Reinhard Zumkeller_, Apr 13 2015
%Y Cf. A136042. - _John W. Layman_, Jan 22 2009
%Y Cf. A000265, A002326, A256607, A256757.
%A _N. J. A. Sloane_, Hal Sampson (hals(AT)easynet.com)