OFFSET
1,6
COMMENTS
Number of k <= n in the cototient of n that do not share the same squarefree kernel as n.
Define a number k "neutral" to n to be such that 1 < gcd(k,n) < k, that is, k neither divides n nor is coprime to n. A045763(n) is the number of k < n such that k is neutral to n.
Define quality Q(k) to be true if k is such that 1 < gcd(k,n) and rad(k) != rad(n).
LINKS
Michael De Vlieger, Table of n, a(n) for n = 1..10000
Michael De Vlieger, Log log scatterplot of a(n), n = 1..2^20.
FORMULA
EXAMPLE
a(6) = 3 since {2, 3, 4} are neither coprime to 6 and do not have the squarefree kernel 6.
a(8) = 1 since only 6 is neither coprime to 8 and does not share the squarefree kernel 2 with 8.
a(10) = 5 since {2, 4, 5, 6, 8} are neither coprime to 10 nor have the squarefree kernel 10.
a(12) = 6 since {2, 3, 4, 8, 9, 10} are neither coprime to 12 nor have the squarefree kernel 6.
a(14) = 7 since {2, 4, 6, 7, 8, 10, 12} are neither coprime to 14 nor have the squarefree kernel 14, etc.
MATHEMATICA
{0}~Join~Table[n - EulerPhi[n] - DivisorSigma[0, n/rad[n]], {n, 2, 120}]
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Michael De Vlieger, Feb 14 2025
STATUS
approved
