Olkoon [[$k\in\mathbb{R}_+$]], ja olkoot
[[$$G_k = \{k^x\ |\ x\in\mathbb{R}\}.$$]]

Tällöin [[$\ (G_k,\cdot)$]] on ryhmä, jonka on määritelmänsä nojalla isomorfinen ryhmän [[$\ (\mathbb{R},+)$]] kanssa.