之前写对称群的时候提到过,任意非空集合 A 上的所有可逆映射在映射合成下构成群。现在,我们把这种构成群的方式从集合推广到群上,也就是群
设 (G,∗) 是个群,将 G 上的可逆映射称之为
G 的可逆变换。 G 上所有可逆变换在映射合成下构成群,记为I(G) 。显然,同构映射也是一个可逆变换, G 到G 本身的同构映射称为自同构。
自同构有一条重要性质:将 G 上的所有自同构记为
证明很简单,首先设 f,g∈Aut(G) , f∗g 也是同构映射,也就是说