Для неквадратных матриц (и, более общо, элементов
, где
-- векторные пространства разных, возможно, размерностей над фиксированным полем) существует суровое понятие гипердетерминанта. Это полином от матричных элементов с коэффициентами из поля.
Определяется гипердетерминант так: выберем тензор
, он задает полилинейную функцию
с помощью свертки (здесь
-- двойственное к
пространство). Назовем
вырожденным, если у заданного им отображения
есть такая стационарная точка
, что
для всех
. Оказывается, множество вырожденных тензоров в пространстве
является множеством нулей некоторого многочлена от матричных элементов тензоров. Этот многочлен и есть -- с точностью до множителя -- гипердетерминант.
Барабанная дробь! Оказывается, гипердетерминант квадратной матрицы равен ее детерминанту.
Множитель я определять не буду, если кому интересно, см. классическую монографию "Discriminants, Resultants, and Multidimensional Determinants" Гельфанда-Зелевинского-Капранова. Там же см. зачем это нужно.