Теорема о базисном миноре. Рассмотрим произвольную (не обязательно квадратную) матрицу
Минором k-го порядка матрицы А будем называть определитель k-го порядка с элементами, лежащими на пересечении любых k строк и любых k столбцов матрицы А. (Конечно, k не превосходит наименьшее из чисел т и п.)
Предположим, что хотя бы один из элементов аij матрицы А отличен от нуля. Тогда найдется такое целое положительное число r, что будут выполнены следующие два условия: 1) у матрицы А имеется минор r-го порядка, отличный от нуля, 2) всякий минор
(г + 1)-го и более высокого порядка (если таковые существуют) равен нулю.
Число г, удовлетворяющее требованиям 1) и 2), назовем рангом матрицы А (ранг матрицы А, все элементы которой — нули, по определению равен нулю). Тот минор r-го порядка, который отличен от нуля, назовем базисным минором (конечно, у матрицы А может быть несколько миноров r-го порядка, отличных от нуля). Строки и столбцы, на пересечении которых стоит базисный минор, назовем соответственно базисными строками и базисными столбцами.