证明非零实数乘法群和实数加法群不同构

前言

上离散课上睡过去了，啊啊啊啊啊啊，感觉血亏（但是太困了，不然人会寄）。。

方法一

假设 $G=(R^{\ast },\times )$ 和 $H=(R,+)$ 同构，假设 $\sigma$ 是 $G$ 到 $H$ 上的一一映射。$1_G$ 是 $G$ 中的单位元， $0_H$ 是 $H$ 中的单位元。那么一定有：
$$\sigma (1_G)=\sigma ((-1_G)\times (-1_G))$$

由于群中幂等元只有单位元，因此一定有 $\sigma (1_G)=0_H$ 因此：

$$\sigma (1_G)=\sigma ((-1_G)\times (-1_G)=\sigma (-1_G)+\sigma (-1_G)=2\sigma (-1_G)=0_H$$

得到 $\sigma (-1_G)=0_H$，这与 $\sigma$ 是一一映射矛盾。

方法二

任取 $a\in G$，因为 $a\ne 0$ ，所以 $a\ne -a$ ，所以 $\sigma (a)\ne \sigma (-a)$。不妨令 $\sigma (a)=b,\sigma (-a)=c$，因此有：

$$\sigma \left(a^2\right)=\sigma (a\times a)=\sigma (a)+\sigma (a)=2b$$

类似的，有：

$$\sigma \left(a^2\right)=\sigma ((-a)\times (-a))=\sigma (-a)+\sigma (-a)=2c$$

因此有：

$$2b=2c\Rightarrow b=c$$

这与 $\sigma (a)\ne \sigma (-a)$ 矛盾。