Din cele de mai sus ar trebui sa transpara ca H cu operatia lui este izomorf cu (S,*), unde
Consideram aplicatia
Atunci bijectia f este compatibila cu operatiile (* pe S) si (inmultirea pe (0,infinit) ), deoarece pentru a,b in S avem:
Deci este izomorfism de grupuri.
Mai departe logaritmul respectiv exponentiala dau izomorfismul dintre (semiaxa reala pozitiva, dotata cu inmultirea) si ( IR, + ) .