外積代数の任意元に対する標準基底による表示の係数とかいうのが
detの「定義」という場合もあるしなぁ。