Principal submatrix (source code)

= Principal submatrix
{title2=$A[I,I]$}

The square <matrix> obtained by retaining the same index set $I$ of rows and columns of a square <matrix> $A$. Its <determinant> is a <principal minor>. A leading <principal submatrix> uses the first $k$ indices.