Shall we count the endormorphisms of the 2-Prufer group? (additive dyadic rationals mod 1 with the discrete topology).

We've got 2 distinct choices for where to map 1/2: 0 or 1/2. Then 2 choices for where to map 1/4. And so on.

We get the inverse limit of Z_2
The 2-adic integers!

Comments