OFFSET
1,1
COMMENTS
Conjecture: The prime nondivisors p and q are elements of the reduced residue system consisting of the totatives of k. Assume a triple (k,p,q) which satisfies the definition. If P and Q are the two subgroups generated by p and q respectively and p < q then P >= Q.
EXAMPLE
For k = 20 and p, q = (3,7), p^i*q^j mod k can only take on the values 1, 3, 7, 9 which, other than 1, are all divisible by 3 or 7, so 20 is a term.
PROG
(PARI) for(k=1, 364, test2=0; forprime(p=2, k-1, forprime(q=p+1, k-2, if(gcd(p, k)==1 && gcd(q, k)==1, test=0; for(i=0, eulerphi(k), for(j=0, eulerphi(k), if(p^i*q^j % k >1 && gcd(p^i*q^j % k, p)==1 && gcd(p^i*q^j % k, q)==1, test=1; ); if(test==1, break(2); ); ); ); if(test==0, test2=1; ); ); ); ); if(test2==1, print1(k, ", "); ); );
CROSSREFS
KEYWORD
nonn
AUTHOR
Craig J. Beisel, Feb 24 2022
STATUS
approved