Es bezeichne Q × = Q ∖ { 0 } {\displaystyle {}\mathbb {Q} ^{\times }=\mathbb {Q} \setminus \{0\}} die (multiplikative) Einheitengruppe von Q {\displaystyle {}\mathbb {Q} } . Man gebe einen nichttrivialen Gruppenhomomorphismus von Q × {\displaystyle {}\mathbb {Q} ^{\times }} nach ( Z , + , 0 ) {\displaystyle {}(\mathbb {Z} ,+,0)}
