これは代数群の言葉によっての群作用の存在の観点から(同じことだが対角行列の乗法群によって)表現することができる。