Coba jelasin memadai dari Homomorfisme dong

dan dengan demikian merupakan homomorfisme antara kedua grup ini. Ia bahkan merupakan keisomorfan (lihat di bawah), karena fungsi invers, logaritma natural, memenuhi