Does every odd number coprime to its Euler totient divide some Carmichael number?

Importance: Medium ✭✭
Author(s): Michon, Gérard P.
Keywords:
Recomm. for undergrads: yes
Posted by: maxal
on: August 4th, 2007
Conjecture   Every odd number coprime to its Euler totient divides some Carmichael Number.

In December 2007 Joe Crump discovered the following Carmichael multiples (of the numbers with previously unknown Carmichael multiples):

  • $ 24354644805191195265 $ is a Carmichael multiple of $ 885 $;
  • $ 174470770903594881 $ is a Carmichael multiple of $ 2391 $;
  • $ 12832546007164521 $ is a Carmichael multiple of $ 2517 $;
  • $ 435262925087145321 $ is a Carmichael multiple of $ 2571 $;
  • $ 291226428348047343201 $ is a Carmichael multiple of $ 2589 $;
  • $ 947087538769733505 $ is a Carmichael multiple of $ 2595 $;
  • $ 114593508055911048606465 $ is a Carmichael multiple of $ 2685 $;
  • $ 13053581557039793157 $ is a Carmichael multiple of $ 2949 $.

* indicates original appearance(s) of problem.

From the conjecture's author...

Thanks to Maxal for posting this old conjecture of mine (c. 1980) with a link to the page of computational results which I put online a few years ago. I found out about Maxal's post when someone triggered that link and landed on my own "Numericana" site...

To the best of my knowledge, nobody else has yet worked on this conjecture, so the field is wide open. If you find anything (theoretical or computational) please let me know and I'll post your results, with due credit, at the very location where the statement of the conjecture first appeared, namely at www.numericana.com. Thanks.

Gerard P. Michon, Ph.D.