单位矩阵formula_57和负单位矩阵formula_58在群同态formula_52下对应的莫比乌斯变换是恒等变换，所以formula_52的核是formula_61。根据群同态基本定理，有以下群同构关系：其中formula_63为复平面上的射影特殊线性群。