Identity matrix

Dependencies:

  1. Semiring
  2. Matrix

Let $R$ be a semiring with unity. The identity matrix of size $n$, denoted as $I_n$, is a matrix in $\mathbb{M}_{n, n}(R)$ such that \[ I_n[i, j] = \begin{cases} 1 & i = j \\ 0 & i \neq j \end{cases} \]

Dependency for:

  1. Identity matrix is identity of matrix product
  2. Elementary row operation is matrix pre-multiplication
  3. Inverse of a matrix
  4. AB = I implies BA = I
  5. Full-rank square matrix in RREF is the identity matrix
  6. Square matrices form a (semi)ring
  7. Bound on eigenvalues of sum of matrices
  8. Eigenpair of affine transformation
  9. Eigenpair of power of a matrix
  10. Chapman-Kolmogorov equation
  11. Standard normal random vector on vector space
  12. General multivariate normal distribution
  13. Standard multivariate normal distribution

Info:

Transitive dependencies:

  1. Group
  2. Ring
  3. Semiring
  4. Matrix