"g" が環 "a" の単元群として生じるとき、"g" 上の内部自己同型を行列環m2("a")の単元群によって "a" 上の射影直線上の写像に拡張できる。