On bordering of regular matrices (Q1908200)

From MaRDI portal





scientific article; zbMATH DE number 847504
Language Label Description Also known as
default for all languages
No label defined
    English
    On bordering of regular matrices
    scientific article; zbMATH DE number 847504

      Statements

      On bordering of regular matrices (English)
      0 references
      20 March 1996
      0 references
      \textit{K. Nomakuchi's} characterization of generalized inverses (\(g\)-inverses) of matrices over the field of complex numbers using bordered matrices [ibid. 33, 1--8 (1980; Zbl 0442.15002)] in generalized to matrices over an arbitrary ring. Necessary and sufficient conditions are given for a commutative ring \(R\) to be a ring over which every regular matrix can be completed to an invertible matrix of a particular size by bordering. More precisely, for a regular \(A\), if \(G_{n\times m}\) is a \(g\)-inverse of \(A\), i.e., if \(AGA= A\), then \(\ker(A)= \text{Range}(I-GA)\) and \(\text{coker}(A)= \text{Range}(I-AG)\), and if \(I_n= AG= B_{m\times (m-r)} C_{(m-r)\times m}\) and \(I_m-GA= P_{n\times (n-r)} Q_{(n-r)\times n}\), then \((\begin{smallmatrix} A\\ Q\end{smallmatrix} \begin{smallmatrix} B\\ 0\end{smallmatrix})\) gives an invertible bordering of \(A\). In other words, a regular matrix \(A\) over \(R\) has nomempty set of invertible matrices \[ {\mathcal B}(A)= \{T= (\begin{smallmatrix} A\\ Q\end{smallmatrix} \begin{smallmatrix} P\\ R\end{smallmatrix})\} \] if and only if its kernel and cokernel are free. Such rings are precisely the projective free rings. Also, over such rings every regular matrix has a rank factorization. Using the bordering technique, the authors give an interesting method of computing minors of a reflexive \(g\)-inverse \(G\) of a regular matrix \(A\) when \(I-AG\) and \(I-GA\) have factorizations.
      0 references
      0 references
      generalized inverses
      0 references
      bordered matrices
      0 references
      invertible matrix
      0 references
      projective free rings
      0 references
      regular matrix
      0 references
      rank factorization
      0 references
      reflexive \(g\)-inverse
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references