OFFSET
1,5
COMMENTS
a(n) is the greatest divisor of n coprime to 6 if n is not coprime to 6, otherwise a(n) is the greatest divisor of 5*n + 1 coprime to 6.
This is the '5x+1' map with the successive dividing steps removed. The 'Px+1' map with those steps removed: If x is divisible by any prime < P, then divide out those primes; otherwise multiply x by P, add 1, and then divide out the primes < P.
There is a conjecture which states that for any value of n > 0 there is a k such that a^{k}(n) = 1 or a^{k}(n) enters one of a finite number of periodic cycles, where a^{0}(n) = n and a^{k + 1}(n) = a(a^{k}(n)).
LINKS
J. Lesieutre, On a Generalization of the Collatz Conjecture, Research Science Institute, 2007.
T. Oliveira e Silva, Computational verification of the 5x+1 and 7x+1 conjectures.
FORMULA
MAPLE
MATHEMATICA
b[n_]:=Denominator[2^n/n]; c[n_]:=Denominator[3^n/n]; Table[If[EvenQ[n]||(Mod[n, 3] == 0), c[b[n]], c[b[5*n + 1]]]], {n, 1, 80}]
PROG
(PARI) A332018(n)=my(val(x)=x/(2^valuation(x, 2)*3^valuation(x, 3))); val(if(n%2&&n%3, 5*n+1, n))
(Magma) [Gcd(n, 6) ne 1 select n/(Gcd(n, 2^n)*Gcd(n, 3^n)) else (5*n + 1)/(Gcd(5*n + 1, 2^(5*n + 1))*Gcd(5*n + 1, 3^(5*n + 1))):n in [1..75]]; // Marius A. Burtea, Feb 06 2020
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Davis Smith, Feb 04 2020
STATUS
approved