I want to learn the correct notation and language with which to communicate clearly about a quotient on the multiplicative group $G=(\Bbb Q^+,\times)$
In particular, I want to know the notation with which to clearly identify the cosets and the unique indexing elements.
The equivalence relation is $x\sim y\iff\exists i,j\in\Bbb Z:2^i \times3^j\times x=y$
Let $N$ be the 3-smooth numbers then $1\sim n\iff n\in N$ so I think this is a normal subgroup of $G$ and the equivalence class of the identity element.
Then the multiplicative group generated by the primes greater than $3$ is its dual and the quotient group. So I think I would write $G/N=Q$
Then every element of $G$ has a unique representation as $q\times n:q\in Q, n\in N$
All good so far, what I'm not clear on now is how to express (in notation) the unique representatives and their cosets.
Tentatively I think I can write $q\in Q$ and $[q]=q\times N$.
Is $Q\subset G$ or are $[q]\in Q$? i.e. does $Q$ contain singletons or cosets?
Assuming $Q$ contains cosets, how do I identify a (the) set of unique indexing elements, and its elements?
I have in mind the unique set satisfying $\lvert x\rvert_2=1=\lvert x\rvert_3$