Da este corect.
Modul topologic (IR are o topologie, câtul IR / ~ mosteneste si el o topologie, deoarece factorizam fata de un subgrup discret) de a vedea IR / ~ este de a vedea

S^1

cercul trigonometric din planul complex, centrul in 0, raza 1,
aplicatia care da izomorfismul (topologic / de fapt chiar analitic) este

IR / ~ -> S^1
r -> exp r .