OFFSET
1,2
COMMENTS
The set S in Bruck is slightly different because it does not include 1 and it includes a property "if n is in S, so is 2n + 1" which is a special case of the last property (iii) where m=1 since we allow 1 in S.
REFERENCES
R. H. Bruck, What is a loop?, pp. 59-99 in A. A. Albert, ed., Studies in Modern Algebra, Vol. 2, Mathematical Association of America, 1963, see p. 67.
PROG
(PARI) {isA(n) = if( n<2, return( n==1 )); if( n%2 && isA( n\2 ), return( 1 )); fordiv( n, d, if( d*d > n, break); if( d==1, next); if( isA( d ) && isA( n/d ), return( 1 ))); fordiv( n+1, d, if( d*d > n, break); if( d==1, next); if( isA( d-1 ) && isA( (n+1)/d - 1 ), return( 1 )))}; {a(n) = local( cnt, m ); if( n<1, return( 0 )); while( cnt<n, if( isA( m++ ), cnt++ )); m}
CROSSREFS
KEYWORD
nonn
AUTHOR
Michael Somos, Oct 16 2011
STATUS
approved