%I #9 Feb 05 2017 00:42:24
%S 7,37,103,281,571,613,883,1361,1531,2141,2311,3529,2731,5741,4591,
%T 7393,6563,6373,8779,9241,10039,12893,16699,15313,20551,18773,23167,
%U 21001,24419,24181,30071,32833,32143,35837,37171,44281,44623,43397,48907,52081
%N a(n) is the smallest prime p such that there is a multiplicative subgroup H of Z/pZ, of odd size and of index 2n, such that for any two cosets H1 and H2 of H, H1 + H2 contains all of (Z/pZ)\0.
%C The fact that H is of odd size means H is disjoint from -H. The finite integral relation algebra with n pairs of asymmetric flexible diversity atoms is representable over Z/pZ, where p = a(n).
%H Jeremy F. Alm, <a href="/A282001/b282001.txt">Table of n, a(n) for n = 1..500</a>
%H Jeremy F. Alm, <a href="/A282001/a282001.pdf">Plot of a(n) on n</a>
%Y Cf. A281998.
%K nonn
%O 1,1
%A _Jeremy F. Alm_, Feb 04 2017
|