4
$\begingroup$

If I'm not mistaken, $\mathbb{Q} / \mathbb{Z}$ are equivalence classes of rationals where $q \sim q^\prime$ iff they differ by an integer. So I could equally imagine this set as $\mathbb{Q} \cap [0,1]$ (mod 1) (if you know what I mean?).

Is that the right way to think about this group? I'm asking because I would like to see why elements in $\mathbb{Q} / \mathbb{Z}$ have finite order.

Many thanks for your help.

  • 2
    I assume you are thinking of these as groups under addition. Then each equivalence class has a unique (rational) representative in $[0,1)$. Seems to me like a very good way of thinking concretely about the quotient group.2011-10-13
  • 0
    Thank you! I'm just never sure whether what I do is right...2011-10-13
  • 3
    You can also think of $\mathbb Q/\mathbb Z$ as the group of roots of unity in $\mathbb C$.2011-10-13
  • 1
    [This question](http://math.stackexchange.com/questions/178741/additive-quotient-group-mathbbq-mathbbz-is-isomorphic-to-the-multiplicat) is related to Pierre's comment.2012-08-04
  • 0
    @MartinSleziak Thanks. By now I finally managed to understand the two ($S^1$ and $\mathbb T$ or same for $\mathbb Q$). It's not clear to me anymore what I didn't understand.2012-08-04

2 Answers 2

9

Yes, $\mathbb{Q}\cap [0,1)$ forms a set of representatives for $\mathbb{Q}/\mathbb{Z}$, and "mod 1" is a good way of thinking about it. To see why an element $\left[\frac{a}{b}\right]\in\mathbb{Q}/\mathbb{Z}$ has finite order (I am using the brackets to mean the equivalence class of $\frac{a}{b}$), consider that this is equivalent to the statement that there is a finite number $n$ such that when I add $\frac{a}{b}$ to itself $n$ times, I get an integer. Do you see an $n$ that works?

  • 0
    $b$ might work?2011-10-13
  • 1
    @Matt: Precisely! :)2011-10-13
7

Yes: the elements of $[0,1)\cap\mathbb{Q}$ form a complete set of coset representatives for $\mathbb{Z}$ in $\mathbb{Q}$. That is:

  1. Every element of $\mathbb{Q}$ is congruent modulo $\mathbb{Z}$ to at least one element of $[0,1)\cap\mathbb{Q}$; and
  2. No two distinct elements of $[0,1)\cap\mathbb{Q}$ are congruent modulo $\mathbb{Z}$.

That means that each element of $\mathbb{Q}/\mathbb{Z}$ corresponds to one and only one element of $[0,1)\cap \mathbb{Q}$. Since the sum of classes in the quotient is equal to the class of the sum, we have that if $q_1,q_2\in\mathbb{Q}$ correspond to the rationals $r_1$ and $r_2$ in $[0,1)\cap\mathbb{Q}$, respectively, then $$\begin{align*} (q_1+\mathbb{Z}) + (q_2+\mathbb{Z}) &= (r_1+\mathbb{Z}) + (r_2+\mathbb{Z})\\ &= (r_1+r_2)+\mathbb{Z}\\ &=\left\{\begin{array}{ll} (r_1+r_2)+\mathbb{Z} & \text{if }0\leq r_1+r_2\lt 1\\ (r_1+r_2-1 + \mathbb{Z} & \text{if }1\leq r_1+r_2 \end{array}\right. \end{align*}$$ which shows you that this group is isomorphic to $\mathbb{Q}\cap[0,1]$ mod $1$.

  • 1
    If one is interested in the topology, then it is better to use the circle: $S \cap \mathbb{Q}$.2011-10-13
  • 2
    Um, the circle intersected with Q is {1,-1}. Also, Q/Z doesn't have an automatic topology.2011-10-14