|
|
A302109
|
|
Smallest integer N such that there are exactly n cyclic groups C_2 in the multiplicative group of integers modulo N when decomposed as a product of cyclic groups C_{k_1} x C_{k_2} x ... x C_{k_m}, and k_i divides k_j for i < j.
|
|
1
|
|
|
1, 3, 8, 24, 840, 9240, 212520, 9988440, 589317960, 48913390680, 5233732802760, 874033378060920, 156451974672904680, 35514598250749362360, 8487988981929097604040, 2232341102247352669862520, 721046176025894912365593960, 51194278497838538777957171160
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
a(n) exists for all n: by Dirichlet's theorem on arithmetic progressions, there exists primes of the form 2*c_1 + 1, 2*c_2 + 1, ..., 2*c_(n+1) + 1 where c_i are pairwise coprime odd numbers, then the multiplicative group of integers modulo (2*c_1 + 1)(2*c_2 + 1)*...*(2*c_(n+1) + 1) is isomorphic to (C_2)^n x C_(2*c_1*c_2*...*c_(n+1)).
Conjecture: (a) a(j) is divisible by a(i) if i < j; (b) a(n)/4 is squarefree for all n.
|
|
LINKS
|
|
|
EXAMPLE
|
The multiplicative group of integers modulo 212520 is isomorphic to (C_2)^6 x C_660 and 212520 is the smallest number N such that the multiplicative group of integers modulo N contains six C_2 as the product of cyclic groups, so a(6) = 212520.
a(17) = 2^3 * 3 * 5 * 7 * 11 * 17 * 19 * 23 * 47 * 59 * 71 * 83 * 107 * 167 * 179 * 227 * 239 * 263, and the multiplicative group of integers modulo a(17) is isomorphic to (C_2)^17 x C_(4*3*5*7) x C_(16*9*5*7*11*17*23*29*41*53*83*113*131).
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|