Определитель -- произвольная полилинейная кососимметрическая функция

, такая что

.
Тут я видимо ошибся. Если взять как я думал
![$V=\operatorname{span}[(0,E_n);(E_n,0)]$ $V=\operatorname{span}[(0,E_n);(E_n,0)]$](https://dxdy-01.korotkov.co.uk/f/4/b/5/4b5d5d33b75d6ed5cebbe42fde12938c82.png)
над

, то это не векторное пространство, т.к. умножение матриц не коммутативно.

Т.е. блочные матрицы это всё-таки просто удобный способ записи....
