:formula_141: formula_142:formula_143Here the first determinant is understood (as always) as column-determinant of a matrix with non-commutative entries.
: formula_148: formula_149: formula_150Здесь первый детерминант понят (как всегда) как детерминант колонки матрицы с некоммутативными записями.