What does $\Bbb Z[\frac16]/\Bbb Z$ and its subgroups look like?

Question

What does $\Bbb Z[\frac16]/\Bbb Z$ and its subgroups look like? In particular, I'm trying to get a grip on how many elements there are of any given order, and what their graph looks like.

I'm referring to the additive group with addition modulo $1$, where $\Bbb Z[\frac16]$ is the subfield of $\Bbb Q$

So I'm thinking of these as the fractions in the interval $[0,1)$ having denominators drawn from $2^n\cdot3^m$.

In the case of $\Bbb Z[\frac12]/\Bbb Z$ it's fairly straightforward as there are $2^{n-1}$ elements of order $2^n$, those being the odd integers over $2^n$ in the interval.
The subgroups of $\Bbb Z[\frac12]/\Bbb Z$ are also fairly trivial to describe as being the Prufer 2-group the hierarchy is a one-dimensional descent through the powers $2^n$
The Prufer 2-group can easily be graphed by the regular, infinite, binary rooted tree.

What are the comparable three statements for $\Bbb Z[\frac16]/\Bbb Z$? I presume a little complexity is introduced by having a combination of two prime factors in the denominators.

The elements of order $q$ are the elements of the form $p/q$ with $\gcd(p,q)=1$. — Gerry Myerson, Jul 10 '18 at 09:32
It is just the direct sum of the Prufer 2-group with the Prufer 3-group. — Derek Holt, Jul 10 '18 at 09:39
@DerekHolt thank-you. How does some $x\in\Bbb Z[\frac16]/\Bbb Z$ relate to ${(y,z):y\in\Bbb Z[\frac12]/\Bbb Z, z\in\Bbb Z[\frac13]/\Bbb Z}$? Is it just $x=yz$? — it's a hire car baby, Jul 10 '18 at 10:55
@DerekHolt so in the notation from my comment, $x=y+z\pmod 1$? — it's a hire car baby, Jul 10 '18 at 11:30
Yes that defines an isomorphism. In general any abelian torsion group is the direct sum of its primary components. See https://math.stackexchange.com/questions/22646 — Derek Holt, Jul 10 '18 at 12:28
In particular, to find $y$ and $z$ one has to solve an equation of the form $a2^m+b3^n=c$; since $\gcd(2^m,3^n)=1$, one can find a 'fundamental solution' of $i2^m+j3^n=1$ using the Euclidean algorithm and then take $a=i\cdot c, b=j\cdot c$. — Steven Stadnicki, Jul 10 '18 at 15:26

What does $\Bbb Z[\frac16]/\Bbb Z$ and its subgroups look like?

0 Answers0