OFFSET
1,1
COMMENTS
Abelian orders of the form (p_1)^2 * (p_2)^2 * ... * (p_r)^2 * q_1 * q_2 * ... * q_s, r >= 2, where p, q_1, q_2, ..., q_s are distinct primes such that p^2 !== 1 (mod q_j), q_i !== 1 (mod p_j), q_i !== 1 (mod q_j) for i != j. Note that there are 2^r groups of such order.
No term can be divisible by 2 or 3.
LINKS
Jianing Song, Table of n, a(n) for n = 1..10000
EXAMPLE
For primes p, q, if p^2 !== 1 (mod q) and q^2 !== 1 (mod p), then p^2*q^2 is a term since the 4 groups of that order are C_{p^2*q^2}, C_p X C_{p*q^2}, C_q X C_{p^2*q}, C_{p*q} X C_{p*q}.
PROG
(PARI) isA051532(n) = my(f=factor(n), v=vector(#f[, 1])); for(i=1, #v, if(f[i, 2]>2, return(0), v[i]=f[i, 1]^f[i, 2])); for(i=1, #v, for(j=i+1, #v, if(v[i]%f[j, 1]==1 || v[j]%f[i, 1]==1, return(0)))); 1 \\ Charles R Greathouse IV's program for A051532
isA350323(n) = isA051532(n) && (bigomega(n)-omega(n)>1)
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, Dec 25 2021
STATUS
approved