A282001 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.

7, 37, 103, 281, 571, 613, 883, 1361, 1531, 2141, 2311, 3529, 2731, 5741, 4591, 7393, 6563, 6373, 8779, 9241, 10039, 12893, 16699, 15313, 20551, 18773, 23167, 21001, 24419, 24181, 30071, 32833, 32143, 35837, 37171, 44281, 44623, 43397, 48907, 52081

Offset

1,1

Comments

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).

Links

Jeremy F. Alm, Table of n, a(n) for n = 1..500

Jeremy F. Alm, Plot of a(n) on n

Crossrefs

Cf. A281998.

Sequence in context: A159491 A106064 A369061 * A038862 A136204 A139891

Adjacent sequences: A281998 A281999 A282000 * A282002 A282003 A282004

Keyword

nonn

Author

Jeremy F. Alm, Feb 04 2017

Status

approved