Determinant/Transposed matrix/Universal property/Fact

< Determinant < Transposed matrix < Universal property

Let denote a field, and let denote an -matrix over .

Then