Definition:Nonsingular Matrix/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {R, +, \circ}$ be a ring with unity.

Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Let $\mathbf A$ be an element of the ring of square matrices $\struct {\map {\MM_R} n, +, \times}$.


$\mathbf A$ is a nonsingular matrix if and only if:

$\exists \mathbf B \in \struct {\map {\MM_R} n, +, \times}: \mathbf A \mathbf B = \mathbf I_n = \mathbf B \mathbf A$

where $\mathbf I_n$ denotes the unit matrix of order $n$.


Also known as

Nonsingular matrix can also be seen hyphenated: non-singular matrix.


A nonsingular matrix is also called by some authors:

an invertible matrix
a regular matrix.


Also see

  • Results about nonsingular matrices can be found here.


Sources