線型代数に関する話題はこちら

det(a_σ(1),a_σ(2),･･･a_σ(n))=sgn(σ)det(a_1,･･･a_n)
(a_iはＡの列ベクトル）

はdetやsgnの性質から導けるから定義じゃないよ＞２６