On bordering of regular matrices (Q1908200)

From MaRDI portal
Revision as of 09:52, 24 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On bordering of regular matrices
scientific article

    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