行列のなす集合への一般線形群による左作用の視点で行基本変形を解釈することで、固定した行列と行基本変形で移り合う行列全体の集合を一般線型群の剰余として記述する。

最初の投稿