>>844
線型代数の前にホモロジー代数のような議論をして、
単位環上の加群上で考えて、線形写像を定義して、
その後テンソル代数やグラスマン代数の議論をして、
行列式の性質を示してそれからやっと>>842の流れ