3x + 1 semigroup explained

In algebra, the semigroup is a special subsemigroup of the multiplicative semigroup of all positive rational numbers.[1] The elements of a generating set of this semigroup are related to the sequence of numbers involved in the still open Collatz conjecture or the "3x + 1 problem". The 3x + 1 semigroup has been used to prove a weaker form of the Collatz conjecture. In fact, it was in such context the concept of the 3x + 1 semigroup was introduced by H. Farkas in 2005.[2] Various generalizations of the 3x + 1 semigroup have been constructed and their properties have been investigated.[3]

Definition

The 3x + 1 semigroup is the multiplicative semigroup of positive rational numbers generated by the set

\{2\}\cup\left\{

2k+1
3k+2

:k\geq0\right\}=\left\{2,

1
2

,

3
5

,

5
8

,

7
11

,\ldots\right\}.

The function

T:Z\toZ

as defined below is used in the "shortcut" definition of the Collatz conjecture:

T(n)=\begin{cases}

n
2

&ifniseven\\[4px]

3n+1
2

&ifnisodd\end{cases}

The Collatz conjecture asserts that for each positive integer

n

, there is some iterate of

T

with itself which maps

n

to 1, that is, there is some integer

k

such that

T(k)(n)=1

. For example if

n=7

then the values of

T(k)(n)

for

k=1,2,3,...

are 11, 17, 26, 13, 20, 10, 5, 8, 4, 2, 1 and

T(11)(7)=1

.

The relation between the 3x + 1 semigroup and the Collatz conjecture is that the 3x + 1 semigroup is also generated by the set

\left\{\dfrac{n}{T(n)}:n>0\right\}.

The weak Collatz conjecture

The weak Collatz conjecture asserts the following: "The 3x + 1 semigroup contains every positive integer." This was formulated by Farkas and it has been proved to be true as a consequence of the following property of the 3x + 1 semigroup:[1]

The 3x + 1 semigroup S equals the set of all positive rationals in lowest terms having the property that b ≠ 0 (mod 3). In particular, S contains every positive integer.

The wild semigroup

The semigroup generated by the set

\left\{1
2

\right\}\cup\left\{

3k+2
2k+1

:k\geq0\right\},

which is also generated by the set

\left\{T(n)
n

:n>0\right\},

is called the wild semigroup. The integers in the wild semigroup consists of all integers m such that m ≠ 0 (mod 3).[4]

See also

Notes and References

  1. Applegate . David . David Applegate . Lagarias . Jeffrey C. . Jeffrey Lagarias . 10.1016/j.jnt.2005.06.010 . 1 . Journal of Number Theory . 2204740 . 146–159 . The semigroup . 117 . 2006.
  2. Book: H. Farkas. "Variants of the 3 N + 1 problem and multiplicative semigroups", Geometry, Spectral Theory, Groups and Dynamics: Proceedings in Memor y of Robert Brooks. 2005. Springer.
  3. Web site: Ana Caraiani. Multiplicative Semigroups Related to the 3x+1 Problem. Princeton University. 17 March 2016.
  4. J.C. Lagarias. Wild and Wooley numbers. American Mathematical Monthly. 2006. 113. 2 . 97–108 . 10.2307/27641862. 27641862 . 18 March 2016.