cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A265630 Numbers n > 1 such that 2^m == 1 (mod n^2), where m = A002326((n-1)/2).

This page as a plain text file.
%I A265630 #40 Dec 11 2015 11:58:38
%S A265630 1093,3511,7651,10533,14209,17555,22953,31599,42627,45643,52665,99463,
%T A265630 136929,157995,228215,298389,410787,684645,2053935,3837523,11512569,
%U A265630 19187615,26862661,34537707,49887799,57562845,80587983,134313305,149663397,172688535,241763949,249438995,349214593,402939915,448990191,748316985,1047643779,1208819745,1746072965,2244950955,3142931337,5238218895,15714656685
%N A265630 Numbers n > 1 such that 2^m == 1 (mod n^2), where m = A002326((n-1)/2).
%C A265630 A subsequence of A077816.
%C A265630 Odd numbers n > 1 such that A237292((n-1)/2) = 1.
%C A265630 Indices k such that A077816(k) is not in this sequence are 2, 13, 14, 16, 22, 24, 25, 27, 28, 30, ... - _Altug Alkan_, Dec 11 2015
%C A265630 There are no other terms, unless there are other Wieferich primes (A001220) besides 1093 and 3511. - _Max Alekseyev_, Dec 11 2015
%t A265630 Select[Range[10^6], Mod[2^MultiplicativeOrder[2, 2 ((# - 1)/2) + 1], #^2] == 1 &] (* _Michael De Vlieger_, Dec 11 2015 *)
%o A265630 (PARI) a002326(n) = znorder(Mod(2, 2*n+1));
%o A265630 a237292(n) = a002326(2*n*(n+1))/a002326(n);
%o A265630 for(n=1, 1e8, if(a237292(n)==1, print1(2*n+1, ", "))) \\ _Altug Alkan_, Dec 11 2015
%Y A265630 Cf. A002326, A077816, A237292.
%K A265630 nonn
%O A265630 1,1
%A A265630 _Thomas Ordowski_, Dec 11 2015
%E A265630 More terms from _Altug Alkan_, Dec 11 2015
%E A265630 Missing terms a(28)-a(30) and further terms a(34)-a(43) added by _Max Alekseyev_, Dec 11 2015