Tetration Forum

Full Version: [Collatz] Tommy's collatz lemma
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
Considering collatz and the idea of a nontrivial cycle of odd length L , I have this lemma :

If a nontrivial collatz cycle of odd lenght L exists , one of its values must be representable by

a mod p

for some 0 =< a < p with p a prime ,

division by 2 is then given by multiplication by (1/2) mod p.

multiplication by 3 is still the same ( reduced mod p ).

And p is an odd prime divisor of L.