group theory2
考虑我们熟悉的指数函数:,在中学的时候我们就知道加法变乘法,用代数的视角看。仅仅看作是函数的话就是从
到
的映射,进一步的看作是群
到群
的群同态,线性代数中学过的行列式也可以看作是可逆(复)矩阵乘法到非零实(复)数乘法的群同态。指数映射是一一对应的,所以第一种情况叫做同构而且同构映射还是可逆的,行列式映射显然不是同构,因为行列式为
的矩阵可不止单位矩阵,所以第二种情况就叫做同态。注意到同态(同构)映射可以复合
,结果还是一个一个同态(同构),所以考虑,群到自身的同构映射:
的全体再考虑到同构映射的可逆性,它也可以构成一个群。
现在考虑,整数加法群的自同构
必然是满足
,考虑到
,因此
可以被
确定,所以只有两种映射
,这个群同构于
。