A matrix is full-rank iff its determinant is non-0

Dependencies:

  1. Field
  2. Rank of a matrix
  3. Determinant after elementary row operation
  4. A field is an integral domain
  5. Full-rank square matrix in RREF is the identity matrix
  6. Determinant of upper triangular matrix

Let $A$ be an $n$ by $n$ matrix over a field. Then $\operatorname{rank}(A) = n \iff |A| \neq 0$.

Proof

Let $B = \operatorname{RREF}(A)$. Since $B$ is row-equivalent to $A$, $B$ can be obtained by a series of elementary row operations on $A$. Let those operations be $[R_1, R_2, \ldots, R_p]$.

Therefore, $|B| = r_p(r_{p-1}(\ldots(r_2(r_1|A|))\ldots)) = (r_pr_{p-1}\ldots r_2r_1)|A|$, where $r_i$ is the non-0 scalar constant associated with $R_i$. Since a field does not have 0 divisors, $|B| = 0 \iff |A| = 0$.

A square matrix in RREF is full-rank iff it is the identity matrix. Therefore, $\operatorname{rank}(A) = n \iff B = I \Rightarrow |B| = 1 \Rightarrow \neq 0$ (because $B = I$ is upper-triangular)

If $\operatorname{rank}(A) \neq n$, then the last row of $B$ is fully zero. \[ |B| = \sum_{i=1}^n (-1)^{n+i} B[n, i] |B[-n, -i]| = \sum_{i=1}^n (-1)^{n+i} 0 |B[-n, -i]| = 0 \] Therefore, $\operatorname{rank}(A) \neq n \Rightarrow |B| = 0$.

Therefore, $\operatorname{rank}(A) = n \iff |B| \neq 0 \iff |A| \neq 0$.

Dependency for:

  1. Every complex matrix has an eigenvalue
  2. Characteristic polynomial of a matrix
  3. Determinant of product is product of determinants

Info:

Transitive dependencies:

  1. /linear-algebra/vector-spaces/condition-for-subspace
  2. /linear-algebra/matrices/gauss-jordan-algo
  3. /sets-and-relations/equivalence-relation
  4. Group
  5. Ring
  6. Polynomial
  7. Integral Domain
  8. Comparing coefficients of a polynomial with disjoint variables
  9. 0x = 0 = x0
  10. Field
  11. Vector Space
  12. Linear independence
  13. Span
  14. A field is an integral domain
  15. Semiring
  16. Matrix
  17. Stacking
  18. System of linear equations
  19. Product of stacked matrices
  20. Matrix multiplication is associative
  21. Reduced Row Echelon Form (RREF)
  22. Submatrix
  23. Determinant
  24. Determinant of upper triangular matrix
  25. Swapping last 2 rows of a matrix negates its determinant
  26. Matrices over a field form a vector space
  27. Row space
  28. Elementary row operation
  29. Determinant after elementary row operation
  30. Every elementary row operation has a unique inverse
  31. Row equivalence of matrices
  32. Row equivalent matrices have the same row space
  33. RREF is unique
  34. Identity matrix
  35. Inverse of a matrix
  36. Inverse of product
  37. Elementary row operation is matrix pre-multiplication
  38. Row equivalence matrix
  39. Equations with row equivalent matrices have the same solution set
  40. Rank of a matrix
  41. Basis of a vector space
  42. Linearly independent set is not bigger than a span
  43. Homogeneous linear equations with more variables than equations
  44. Rank of a homogenous system of linear equations
  45. Full-rank square matrix in RREF is the identity matrix