Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Conjecture

Carmichael's Totient Function Conjecture

Number Theory

Carmichael's totient function conjecture, in number theory, concerns the multiplicity of values of Euler's totient function. It asserts that for every n there is at least one other integer m, not equal to n, such that the totient of m equals the totient of n. Robert Carmichael first presented the claim in 1907 as a theorem, but his proof contained errors, and he retracted it in 1922, restating it as an open conjecture rather than a proven result. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Statement
For every n there is at least one other integer m not equal to n such that the totient of m equals the totient of n. 1
Proposed Year
1907 1
Progress Toward Resolution
Open; any counterexample must exceed 10^(10^10), a bound determined by Kevin Ford in 1998. 1
Classification
Resolution Status
Open 1
Prize Status
Prize Status (category)
No Prize Offered 1
Sources
1. Carmichael's Totient Function Conjecture (Wikipedia)
Wikimedia Foundation
  • Lead section
    Robert Carmichael first stated this conjecture in 1907, but as a theorem rather than as a conjecture.
  • Lead section, first sentence
    concerns the multiplicity of values of Euler's totient function
  • Lower bounds
    was determined by Kevin Ford in 1998
View the Source
Wikipedia: Carmichael Totient Function Conjecture
WikipediaLead section, resolution status
Quote, Lead section, resolution status
However, his proof was faulty, and in 1922, he retracted his claim and stated the conjecture as an open problem.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.