---
abstract: |
    In this article one-sided $(b, c)$-inverses of arbitrary matrices as well as one-sided inverses along a (not necessarily square) matrix, will be studied. In adddition, the $(b, c)$-inverse and the inverse along an element will be also researched in the context of rectangular matrices.

    [*Keywords:*]{} One-sided $(b, c)$-inverse; One-sided inverse along an element; $(b, c)$-inverse; Inverse along an element; Matrices

    [*AMS classification:*]{} 15A09, 15A23, 15A60, 65F99
author:
- 'Julio Benítez, Enrico Boasso, Hongwei Jin'
title: 'On one-sided $(B,C)$-inverses of arbitrary matrices'
---

Introduction and notation
=========================

Several generalized inverses have been studied in the literature. Recently two important outer inverses have been introduced: the inverse along an element (see [@Mary]) and the $(b,c)$-inverse (see [@Drazin]). In fact, these two generalized inverses encompass some of the most important outer inverses such as the group inverse, the Drazin inverse and the Moore-Penrose inverse. Furthermore, in the context of semigroups the left and right inverses along an element were defined in [@zhu]; these notions extend the inverse along an element. Similarly, in the frame of rings, left and right $(b, c)$-invertible elements were introduced in [@KVC]; these definitions extend both the $(b, c)$-inverse and the left and right inverses along an element.

As it has been said, the aforementioned outer inverses and their extensions were defined in semigroups or rings. However, observe that the set of $n \times m$ complex matrices is not a semigroup (unless $n=m$). The main purpose of this article is to extend the above mentioned (one-sided) inverses as well as the $(b, c)$-inverse and the inverse along an element to arbitrary matrices and to study their basic properties. Naturally, the results presented also hold for square matrices.

In section 3, after having recalled the main notions considered in this article in section 2, the one-sided $(b, c)$-inverses and the left and right inverses along an element in the context of arbitrary matrices will be thoroughly studied. In sections 4 and 5 the $(b, c)$-inverse and the inverse along an element will be introduced and studied in the same frame, respectively. In section 6 it will be characterized when the generalized inverses introduced in sections 4 and 5 are inner inverses. In section 7 the relationships among the notions considered in sections 4 and 5 and the outer inverse with prescribed range and null space will be studied. In section 8 the continuity and the differentiability of the notions introduced in sections 4 and 5 will be considered. Finally, in section 9 algorithms to compute the $(b,c)$-inverse in the matrix frame will be given.

Before going on, the definition of several generalized inverses in the context of rings will be given. The corresponding definitions for complex matrices can be obtained making obvious changes. Let ${\mathcal{R}}$ be a unitary ring and $a \in {\mathcal{R}}$.

(i) The element $a$ is said to be [*group invertible*]{}, if there exists $x \in {\mathcal{R}}$ such that $axa=a$, $xax=x$, and $ax=xa$. This $x$ is unique and it is denoted by $a^\#$.

(ii) The element $a$ is said to be [*Drazin invertible*]{}, if there exists $x \in {\mathcal{R}}$ such that $xax=x$, $xa=ax$, and $a^{n+1}x=a^n$, for some $n \in {\mathbbmss{N}}$. This $x$ is unique and it is denoted by $a^d$. Note that when $n=1$, the group inverse is obtained (see [@Drazin58]).

(iii) Let ${\mathcal{R}}$ have an involution. The element $a$ is said to be [*Moore-Penrose invertible*]{}, if exists $x \in {\mathcal{R}}$ such that $axa=a$, $xax=x$, $(ax)^*=ax$, and $(xa)^*=xa$. This $x$ is unique and it is denoted by $a^\dag$ (see [@penrose]).

(iv) Let $\mathcal{R}$ have an involution and let $m, n \in {\mathcal{R}}$ be invertible Hermitian elements in ${\mathcal{R}}$. The element $a \in \mathcal{R}$ is said to be [*Moore-Penrose invertible with weights $m, n$*]{}, if there exists $x \in {\mathcal{R}}$ such that $axa = a$, $xax = x$, $(max)^* = max$, $(nxa)^* = nxa$. This $x$ is unique and it is denoted by $a^\dag_{m,n}$. In a ring ${\mathcal{R}}$ with an involution, an element $u \in {\mathcal{R}}$ is said to be [*positive*]{}, if there exists a Hermitian $v \in {\mathcal{R}}$ such that $u=v^2$.

(v) Let ${\mathcal{R}}$ have an involution. The element $a$ is said to be [*core invertible*]{}, if there exists $x \in {\mathcal{R}}$ such that $axa=a$, $x{\mathcal{R}}= a{\mathcal{R}}$ and ${\mathcal{R}}x={\mathcal{R}}a^*$. This $x$ is unique and it is denoted by ${{a}^{\tiny{\textcircled{\#}}}}$ (see [@bt; @rdd]).

(vi) Let ${\mathcal{R}}$ have an involution. The element $a$ is said to be [*dual core invertible*]{}, if there exists $x \in  {\mathcal{R}}$ such that $axa=a$, $x {\mathcal{R}}= a^* {\mathcal{R}}$ and ${\mathcal{R}}x = {\mathcal{R}}a$. This $x$ is unique and it is denoted by ${{a}_{\tiny{\textcircled{\#}}}}$ (see [@bt; @rdd]).

To end this section, some notation is introduced. Let $m$, $n\in{\mathbbmss{N}}$ and denote by ${{\mathbbmss{C}}_{m,n}}$ the set of $m \times n$ complex matrices. The symbol ${\mathbbmss{C}}_n$ will stand for ${{\mathbbmss{C}}_{n,n}}$. Any vector of the space ${\mathbbmss{C}}^n$ will be considered as a column vector, i.e., ${\mathbbmss{C}}^n$ will be identified with ${{\mathbbmss{C}}_{n,1}}$.

Moreover, $I_n$ will mean the identity matrix of order $n$, $\operatorname{rk}(A)$ the rank of $A \in {{\mathbbmss{C}}_{m,n}}$, and when $n=m$, $\operatorname{tr}(A)$ will stand for the trace of $A$. Related to a matrix $A \in 
{{\mathbbmss{C}}_{m,n}}$ there are two linear subspaces, the column space and the null space, which are defined respectively by $${\mathcal{R}}(A) = \{ A{\mathbf{x}}: {\mathbf{x}}\in {\mathbbmss{C}}^n\}, \qquad {\mathcal{N}}(A) = \{ {\mathbf{x}}\in {\mathbbmss{C}}^n: A {\mathbf{x}}= {\mathbf{0}}\}.$$

Recall that $\operatorname{rk}(A) + \dim {\mathcal{N}}(A) = n$. Given a linear mapping $f:{\mathbbmss{C}}^n \to {\mathbbmss{C}}^m$, the subsets ${\mathcal{R}}(f)$ and ${\mathcal{N}}(f)$ are defined in a similar way. Observe that if $A$ is the matrix associated to $f$ respect with the standard basis, then ${\mathcal{R}}(A)={\mathcal{R}}(f)$ and ${\mathcal{N}}(A)
= {\mathcal{N}}(f)$.

In addition, the conjugate transpose of the matrix $A$ will be denoted by $A^*$. Two basic equalities are ${\mathcal{N}}(A^*)={\mathcal{R}}(A)^\perp$ and ${\mathcal{R}}(A^*)={\mathcal{N}}(A)^\perp$, for $A \in {{\mathbbmss{C}}_{n,m}}$.

If ${\mathcal{M}}$ is a subspace of ${\mathbbmss{C}}^n$, the symbol $I_{\mathcal{M}}$ will stand for the identity linear transformation on ${\mathcal{M}}$ and $P_{\mathcal{M}}$ for the orthogonal projector onto ${\mathcal{M}}$. When ${\mathcal{N}}$ and ${\mathcal{M}}$ are two subspaces of ${\mathbbmss{C}}^n$, $P_{{\mathcal{M}}, {\mathcal{N}}}$ will stand for the idempotent whose range is ${\mathcal{M}}$ and whose null space is ${\mathcal{N}}$.

Recall that given $X\in {{\mathbbmss{C}}_{n,m}}$, $Y\in {{\mathbbmss{C}}_{m,n}}$ is an *inner inverse of $A$, if $XYX=X$. In addition, $Y$ is said to be an *outer inverse of $A$, if $YXY=Y$. Next the outer inverse with prescribed range and null space will be recalled.**

Let $A\in{{\mathbbmss{C}}_{n,m}}$ and consider subspaces ${\mathcal{T}}\subseteq {\mathbbmss{C}}^m$ and ${\mathcal{S}}\subseteq{\mathbbmss{C}}^n$ such that $\dim {\mathcal{T}}=s\le \operatorname{rk}(A)$ and $\dim {\mathcal{S}}=n-s$. Necessary and sufficient for the matrix $A$ to have an outer inverse $Z$ such that ${\mathcal{R}}(Z)={\mathcal{T}}$ and ${\mathcal{N}}(Z)={\mathcal{S}}$ is that $A({\mathcal{T}})\oplus {\mathcal{S}}={\mathbbmss{C}}^n$, in which case $Z$ is unique and it is denoted by $A^{(2)}_{{\mathcal{T}}, {\mathcal{S}}}$ (see for example [@W Lemma 1.1]).

The definition of the one-sided $(D,E)$ inverses and their relationship with other inverses
===========================================================================================

In first place the definition of the $(b, c)$-inverse will be recalled (see [@Drazin Definition 1.3]).

\[def1\] Let ${\mathcal{S}}$ be a semigroup and consider $a$, $b$, $c\in{\mathcal{S}}$. The element $y\in{\mathcal{S}}$ will be said to be [*the $(b,c)$-inverse*]{} of $a$, if the following equations hold:

1.  $y\in(b{\mathcal{S}}y)\cap (y{\mathcal{S}}c)$.

2.  $b=yab$, $c=cay$.

According to [@Drazin Theorem 2.1], if the element $y$ in Definition \[def1\] exists, then it is unique. In this case, the element under consideration will be denoted by $a^{\parallel (b, c)}$. As it was pointed out in [@Drazin], this inverse generalizes among others the standard inverse, the Drazin inverse, and the Moore-Penrose inverse. To learn more on this inverse, see [@B; @CCW; @Drazin; @Drazin2; @KC].

The inverse along an element was introduced in [@Mary Definition 4]. Next its definition will be recalled.

\[def1000\] Let ${\mathcal{S}}$ be a semigroup. An element $a \in {\mathcal{S}}$ is said to be [*invertible along*]{} $d \in {\mathcal{S}}$ if there exists $y \in {\mathcal{S}}$ such that

1.  $yad = d = day$.

2.  $y{\mathcal{S}}\subseteq d{\mathcal{S}}$.

3.  ${\mathcal{S}}y \subseteq {\mathcal{S}}d$.

According to [@Mary Theorem 6], if the element $y \in {\mathcal{S}}$ in Definition \[def1000\] exists, then it is unique. This element is denoted by ${a^{\| d}}$. It is worth noting that according to [@Drazin Proposition 6.1], the inverse along an element is a particular case of the $(b, c)$-inverse, i.e., the $(d, d)$-inverse coincides with the inverse along $d$. The outer inverses recalled in Definition \[def1\] and Definition \[def1000\] encompass several generalized inverses, as the following two theorems show.

[([@Mary Theorem 11])]{} Let $\mathcal{S}$ be a semigroup and let $a \in \mathcal{S}$.

1.  If $\mathcal{S}$ has a unity, then $a$ is invertible if and only if $a$ is invertible along $1$. In this case $a^{-1} = {a^{\| 1}}$.

2.  $a$ is group invertible if and only if $a$ is invertible along $a$. In this case $a^\# = {a^{\| a}}$.

3.  $a$ is Drazin invertible if and only if $a$ is invertible along $a^m$ for some $m \in \mathbbmss{N}$. In this case $a^D = {a^{\| a^m}}$.

4.  If $\mathcal{S}$ is a $*$-semigroup, $a$ is Moore-Penrose invertible if and only if $a$ is invertible along $a^*$. In this case $a^\dag = {a^{\| a^*}}$.

\[thmA\] Let $\mathcal{R}$ be a ring with an involution and $a \in \mathcal{R}$.

1.  [([@rdd Theorem 4.3])]{} If $a$ is Moore-Penrose invertible, then $a$ is core invertible if and only if it is invertible along $aa^*$. In this case the inverse along $aa^*$ coincides ${{a}^{\tiny{\textcircled{\#}}}}$.

2.  [([@rdd Theorem 4.3])]{} If $a$ is Moore-Penrose invertible, then $a$ is dual core invertible if and only if it is invertible along $a^*a$. In this case the inverse along $a^*a$ coincides with ${{a}_{\tiny{\textcircled{\#}}}}$.

3.  [([@bb Theorem 3.2])]{} If $m$, $n\in \mathcal{R}$ are invertible and positive, then $a$ is weighted Moore-Penrose invertible with weights $m$ and $n$ if and only if $a$ is invertible along $n^{-1} a^* m$. In this case, the inverse along $n^{-1}a^*m$ coincies with $a^\dagger_{m,n}$.

Recently the inverse along an element and the $(b, c)$-inverse were extended by means of one-sided inverses. Next follow the corresponding definitions. See [@KVC Definition 2.1] and [@zhu Definition 2.1].

\[def1100\] Let ${\mathcal{R}}$ be a ring and let $b, c \in {\mathcal{R}}$. An element $a \in {\mathcal{R}}$ is said to be [*left $(b,c)$-invertible*]{}, if there exists $y \in {\mathcal{R}}$ such that

1.  $yab = b$.

2.  ${\mathcal{R}}y \subseteq {\mathcal{R}}c$.

In this case $y$ is called a [*left $(b,c)$-inverse*]{} of $a$.

An element $a \in {\mathcal{R}}$ is [*right $(b,c)$-invertible*]{}, if there exists $y \in {\mathcal{R}}$ such that

1.  $cay = c$.

2.  $y {\mathcal{R}}\subseteq b{\mathcal{R}}$.

In this case $y$ is called a [*right $(b, c)$-inverse*]{} of $a$.

Recall that given $a,b,c$ elements in a ring ${\mathcal{R}}$, according to [@KVC Corollary 3.7], $a$ is $(b, c)$-invertible if and only if it is both left and right $(b, c)$-invertible. When in Definition \[def1100\], $b=c$, the one-sided inverses along an element are obtained.

\[d24\] Let $\mathcal{S}$ be a semigroup. An element $a \in \mathcal{S}$ is [*left invertible along*]{} $d \in \mathcal{S}$, if there exists $y \in \mathcal{S}$ such that

1.  $yad = d$.

2.  $\mathcal{S} y \subseteq \mathcal{S} d$.

In this case $y$ is called a [left inverse of $a$ along $d$]{}.

An element $a \in \mathcal{S}$ is [*right invertible along*]{} $d \in \mathcal{S}$, if there exists $y \in \mathcal{S}$ such that

1.  $day = d$.

2.  $y \mathcal{S} \subseteq d \mathcal{S}$.

In this case $y$ is called a [right inverse of $a$ along $d$]{}.

Recall that given a semigroup $\mathcal{S}$ and $a$, $d\in\mathcal{S}$, according to [@zhu Corollary 2.5], $a$ is invertible along $d$ if and only if $a$ is left and right invertible along $d$.

Naturally, since all the inverses that have been considered in this section up to now have been defined in semigroups and rings, they can not be applied to matrices, unless they are square. However, to extend the aforementioned notions to arbitrary matrices, first it is necessary to recall the following facts. Let $U$, $V\in  {{\mathbbmss{C}}_{m,n}}$. There is $X\in {\mathbbmss{C}}_m$ (respectively $Y\in {\mathbbmss{C}}_n$) such that $U=XV$ (respectively $U=VY$) if and only if ${\mathcal{N}}(V)\subseteq{\mathcal{N}}(U)$ (respectively ${\mathcal{R}}(U)\subseteq{\mathcal{R}}(V)$). Now with these facts in mind, the notions in Definition \[def1100\] and Definition \[d24\] can be extended to rectangular matrices.

\[def\_2.7\]Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$.

1.  The matrix $A$ is said to be [*left $(D,E)$-invertible*]{}, if there exists $C \in {{\mathbbmss{C}}_{m,n}}$ such that $CAD=D$ and ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(C)$. Any matrix $C$ satisfying these conditions is said to be a left [*$(D,E)$-inverse of $A$*]{}.

2.  The matrix $A$ is said to be [*right $(D,E)$-invertible*]{}, if there exists $B \in {{\mathbbmss{C}}_{m,n}}$ such that $EAB=E$ and ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$. Any matrix $B$ satisfying these conditions is said to be a right [*$(D,E)$-inverse of $A$*]{}.

The proofs of the following results are straightforward and they are left to the reader.

\[rema1200\]Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements hold

1.  The matrix $A$ is left $(D,E)$-invertible with a left inverse $C\in  {{\mathbbmss{C}}_{m,n}}$ if and only if $A^*\in {{\mathbbmss{C}}_{m,n}}$ is right $(E^*, D^*)$-invertible and $C^*\in{{\mathbbmss{C}}_{n,m}}$ is a right $(E^*, D^*)$-inverse of $A^*$.

2.  The matrix $A$ is right $(D,E)$-invertible with a right inverse $B\in  {{\mathbbmss{C}}_{m,n}}$ if and only if $A^*\in {{\mathbbmss{C}}_{m,n}}$ is left $(E^*, D^*)$-invertible and $B^*\in{{\mathbbmss{C}}_{m,n}}$ is a left $(E^*, D^*)$-inverse of $A^*$.

Consider $D', E' \in {{\mathbbmss{C}}_{m,n}}$ such that ${\mathcal{R}}(D')={\mathcal{R}}(D)$ and ${\mathcal{N}}(E')={\mathcal{N}}(E)$. The following statement holds.

1.  The matrix $A$ is left $(D, E)$-invertible if and only if it is left $(D', E')$-invertible. In addition, in this case $C\in{{\mathbbmss{C}}_{m,n}}$ is a left $(D, E)$-inverse of $A$ if and only if it is a left $(D', E')$-inverse of $A$.

2.  The matrix $A$ is right $(D, E)$-invertible if and only if it is right $(D', E')$-invertible. Moreover, in this case $B\in{{\mathbbmss{C}}_{m,n}}$ is a right $(D, E)$-inverse of $A$ if and only if it is a right $(D', E')$-inverse of $A$.

When the matrices $D$, $E\in {{\mathbbmss{C}}_{m,n}}$ in Definition \[def\_2.7\] coincide, the notions of left and right inverse along a matrix can be introduced.

\[def\_2.700\]Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D\in {{\mathbbmss{C}}_{m,n}}$.

1.  The matrix $A$ is said to be [*left invertible along $D$*]{}, if there exists $C \in {{\mathbbmss{C}}_{m,n}}$ such that $CAD=D$ and ${\mathcal{N}}(D) \subseteq {\mathcal{N}}(C)$. Any matrix $C$ satisfying these conditions is said to be a [*left inverse of $A$ along $D$*]{}.

2.  The matrix $A$ is said to be [*right invertible along $D$*]{}, if there exists $B \in {{\mathbbmss{C}}_{m,n}}$ such that $DAB=D$ and ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$. Any matrix $B$ satisfying these conditions is said to be a [*right inverse of $A$ along $D$*]{}.

Note that similar results to the ones in Remark \[rema1200\] for the case $D=E\in{{\mathbbmss{C}}_{m,n}}$ hold for left and right invertible matrices along a matrix. The details are left to the reader.

Recall that given a ring ${\mathcal{R}}$ and $a$, $b$, $c\in{\mathcal{R}}$, in [@KVC Definition 2.3] the left and right annihilator $(b, c)$-inverses of the element $a$ were introduced. However, in the case of matrices, as under the conditions of [@KVC Proposition 2.5], these notions coincide with the ones in Definition \[def\_2.7\].

Characterizations of the one-sided $(D,E)$-invertibility
========================================================

In first place matrices that satisfy Definition \[def\_2.7\] will be characterized.

\[thm301\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  The matrix $A$ is right $(D,E)$-invertible.

2.  ${\mathcal{R}}(E)={\mathcal{R}}(EAD)$.

3.  $\operatorname{rk}(E)=\operatorname{rk}(EAD)$.

4.  $\dim{\mathcal{N}}(E)=\dim{\mathcal{N}}(EAD)$.

5.  ${\mathbbmss{C}}^n={\mathcal{R}}(AD) + {\mathcal{N}}(E)$.

6.  $ {\mathbbmss{C}}^m={\mathcal{R}}(D) + {\mathcal{N}}(EA)$ and $\operatorname{rk}(EA)=\operatorname{rk}(E)$.

In first place, it will be proved that statement (i) implies statement (ii). Assume that there exists a matrix $B \in {{\mathbbmss{C}}_{m,n}}$ such that $EAB=E$ and ${\mathcal{R}}(B) \subset {\mathcal{R}}(D)$. Recall that the latter condition is equivalent to the fact that there exists $M \in {\mathbbmss{C}}_n$ such that $B = DM$. Therefore, $$E=EAB=EADM.$$ In particular, ${\mathcal{R}}(E)={\mathcal{R}}(EAD)$.

Suppose that statement (ii) holds. Thus, there exists $X\in {\mathbbmss{C}}_n$ such that $EADX=E$. To prove statement (i), it is enough to define $B=DX$.

Statements (ii), (iii), and (iv) are equivalent. In fact, since ${\mathcal{R}}(EAD)\subseteq {\mathcal{R}}(E)$, statements (ii) and (iii) are equivalent. In addition, since $\dim{\mathcal{N}}(E)+\operatorname{rk}(E)=n=\dim{\mathcal{N}}(EAD)+\operatorname{rk}(EAD)$, statements (iii) and (iv) are equivalent.

Statements (i) and (v) are equivalent. In fact, according to what has been proved, if statement (i) holds, then there is $M \in {\mathbbmss{C}}_n$ such that $E=EADM$. In particular, ${\mathcal{R}}(I_n-ADM)\subseteq {\mathcal{N}}(E)$. Since any ${\mathbf{x}}\in {\mathbbmss{C}}^n$ can be written as ${\mathbf{x}}= ADM {\mathbf{x}}+ ({\mathbf{x}}-ADM{\mathbf{x}})$, statement (v) holds. On the other hand, statement (v) implies statement (ii), since ${\mathcal{R}}(E)=E({\mathbbmss{C}}^n) = E[{\mathcal{R}}(AD) + {\mathcal{N}}(E)] = {\mathcal{R}}(EAD)$.

In this paragraph, it will be proved that statement (i) implies statement (vi). Assume that statement (i) holds. Then there exists a matrix $B \in {{\mathbbmss{C}}_{m,n}}$ such that $E=EAB$ and ${\mathcal{R}}(B)\subseteq{\mathcal{R}}(D)$. Since any ${\mathbf{y}}\in {\mathbbmss{C}}^m$ can be written as ${\mathbf{y}}=BA{\mathbf{y}}+({\mathbf{y}}-BA{\mathbf{y}})$, the equality ${\mathbbmss{C}}^m = {\mathcal{R}}(D)+{\mathcal{N}}(EA)$ is obtained. To prove the rank equality, according to statement (iii), $\operatorname{rk}(E) = \operatorname{rk}(EAD) \leq \operatorname{rk}(EA) \leq \operatorname{rk}(E)$.

Finally, it will be proved that statement (vi) implies statement (iii). In fact, if statement (vi) holds, then $${\mathcal{R}}(EA) = EA ({\mathbbmss{C}}^m) = EA({\mathcal{R}}(D)+{\mathcal{N}}(EA)) = {\mathcal{R}}(EAD).$$ However, $\operatorname{rk}(E)=\operatorname{rk}(EA)=\operatorname{rk}(EAD)$.

\[thm302\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  The matrix $A$ is left $(D,E)$-invertible.

2.  ${\mathcal{N}}(D)={\mathcal{N}}(EAD)$.

3.  $\dim {\mathcal{N}}(D)=\dim{\mathcal{N}}(EAD)$.

4.  $\operatorname{rk}(D)=\operatorname{rk}(EAD)$.

5.  ${\mathcal{N}}(EA) \cap {\mathcal{R}}(D)=0$.

6.  ${\mathcal{R}}(AD) \cap {\mathcal{N}}(E)=0$ and $\operatorname{rk}(D)=\operatorname{rk}(AD)$.

Recall that according to Remark \[rema1200\] (i), $A$ is left-$(D,E)$-invertible if and only if $A^*\in {{\mathbbmss{C}}_{m,n}}$ is right $(E^*, D^*)$-invertible ($E^*$, $D^*\in{{\mathbbmss{C}}_{n,m}}$). In addition, recall that $$\begin{aligned}
&{\mathcal{N}}(D)={\mathcal{R}}(D^*)^\perp,& &{\mathcal{N}}(EAD)={\mathcal{R}}(D^*A^*E^*)^\perp.&\\
&{\mathcal{N}}(EA)={\mathcal{R}}(A^*E^*)^\perp,& &{\mathcal{R}}(D)={\mathcal{N}}(D^*)^\perp.& \\
&{\mathcal{R}}(AD)={\mathcal{N}}(D^*A^*)^\perp,& &{\mathcal{N}}(E)={\mathcal{R}}(E^*)^\perp.&\\
&\operatorname{rk}(D)=\operatorname{rk}(D^*),& &\operatorname{rk}(AD)=\operatorname{rk}(D^*A^*).&\\\end{aligned}$$ To conclude the proof, apply Theorem \[thm301\] to $A^*$, $E^*$ and $D^*$, use the above identities and note that since ${\mathcal{N}}(EAD)\subseteq{\mathcal{N}}(D)$, statememts (ii) and (iii) are equivalent. In addition, note that since $\dim{\mathcal{N}}(D)+\operatorname{rk}(D)=n=\dim{\mathcal{N}}(EAD)+\operatorname{rk}(EAD)$, statements (iii) and (iv) are equivalent.

Next given $D,E \in {\mathbbmss{C}}_{m,n}$, left and right $(D, E)$-invertible matrices will be characterized using a particular map.

\[th\_3.5\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. Let $\mathcal{X}$ be any subspace of ${\mathbbmss{C}}^n$ such that ${\mathbbmss{C}}^n = {\mathcal{N}}(E) \oplus \mathcal{X}$. Consider $\phi:{\mathcal{R}}(D) \to \mathcal{X}$ the map defined by $\phi({\mathbf{x}})=P_{\mathcal{X},{\mathcal{N}}(E)}(A{\mathbf{x}})$, for ${\mathbf{x}}\in {\mathcal{R}}(D)$. The following statements hold.

1.  The matrix $A$ is left $(D,E)$-invertible if and only if $\phi$ is injective.

2.  The matrix $A$ is right $(D,E)$-invertible if and only if $\phi$ is surjective.

First statement (i) will be proved. Observe that ${\mathcal{N}}( \phi) = {\mathcal{R}}(D) \cap {\mathcal{N}}(EA)$. Thus, according to Theorem \[thm302\], ${\mathcal{N}}(\phi)= 0$ if and only if $A$ is $(D,E)$-left invertible.

The assertion (ii) will be proved in this paragraph. Note that ${\mathbf{x}}\in {\mathcal{R}}(EAD)$ if and only if exists ${\mathbf{y}}\in {\mathbbmss{C}}^n$ such that $${\mathbf{x}}= E[P_{\mathcal{X},{\mathcal{N}}(E)}(AD{\mathbf{y}}) + P_{{\mathcal{N}}(E),\mathcal{X}}(AD {\mathbf{y}})].$$ Since $E[P_{\mathcal{X},{\mathcal{N}}(E)}(AD{\mathbf{y}}) + P_{{\mathcal{N}}(E),\mathcal{X}}(AD {\mathbf{y}})] = E(\phi(D{\mathbf{y}}))$, the equality ${\mathcal{R}}(EAD)=E({\mathcal{R}}(\phi))$ is obtained. In addition, the linear mapping $f:{\mathcal{R}}(\phi) \to {\mathbbmss{C}}^m$ given by $f({\mathbf{x}})=E{\mathbf{x}}$ is injective (because ${\mathcal{R}}(\phi) \subseteq
\mathcal{X}$ and $\mathcal{X} \oplus {\mathcal{N}}(E)={\mathbbmss{C}}^n$), therefore, $\dim {\mathcal{R}}(\phi) = \dim  E({\mathcal{R}}(\phi)) 
= \operatorname{rk}(EAD)$, and thus, $\phi$ is surjective (which is equivalent to $\dim {\mathcal{R}}(\phi) = \dim \mathcal{X}$) if and only if $\operatorname{rk}(EAD)=\operatorname{rk}(E)$. However, according to Theorem 3.1, this latter condition is equivalent to the fact that $A$ is right $(D, E)$-invertible.

In the following theorem matrices satisfying simultaneously Theorem \[thm301\] and Theorem \[thm302\] will be studied.

\[thm3033\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  $A$ is left and right $(D, E)$-invertible.

2.  ${\mathcal{R}}(EAD)={\mathcal{R}}(E)$ and ${\mathcal{N}}(EAD)={\mathcal{N}}(D)$.

3.  ${\mathcal{R}}(AD) \oplus {\mathcal{N}}(E) = {\mathbbmss{C}}^n$ and $\operatorname{rk}(D)=\operatorname{rk}(AD)$.

4.  ${\mathcal{R}}(D) \oplus {\mathcal{N}}(EA) = {\mathbbmss{C}}^m$ and $\operatorname{rk}(E)=\operatorname{rk}(EA)$.

5.  The map $\phi:{\mathcal{R}}(D) \to \mathcal{X}$ defined in Theorem \[th\_3.5\] is bijective.

Futhermore, in this case, $\operatorname{rk}(E)=\operatorname{rk}(D)$.

Apply Theorem \[thm301\], Theorem \[thm302\] and Theorem \[th\_3.5\]. Note also that $\operatorname{rk}(E)=\operatorname{rk}(D)$. Actually, this equality can be derived from the fact that $n = \operatorname{rk}(EAD)+ \dim {\mathcal{N}}(EAD)=\operatorname{rk}(E)+\dim {\mathcal{N}}(D)$.

Next the left and right $(D, E)$-inverses of a matrix $A$ satisfying Theorem \[thm3033\] will be characterized.

\[pro3034\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$ be such that $A$ is both left and right $(D, E)$-invertible. Then, there exist only one left $(D, E)$-inverse of $A$ and only one right $(D, E)$-inverse of $A$. Moreover, these inverses coincide with the unique matrix $R\in{\mathbbmss{C}}_{m, n}$ satisfying $${\mathcal{N}}(R) = {\mathcal{N}}(E), \qquad R {\mathbf{y}}= f^{-1}({\mathbf{y}}), \ \ \forall {\mathbf{y}}\in {\mathcal{R}}(AD),$$ where $f:{\mathcal{R}}(D) \to {\mathcal{R}}(AD)$ is the isomorphism defined by $f({\mathbf{x}}) = A  {\mathbf{x}}$.

Consider $C\in{\mathbbmss{C}}_{m, n}$ a left $(D, E)$-inverse of $A$. Then, $CAD=D$ and ${\mathcal{N}}(E)\subseteq{\mathcal{N}}(C)$. Let $f:{\mathcal{R}}(D) \to {\mathcal{R}}(AD)$ and $g:{\mathcal{R}}(AD) \to {\mathcal{R}}(D)$ be given by $f({\mathbf{x}})=A{\mathbf{x}}$ and $g({\mathbf{y}})=C{\mathbf{y}}$. If ${\mathbf{x}}\in {\mathcal{R}}(D)$, then $gf({\mathbf{x}})=CA{\mathbf{x}}$ and ${\mathbf{x}}= D {\mathbf{u}}$ for some ${\mathbf{u}}\in {\mathbbmss{C}}^n$. From $CAD=D$, it is obtained that $gf({\mathbf{x}})={\mathbf{x}}$. In a similar way, $fg = I_{{\mathcal{R}}(AD)}$ can be proved, and therefore, $g=f^{-1}$.

In this paragraph it will be proved that ${\mathcal{N}}(C)={\mathcal{N}}(E)$. Since ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(C)$ is already known, it is enough to prove the opposite inclusion. Let ${\mathbf{x}}\in {\mathcal{N}}(C)$, by Theorem 3.4 (iii), ${\mathbf{x}}$ can be written as ${\mathbf{x}}= AD {\mathbf{y}}+ {\mathbf{w}}$, where ${\mathbf{y}}\in {\mathbbmss{C}}^n$ and ${\mathbf{w}}\in {\mathcal{N}}(E)$. Now, ${\mathbf{0}}= C{\mathbf{x}}= CAD {\mathbf{y}}+ C {\mathbf{w}}= D {\mathbf{y}}$ because ${\mathbf{w}}\in {\mathcal{N}}(E) \subseteq {\mathcal{N}}(C)$. Finally, ${\mathbf{x}}= AD{\mathbf{y}}+ {\mathbf{w}}= {\mathbf{w}}\in  {\mathcal{N}}(E)$.

Now consider $B\in {\mathbbmss{C}}_{m,n}$ a right $(D, E)$-inverse of $A$. In particular, $EAB=E$ and ${\mathcal{R}}(B)\subseteq {\mathcal{R}}(D)$. Let $x\in{\mathcal{N}}(E)$. Then, $B(x)\in{\mathcal{R}}(D)\cap{\mathcal{N}}(EA)=0$ (Theorem \[thm3033\] (iv)). Thus, ${\mathcal{N}}(E)\subseteq {\mathcal{N}}(B)$. The inclusion ${\mathcal{N}}(B) \subseteq {\mathcal{N}}(E)$ is evident from $EAB=E$. Therefore, ${\mathcal{N}}(B)={\mathcal{N}}(E)$.

Let $h:{\mathcal{R}}(AD) \to {\mathcal{R}}(D)$ and $k: {\mathcal{R}}(D) \to {\mathcal{R}}(E)$ defined by $h({\mathbf{y}})=B{\mathbf{y}}$ and $k({\mathbf{y}})=E{\mathbf{y}}$. The mapping $k$ is an isomorphism because it is simple to prove in view of Theorem 3.4 that ${\mathcal{N}}(k)=0$. Furthermore, $EAB=E$ leads to $kfh=k$, and using that $k$ is an isomorphism, $fh=I_{{\mathcal{R}}(AD)}$, i.e., $h=f^{-1}$.

Now the relationship between the notions introduced in Definitions \[def\_2.700\] will be studied. To this end, in first place a characterization of left invertibility along a matrix will be given.

\[thm3038\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  $A$ is right invertible along $D$.

2.  ${\mathcal{R}}(D)={\mathcal{R}}(DAD)$.

3.  $\operatorname{rk}(D)=\operatorname{rk}(DAD)$.

4.  ${\mathbbmss{C}}^n={\mathcal{N}}(D)\oplus{\mathcal{R}}(AD)$.

5.  ${\mathbbmss{C}}^m={\mathcal{R}}(D)\oplus{\mathcal{N}}(DA)$.

Suppose that statement (i) holds. Then, according to Theorem \[thm301\] applied to the case $D=E$, statements (ii) and (iii) hold, $\operatorname{rk}(DA)=\operatorname{rk}(D)$, ${\mathbbmss{C}}^n={\mathcal{N}}(D)+{\mathcal{R}}(AD)$ and ${\mathbbmss{C}}^m={\mathcal{R}}(D)+{\mathcal{N}}(DA)$. Now, since $$\begin{split}
n&=\operatorname{rk}(AD)+\dim {\mathcal{N}}(D)-\dim [{\mathcal{R}}(AD)\cap{\mathcal{N}}(D)]\\
&=\operatorname{rk}(D)+\dim {\mathcal{N}}(D)-\dim [{\mathcal{R}}(AD)\cap{\mathcal{N}}(D)],\\
\end{split}$$ $ {\mathcal{R}}(AD)\cap{\mathcal{N}}(D)=0$ and statement (iv) holds.

Similarly, since $$\begin{split}
m&=\operatorname{rk}(D)+\dim {\mathcal{N}}(DA)-\dim [{\mathcal{R}}(D)\cap{\mathcal{N}}(DA)]\\
&=\operatorname{rk}(DA)+\dim {\mathcal{N}}(DA)-\dim [{\mathcal{R}}(D)\cap{\mathcal{N}}(DA)],\\
\end{split}$$ $ {\mathcal{R}}(D)\cap{\mathcal{N}}(DA)=0$ and statement (v) holds.

On the other hand, note that statement (ii) (respectively (iii), (iv), (v)) implies statement (ii) (respectively (iii), (iv), (v)) of Theorem \[thm301\] applied to the case $D=E$. For statement (v), note also that since ${\mathbbmss{C}}^m={\mathcal{R}}(D)\oplus{\mathcal{N}}(DA)$, the equality $\operatorname{rk}(D)=\operatorname{rk}(DA)$ can be obtained.

It is possible to obtain similar statements for right invertible elements along a matrix, however, as the following theorem shows, left and right inverse along a matrix are equivalent notions.

\[thm3039\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  $A$ is right invertible along $D$.

2.  $A$ is left invertible along $D$.

3.  ${\mathcal{N}}(D)={\mathcal{N}}(DAD)$.

4.  $\dim {\mathcal{N}}(D)=\dim {\mathcal{N}}(DAD)$.

5.  $AD\in{\mathbbmss{C}}_n$ is group invertible and $\dim {\mathcal{N}}(D)=\dim{\mathcal{N}}(AD)$.

6.  $DA\in {\mathbbmss{C}}_m$ is group invertible and $\operatorname{rk}(DA)=\operatorname{rk}(D)$.

7.  The map $\phi:{\mathcal{R}}(D) \to \mathcal{X}$ defined in Theorem \[th\_3.5\] for the case $D=E$ is bijective.

According to Theorem \[thm302\] applied to the case $D=E$, statements (ii), (iii) and (iv) are equivalent. In addition, note that statement (iv) is equivalent to Theorem \[thm3038\] (iii). In particular, statements (i) and (ii) are equivalent.

Suppose that statement (i) holds. Then according to Theorem \[thm3038\] (iv), ${\mathbbmss{C}}^n={\mathcal{N}}(D)\oplus{\mathcal{R}}(AD)$. Moreover, according to Theorem \[thm302\] (v), $\operatorname{rk}(D)=\operatorname{rk}(AD)$. However, the latter identity is equivalent to ${\mathcal{R}}(D)={\mathcal{R}}(AD)$, which in turn is equivalent to ${\mathcal{N}}(D)={\mathcal{N}}(AD)$. In particular, ${\mathbbmss{C}}^n={\mathcal{N}}(AD)\oplus{\mathcal{R}}(AD)$, i.e., $AD$ is group invertible, and $\dim {\mathcal{N}}(D)=\dim{\mathcal{N}}(AD)$.

On the other hand, if statement (v) holds, then ${\mathbbmss{C}}^n={\mathcal{N}}(AD)\oplus{\mathcal{R}}(AD)$ and ${\mathcal{N}}(D)= {\mathcal{N}}(AD)$ (${\mathcal{N}}(AD)\subseteq {\mathcal{N}}(D)$). Consequently, Theorem \[thm3038\] (iv) holds.

The equivalence between statements (i) and (vi) can be proved a similar argument, using in particular Theorem \[thm3038\] (v) and Theorem \[thm301\] (vi).

Since statements (i) and (ii) are equivalent, according to Theorem \[thm3033\], statement (i) and (vii) are equivalent.

In the following corollary the left and the right inverses of a matrix $A\in {\mathbbmss{C}}_{n,m}$ that is left or right invertible along $D\in  {\mathbbmss{C}}_{m,n}$ will be presented.

\[cor31000\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$ such that $A$ is left or right invertible along $D$. Then, there exists only one left inverse of $A$ along $D$ and only one right inverse of $A$ along $D$. Moreover, these inverses coincide with the matrix $R\in{\mathbbmss{C}}_{m, n}$ satisfying $${\mathcal{N}}(R)={\mathcal{N}}(D), \qquad R {\mathbf{y}}= f^{-1}({\mathbf{y}}), \ \ \forall {\mathbf{y}}\in {\mathcal{R}}(AD),$$ where $f: {\mathcal{R}}(D) \to {\mathcal{R}}(AD)$ is given by $f({\mathbf{x}})=A{\mathbf{x}}$.

Apply Theorem \[thm3039\] and Proposition \[pro3034\].

Now the existence of left and right $(D, E)$-inverses will be studied. To this end the sets of left and right $(D, E)$-invertible matrices will be characterized. First of all some notation will be given.

Consider $D$, $E\in {{\mathbbmss{C}}_{m,n}}$. Let $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$ be the sets of left and right $(D, E)$-invertible matrices, respectively, i.e., $$\begin{aligned}
&({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}=\{ A\in{{\mathbbmss{C}}_{n,m}}\colon A \hbox{ is left } (D, E)\hbox{-invertible}\},\\
&({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}=\{ A\in{{\mathbbmss{C}}_{n,m}}\colon A \hbox{ is right } (D, E)\hbox{-invertible}\}.\\\end{aligned}$$

When $D=E\in {{\mathbbmss{C}}_{m,n}}$, the sets of left and right invertible matrices along $D$, $({{\mathbbmss{C}}_{n,m}})^{\parallel D}_{left}$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D}_{right}$ respectively, are introduced.

$$\begin{split}
&({{\mathbbmss{C}}_{n,m}})^{\parallel D}_{left}=({{\mathbbmss{C}}_{n,m}})^{\parallel D, D}_{left}=\{ A\in{{\mathbbmss{C}}_{n,m}}\colon A \hbox{ is left invertible along } D\},\\
&({{\mathbbmss{C}}_{n,m}})^{\parallel D}_{right}=({{\mathbbmss{C}}_{n,m}})^{\parallel D, D}_{right}=\{ A\in{{\mathbbmss{C}}_{n,m}}\colon A \hbox{ is right invertible along } D\}.\\
\end{split}$$

Next conditions under which the sets $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$ are non empty will be given.

\[thm303\] Let $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}\ne\emptyset$.

2.  $\operatorname{rk}(D)\le\operatorname{rk}(E)$.

3.  $\dim {\mathcal{N}}(E)\le\dim {\mathcal{N}}(D)$.

4.  $\dim {\mathcal{N}}(E)+\operatorname{rk}(D)\le n$.

Here, It will be proved that statement (i) implies statement (ii). Suppose that there exists $A \in {{\mathbbmss{C}}_{n,m}}$ and $C\in {{\mathbbmss{C}}_{m,n}}$ such that $C$ is a right $(D, E)$-inverse of $A$. In particular, $CAD=D$ and ${\mathcal{N}}(E)\subseteq {\mathcal{N}}(C)$. Thus, $\operatorname{rk}(D)\le\operatorname{rk}(C)$ and $\dim {\mathcal{N}}(E)\le\dim {\mathcal{N}}(C)$. As a result, $\operatorname{rk}(D)\le\operatorname{rk}(C)\le \operatorname{rk}(E)$.

Suppose that statement (iv) holds. Let $r=\operatorname{rk}(E)$ and $s=\operatorname{rk}(D)$. Let $X = [{\mathbf{x}}_1 \cdots {\mathbf{x}}_n] \in {\mathbbmss{C}}_n$ and $Y = [{\mathbf{y}}_1 \cdots {\mathbf{y}}_m] \in {\mathbbmss{C}}_m$ be two nonsingular matrices such that the last $n-r$ columns of $X$ span ${\mathcal{N}}(E)$ and the first $s$ columns of $Y$ span ${\mathcal{R}}(D)$. Define $$A = X \left[ \begin{array}{cc} I_s & 0 \\ 0 & 0 \end{array} \right] Y^{-1} \in {\mathbbmss{C}}_{n,m}, 
\qquad
C = Y \left[ \begin{array}{cc} I_s & 0 \\ 0 & 0 \end{array} \right] X^{-1} \in {\mathbbmss{C}}_{m,n}.$$ If ${\mathbf{x}}\in {\mathcal{N}}(E)$, then ${\mathbf{x}}= \sum_{i=r+1}^n \alpha_i {\mathbf{x}}_i$ for some scalars $\alpha_i$. Since $s= \operatorname{rk}(D) \le \operatorname{rk}(E)=r$, the vector ${\mathbf{v}}= [0 \cdots 0 \ \alpha_{r+1} \cdots \alpha_n]^T
\in {\mathbbmss{C}}^{n-s}$ can be defined (the superscript $T$ means the transposition). Hence ${\mathbf{x}}= X \left[ \begin{smallmatrix} {\mathbf{0}}\\ {\mathbf{v}}\end{smallmatrix} \right]$, and thus, $C{\mathbf{x}}= {\mathbf{0}}$. If ${\mathbf{y}}\in {\mathcal{R}}(D)$, then exists ${\mathbf{w}}\in {\mathbbmss{C}}^s$ such that ${\mathbf{y}}= 
Y \left[ \begin{smallmatrix} {\mathbf{w}}\\ {\mathbf{0}}\end{smallmatrix} \right]$ (because the first $s$ columns of $Y$ span ${\mathcal{R}}(D)$). Now, it is trivial to prove $CA{\mathbf{y}}= {\mathbf{y}}$, which implies $CAD=D$ since ${\mathbf{y}}\in {\mathcal{R}}(D)$ is arbitrary. Hence (i) holds.

The remaining equivalences are clear.

\[thm304\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}\ne\emptyset$.

2.  $\operatorname{rk}(E)\le\operatorname{rk}(D)$.

3.  $\dim {\mathcal{N}}(D)\le \dim {\mathcal{N}}(E)$.

4.  $n\le\dim {\mathcal{N}}(E)+\operatorname{rk}(D)$.

Recall that according to Remark \[rema1200\] (ii), $A$ is right $(D,E)$-invertible if and only if $A^*\in {{\mathbbmss{C}}_{m,n}}$ is left $(E^*, D^*)$-invertible ($E^*$, $D^*\in{{\mathbbmss{C}}_{n,m}}$). Consequently, statement (i) is equivalent to $({{\mathbbmss{C}}_{m,n}})^{\parallel E^*, D^*}_{left}\ne\emptyset$, which in turn is equivalent to $\operatorname{rk}(E^*)\le\operatorname{rk}(D^*)$. However, the latter inequality coincides with statement (ii).

The remaining equivalences are clear.

Next the case of the left and right inverses along a matrix will be considered.

\[cor305\]Let $D\in {{\mathbbmss{C}}_{m,n}}$. Then,

$$({{\mathbbmss{C}}_{n,m}})^{\parallel D}_{left}=({{\mathbbmss{C}}_{n,m}})^{\parallel D}_{right}\neq\emptyset.$$

Apply Theorem \[thm3039\] and Theorem \[thm303\] or Theorem \[thm304\] for the case $D=E$.

Next the results in Corollary \[cor305\] will be extended to the case $\dim {\mathcal{N}}(E)+\operatorname{rk}(D)=n$ ($D$, $E\in {{\mathbbmss{C}}_{m,n}}$). Note that this condition is equivalent to $\operatorname{rk}(D)=\operatorname{rk}(E)$, which in turn is equivalent to $\dim {\mathcal{N}}(D)=\dim {\mathcal{N}}(E)$, which is also equivalent to $\dim {\mathcal{N}}(D)+\operatorname{rk}(E)=n$.

\[cor3050\] Let $D$, $E\in{{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  $\operatorname{rk}(E)=\operatorname{rk}(D)$.

2.  $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}\ne\emptyset$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}\ne\emptyset$.

3.  $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}=({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}\neq\emptyset$.

To prove the equivalence between statements (i) and (ii), apply Theorem \[thm303\] and Theorem \[thm304\].

Suppose that statment (i) holds and consider $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$. According to Theorem \[thm301\] (iii), $\operatorname{rk}(D)=\operatorname{rk}(EAD)$. Thus, $\dim{\mathcal{N}}(D)=\dim{\mathcal{N}}(EAD)$. Consequently, according to Theorem \[thm302\] (iii), $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$. A similar argument, using in particular that $\dim {\mathcal{N}}(D)=\dim {\mathcal{N}}(E)$, proves that $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}\subseteq ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$. On the other hand, if statement (iii) holds, then consider $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}=({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$. According to Theorem \[thm301\] and Theorem \[thm302\], $\operatorname{rk}(E)=\operatorname{rk}(EAD)$ and ${\mathcal{N}}(D)={\mathcal{N}}(EAD)$. Therefore, $\dim {\mathcal{N}}(D)+\operatorname{rk}(E)=n$.

Now the case $\operatorname{rk}(D)\neq\operatorname{rk}(E)$ will be presented.

\[cor3051\] Let $D$, $E\in{{\mathbbmss{C}}_{m,n}}$ such that $\operatorname{rk}(D)\neq\operatorname{rk}(E)$. Then, the following statements hold.

1.  If $\operatorname{rk}(D)<\operatorname{rk}(E)$, then $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}\ne\emptyset$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}=\emptyset$.

2.  If $\operatorname{rk}(E)<\operatorname{rk}D)$, then $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}\ne\emptyset$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}=\emptyset$.

Apply Theorem \[thm303\] and Theorem \[thm304\].

Next representations of the sets $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$ and $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$ will be given. However, in first place some notation needs to be introduced.

Let $D$, $E\in{{\mathbbmss{C}}_{m,n}}$ and consider $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$. Then, *the set of all left $(D, E)$-inverses of $A$ will be denoted by $\mathcal{I}(A)_{left}^{\parallel D, E}$. Similarly, when $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$, $\mathcal{I}(A)_{right}^{\parallel D, E}$ will stand for *the set of all right $(D, E)$-inverses of $A$.**

In the following theorems representations of $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$, $({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$, $\mathcal{I}(A)_{left}^{\parallel D, E}$ and $\mathcal{I}(A)_{right}^{\parallel D, E}$ will be given.

\[thm30000\] Let $D, E\in{{\mathbbmss{C}}_{m,n}}$ be such that $({\mathbbmss{C}}_{n,m})_{left}^{\| D,E} \neq \emptyset$. Let $s=\operatorname{rk}(D)\le \operatorname{rk}(E)=r$. Then

1.  $A \in ({\mathbbmss{C}}_{n,m})_{left}^{\| D,E}$ if and only if there exist two nonsingular matrices $X \in {\mathbbmss{C}}_n$ and $Y \in {\mathbbmss{C}}_m$ such that $$\label{axy-1}
    A = X \kbordermatrix{ & s & m-s \\ s & A_1 & * \\ r-s & 0 & * \\ n-r & 0 & *} Y^{-1},$$ where the last $n-r$ columns of $X$ are a basis of ${\mathcal{N}}(E)$, the first $s$ columns of $Y$ are a basis of ${\mathcal{R}}(D)$, and $A_1$ is nonsingular.

2.  Under the conditions in statement [(i)]{}, $C \in \mathcal{I}(A)^{\parallel D, E}_{left}$ if and only if $$\label{cteorema}
    C = Y \kbordermatrix{ & s & r-s & n-r \\ s & A_1^{-1} & * & 0 \\ m-s & 0 & * & 0 } X^{-1}.$$

Assume that $A \in ({\mathbbmss{C}}_{n,m})_{left}^{\| D,E}$. Let $X \in {\mathbbmss{C}}_n$ be any nonsingular matrix such that the last $n-r$ columns span ${\mathcal{N}}(E)$. Let $Y \in {\mathbbmss{C}}_m$ be any nonsingular matrix such that the first $s$ columns span ${\mathcal{R}}(D)$. Let us decompose matrix $A$ as follows: $$\label{x-1ay}
A = X \kbordermatrix{ & s & m-s \\ r & B_1 & * \\ n-r & B_2 & *} Y^{-1}.$$ Observe that if ${\mathbf{y}}_i$ is the $i$-th column of $Y$, then $A {\mathbf{y}}_i \in {\mathcal{R}}(AD)$ for $i=1, \ldots, s$, because the first $s$ columns of $Y$ span ${\mathcal{R}}(D)$. From , it is obtained that $B_2=0$, because ${\mathcal{R}}(AD)\cap{\mathcal{N}}(E)=0$ (Theorem \[thm302\] (vi)).

Let $\mathcal{X}$ be the subspace spanned by the first $r$ columns of $X$ (this subspace satisfies $\mathcal{X} \oplus {\mathcal{N}}(E)={\mathbbmss{C}}^n$). It is evident that the matrix of the linear mapping $\phi: {\mathcal{R}}(D) \to \mathcal{X}$ defined in Theorem \[th\_3.5\] respect to the considered basis of ${\mathcal{R}}(D)$ and $\mathcal{X}$ is $B_1$. By Theorem \[th\_3.5\] (i), $\phi$ is injective, thus, $\mathcal{X}$ can be decomposed as $\mathcal{X} = \phi({\mathcal{R}}(D)) \oplus \mathcal{X}_1$, and without loss of generality, the first $n-r$ columns of $X$ can be rearranged so that the first $s$ are a basis of $\phi({\mathcal{R}}(D))$. In this way, the decomposition written in the statement (i) is obtained.

Assume that $A \in {\mathbbmss{C}}_{n,m}$ is decomposed as in . As in the previous paragraph, let $\mathcal{X}$ be the subspace spanned by the first $r$ columns of $X$ and consider the mapping $\phi:{\mathcal{R}}(D) \to \mathcal{X}$ defined in Theorem \[th\_3.5\]. The first $s$ columns of $Y$ is a basis of ${\mathcal{R}}(D)$ and the first $r$ columns of $X$ is a basis of $\mathcal{X}$. The matrix of $\phi$ respect to the aforementioned basis is $\left[ \begin{smallmatrix} A_1 \\ 0 \end{smallmatrix} \right]$. Since $A_1$ is nonsingular, the mapping $\phi$ is injective, and according to Theorem \[th\_3.5\] (i), $A$ is left $(D,E)$-invertible.

Now, it will be proved statement (ii). Let ${\mathbf{y}}_j$ be the $j$-th column of $Y$ and ${\mathbf{x}}_i$ be the $i$-th column of $X$.

Assume that $C \in {\mathbbmss{C}}_{m,n}$ is a left $(D,E)$-inverse of $A$. Let us decompose $C$ as follows: $$\label{cyx-1}
C = Y \kbordermatrix{& s & r-s & n - r \\ s & C_1 & C_2 & C_3 \\ m - s & C_4 & C_5 & C_6} X^{-1}.$$ Since ${\mathbf{y}}_j = Y \left[ \begin{smallmatrix} {\mathbf{e}}_j \\ {\mathbf{0}}\end{smallmatrix} \right]$, where $\{ {\mathbf{e}}_1, \ldots, {\mathbf{e}}_s \}$ is the standard basis of ${\mathbbmss{C}}^n$, from the above decomposition and , it is obtained that $CA {\mathbf{y}}_j = 
\left[ \begin{smallmatrix} C_1 A_1 {\mathbf{e}}_j \\ C_4 A_1 {\mathbf{e}}_j \end{smallmatrix} \right]$, for any $j=1, \ldots, s$. From $CAD=D$ (this is true because $C$ is a left $(D,E)$-inverse of $A$), it follows that $C_1A_1 {\mathbf{e}}_j={\mathbf{e}}_j$ and $C_4 A_1 {\mathbf{e}}_j = {\mathbf{0}}$, for any $j=1, \ldots, s$. Therefore $C_1=A_1^{-1}$ and $C_4=0$. Having in mind that the last $n-r$ columns of $X$ is a basis of ${\mathcal{N}}(E)$ and ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(C)$, the decomposition yields that $C_3$ and $C_6$ are zero matrices.

Assume that $C \in {\mathbbmss{C}}_{m,n}$ is written as in . The following two relations will be proved: $CAD=D$ and ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(C)$. To prove that $CAD=D$, it is enough to check that $CA {\mathbf{y}}_j = {\mathbf{y}}_j$, for $j=1, \ldots, s$ (because ${\mathcal{R}}(D)$ is spanned by ${\mathbf{y}}_1, \ldots, {\mathbf{y}}_s$), and this trivially follows from , , and ${\mathbf{y}}_j = Y \left[ \begin{smallmatrix} {\mathbf{e}}_j \\ {\mathbf{0}}\end{smallmatrix} \right]$, where $\{ {\mathbf{e}}_j \}_{j=1}^s$ is the standard basis of ${\mathbbmss{C}}^s$. To prove that ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(C)$, it is enough to prove that $C {\mathbf{x}}_i={\mathbf{0}}$, for $i= r+1, \ldots, n$ (because ${\mathcal{N}}(E)$ is spanned by the last $n-r$ columns of $X$). This is trivial in view of .

\[thm30001\] Let $D$, $E\in{{\mathbbmss{C}}_{m,n}}$ be such that $({\mathbbmss{C}}_{n,m})_{right}^{\| D,E } \neq \emptyset$. Let $r=\operatorname{rk}(E)\le\operatorname{rk}(D)=s$. Then

1.  $A \in ({\mathbbmss{C}}_{n,m})_{right}^{\| D,E }$ if and only if there exist two nonsingular matrices $X \in {\mathbbmss{C}}_n$ and $Y \in {\mathbbmss{C}}_m$ such that $$\label{teorema2a}
    A = X \kbordermatrix{ & s-r & r & m-s \\ r & 0 & A_2 & * \\ n-r & * & * & *}Y^{-1},$$ where the last $n-r$ columns of $X$ are a basis of ${\mathcal{N}}(E)$, the first $s$ columns of $Y$ are a basis of ${\mathcal{R}}(D)$, and $A_2$ is nonsingular.

2.  Under the conditions in statement [(i)]{}, $B \in 
    \mathcal{I}(A)^{\parallel D, E}_{right}$ if and only if $$\label{teorema2b}
    B = Y \kbordermatrix{& r & n-r \\ s-r & * & * \\ r & A_2^{-1} & 0 \\ m-s & 0 & 0} X^{-1}.$$

Assume that $A \in ({\mathbbmss{C}}_{n,m})_{right}^{\| D,E }$. Let $X \in {\mathbbmss{C}}_n$ be any nonsingular matrix such that the last $n-r$ columns span ${\mathcal{N}}(E)$ and let $\mathcal{X}$ be the subspace spanned by the first $r$ columns of $X$. The mapping $\phi\colon{\mathcal{R}}(D)\to\mathcal{X}$ defined in Theorem \[th\_3.5\] is surjective, and therefore, $s=\dim {\mathcal{R}}(D) = \dim {\mathcal{N}}(\phi) + \dim \mathcal{X} = \dim {\mathcal{N}}(\phi) + r$. In Theorem \[th\_3.5\], it was proved that ${\mathcal{N}}(\phi)={\mathcal{R}}(D)\cap{\mathcal{N}}(EA)$. Let $Y \in {\mathbbmss{C}}_m$ be any nonsigular matrix such that the first $s-r$ columns of $Y$ are a basis of ${\mathcal{R}}(D) \cap {\mathcal{N}}(EA)$ and the first $s$ columns of $Y$ are a basis of ${\mathcal{R}}(D)$. Decompose $$A = X \kbordermatrix{ & s-r & r & m-s \\ r & A_1 & A_2 & A_3 \\ n-r & A_4 & A_5 & A_6}Y^{-1}.$$ Let ${\mathbf{y}}_j$ be the $j$-th column of $Y$. For $j=1, \ldots, s-r$, it is obtained that $EA {\mathbf{y}}_j={\mathbf{0}}$, because the first $s-r$ columns of $Y$ belong to ${\mathcal{N}}(EA)$, in other words, $A {\mathbf{y}}_j \in {\mathcal{N}}(E)$, and thus, $A_1$ is a zero matrix. The matrix of $\phi$ respect the considered basis of ${\mathcal{R}}(D)$ and $\mathcal{X}$ is $[A_1 \ A_2] = [0 \ A_2]$. Since $\phi:{\mathcal{R}}(D) \to \mathcal{X}$ is surjective, $r = \dim \mathcal{X} = \operatorname{rk}[0 \ A_2] = \operatorname{rk}(A_2)$. By recalling that $A_2$ is an $r \times r$ matrix, $A_2$ is nonsingular.

Assume that $A \in {\mathbbmss{C}}_{n,m}$ is decomposed as in . As in the previous paragraph, let $\mathcal{X}$ be the subspace spanned by the first $r$ columns of $X$. The matrix of the mapping $\phi: {\mathcal{R}}(D) \to \mathcal{X}$ respect the considered basis is $$\kbordermatrix{ & s-r & r \\ r & 0 & A_2}.$$ Since the rank of this latter matrix is $r$ (because $A_2 \in {\mathbbmss{C}}_r$ is nonsingular) and $\dim \mathcal{X}=r$, the mapping $\phi$ is surjective. According to Theorem \[th\_3.5\] (ii), $A\in ({\mathbbmss{C}}_{n,m})_{right}^{\| D,E }$.

Assume that $B \in {\mathbbmss{C}}_{m,n}$ is a right $(D,E)$-inverse of $A$, i.e., $EAB=B$ and ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$. Decompose $$B= Y \kbordermatrix{ & r & n-r \\ s-r & B_1 & B_2 \\ r & B_3 & B_4 \\ m-s & B_5 & B_6} X^{-1}.$$ By the condition ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$, it is obtained that $B {\mathbf{x}}\in {\mathcal{R}}(D)$ for any ${\mathbf{x}}\in {\mathbbmss{C}}^n$. Therefore, $$Y \left[ \begin{array}{cc} B_1 & B_2 \\ B_3 & B_4 \\ B_5 & B_6 \end{array} \right]
\left[ \begin{array}{c} {\mathbf{x}}_1 \\ {\mathbf{x}}_2 \end{array} \right] \in {\mathcal{R}}(D), \quad \forall \ 
({\mathbf{x}}_1, {\mathbf{x}}_2 ) \in {\mathbbmss{C}}^r \times {\mathbbmss{C}}^{n-r}.$$ Recall that the first $s$ columns of $Y$ span ${\mathcal{R}}(D)$, and thus, $B_5 {\mathbf{x}}_1 + B_6 {\mathbf{x}}_2 = {\mathbf{0}}$, for all $({\mathbf{x}}_1, {\mathbf{x}}_2 ) \in {\mathbbmss{C}}^r \times {\mathbbmss{C}}^{n-r}$, which implies that $B_5$ and $B_6$ are zero matrices. The equality $EAB=E$ is equivalent to ${\mathcal{R}}(AB-I_n) \subseteq {\mathcal{N}}(E)$. But $$AB-I_n = 
X \left[ \begin{array}{ccc} 0 & A_2 & * \\ * & * & * \end{array} \right]
\left[ \begin{array}{cc} B_1 & B_2 \\ B_3 & B_4 \\ 0 & 0 \end{array} \right]X^{-1} - XX^{-1}
= X \left[ \begin{array}{cc} A_2 B_3 - I_r & A_2 B_4 \\ * & * \end{array} \right] X^{-1}.$$ Therefore, $X \left[ \begin{smallmatrix} A_2 B_3-I_r & A_2 B_4 \\ * & * \end{smallmatrix} \right]
\left[ \begin{smallmatrix} {\mathbf{x}}_1 \\ {\mathbf{x}}_2 \end{smallmatrix} \right] 
\in {\mathcal{N}}(E)$, for all $({\mathbf{x}}_1, {\mathbf{x}}_2) \in {\mathbbmss{C}}^r \times {\mathbbmss{C}}^{n-r}$. Recall that the last $n-r$ columns of $X$ span ${\mathcal{N}}(E)$, which implies that $A_2B_3=I_r$ and $B_4=0$.

Assume that $B \in {\mathbbmss{C}}_{m,n}$ is written as in . It will be proved now that ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$. If ${\mathbf{x}}\in {\mathbbmss{C}}^n$, then $$B {\mathbf{x}}= Y \left[ \begin{array}{cc} * & * \\ A_1^{-1} & 0 \\ 0 & 0 \end{array} \right]X^{-1} {\mathbf{x}}\in {\mathcal{R}}(D),$$ because the first $s$ columns of $Y$ belong to ${\mathcal{R}}(D)$. Now it will be proved that $EAB=B$. Since $$AB-I_n = X \left[ \begin{array}{ccc} 0 & A_2 & * \\ * & * & * \end{array} \right]
\left[ \begin{array}{cc} * & * \\ A_2^{-1} & 0 \\ 0 & 0 \end{array} \right]X^{-1}-XX^{-1}
= X \left[ \begin{array}{cc} 0 & 0 \\ * & * \end{array} \right]X^{-1},$$ it is obtained that $(AB-I_n) {\mathbf{x}}\in {\mathcal{N}}(E)$, for any ${\mathbf{x}}\in {\mathbbmss{C}}^n$, because the last $n-r$ columns of $X$ belong to ${\mathcal{N}}(E)$. Thus, ${\mathcal{R}}(AB-I_n) \subseteq {\mathcal{N}}(E)$, which is equivalent to $EAB=E$.

Next the case $\operatorname{rk}(E)=\operatorname{rk}(D)$ will be studied, i.e., when $({\mathbbmss{C}}_{n,m})_{left}^{\| D,E} = ({\mathbbmss{C}}_{n,m})_{right}^{\| D,E}\neq\emptyset$ ($D, E \in {{\mathbbmss{C}}_{m,n}}$). Compare with Proposition \[pro3034\].

\[cor30005\] Let $D, E \in {{\mathbbmss{C}}_{m,n}}$ be such that $\operatorname{rk}(E)=\operatorname{rk}(D)=r$. Let $X \in {\mathbbmss{C}}_n$ be any nonsingular matrix such that its last $n-r$ columns span ${\mathcal{N}}(E)$ and $Y \in {\mathbbmss{C}}_m$ be any nonsingular matrix such that its first $r$ columns span ${\mathcal{R}}(D)$. If $A \in {\mathbbmss{C}}_{n,m}$ is written as $$A = X \kbordermatrix{ & r & n-r \\ r & A_1 & * \\ m-r & * & * } Y^{-1},$$ then $A \in ({\mathbbmss{C}}_{n,m})_{left}^{\| D,E} = ({\mathbbmss{C}}_{n,m})_{right}^{\| D,E}$ if and only if $A_1$ is nonsingular. Furthermore, under the above equivalence, the unique left and the unique right $(D, E)$-inverse of $A$ is $$Y  \left[ \begin{array}{cc} A_1^{-1} & 0 \\ 0 & 0 \end{array} \right]X^{-1}.$$

Let $\mathcal{X}$ be the subspace spanned by the first $r$ columns of $X$. The matrix of the mapping $\phi: {\mathcal{R}}(D) \to \mathcal{X}$ defined in Theorem \[th\_3.5\] respect the considered basis is $A_1$. Therefore, according to Theorem \[thm3033\], the matrix $A_1$ is nonsingular if and only if $A$ is left and right $(D,E)$-invertible. The proof of Theorem \[thm30000\] (ii) shows that the unique left and right $(D,E)$-inverse of $A$ as the form of the statement of this corollary.

\[nota1\] Let $D, E \in {{\mathbbmss{C}}_{m,n}}$ be such that $\operatorname{rk}(E)=\operatorname{rk}(D)$ and $A \in ({\mathbbmss{C}}_{n,m})_{left}^{\| D,E}
= ({\mathbbmss{C}}_{n,m})_{right}^{\| D,E}$. Let ${\mathbbmss{C}}^n = {\mathcal{N}}(E) \oplus \mathcal{X}$ be any decomposition. From Corollary \[cor30005\], the unique left and right $(D,E)$-inverse of $A$, say $R$, satisfies $${\mathcal{N}}(R) = {\mathcal{N}}(E), \qquad R {\mathbf{y}}= \phi^{-1}({\mathbf{y}}), \ \ \forall {\mathbf{y}}\in \mathcal{X}.$$

Next the case of left and right inverses along a fixed matrix will be considered.

\[cor30200\] Let $D\in{{\mathbbmss{C}}_{m,n}}$ and $r =  \operatorname{rk}(D)$. Let $X \in {\mathbbmss{C}}_n$ be any nonsingular matrix such that its last columns span ${\mathcal{N}}(D)$ and $Y \in {\mathbbmss{C}}_m$ be any nonsingular matrix such that its first columns span ${\mathcal{R}}(D)$. If $A \in {\mathbbmss{C}}_{n,m}$ is written as $$A = X \left[ \begin{array}{cc} A_1 & * \\ * & * \end{array} \right] Y^{-1},
\quad A_1 \in {\mathbbmss{C}}_r,$$ then $A \in ({\mathbbmss{C}}_{n,m})_{left}^{\| D} = ({\mathbbmss{C}}_{n,m})_{right}^{\| D}$ if and only if $A_1$ is nonsingular. Furthermore, under the above equivalence, the unique left and the unique right inverse of $A$ along $D$ is $$Y  \left[ \begin{array}{cc} A_1^{-1} & 0 \\ 0 & 0 \end{array} \right]X^{-1}.$$

Apply Corollary \[cor305\] and Corollary \[cor30005\].

In the following theorem the sets $\mathcal{I}(A)_{left}^{\parallel D, E}$ and $\mathcal{I}(A)_{right}^{\parallel D, E}$ will be represented using the Moore-Penrose inverse.

\[5L1\] Let $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements hold.

1.  If $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$, then $$\mathcal{I}(A)_{right}^{\parallel D, E}=\left\{ D \left[ (EAD)^\dag E + 
        \left(I_n -(EAD)^\dag EAD \right)Z\right] : Z \in {\mathbbmss{C}}_n\right\}.$$

2.  If $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{left}$, then $$\mathcal{I}(A)_{left}^{\parallel D, E}=\left\{ \left[ D(EAD)^\dag + Z(I_m - EAD(EAD)^\dag) \right]E : Z \in {\mathbbmss{C}}_m\right\}.$$

Consider $A\in ({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$. If $B \in {{\mathbbmss{C}}_{m,n}}$ satisfies $EAB = E$ and ${\mathcal{R}}(B) \subset {\mathcal{R}}(D)$, then according to the proof of Theorem \[thm301\], there exists a matrix $M$ such that $B=DM$ and $EADM=E$. Notice that the general solution of the equation $EADX=E$ is $$X = (EAD)^\dag E + (I_n-(EAD)^\dag EAD)Z,$$ where $Z \in {{\mathbbmss{C}}_{n,n}}$ is arbitrary (see [@penrose Theorem 2]). Hence $M = (EAD)^\dag E + (I_n-(EAD)^\dag EAD)Z$, for some $Z \in {{\mathbbmss{C}}_{n,n}}$. Therefore, $B=D(EAD)^\dag E + D(I_n-(EAD)^\dag EAD)Z$. Thus, $$({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right} \subseteq
\{ D(EAD)^\dag E + D(I_n-(EAD)^\dag EAD)Z : Z \in {{\mathbbmss{C}}_{n,n}} \}.$$ To prove the opposite inclusion, let $Z \in {{\mathbbmss{C}}_{n,n}}$ be arbitrary and consider $$Y = D \left[(EAD)^\dag E + (I_n-(EAD)^\dag EAD)Z \right].$$ It is evident that ${\mathcal{R}}(Y) \subset {\mathcal{R}}(D)$. Furthermore, according to Theorem \[thm301\] (ii), ${\mathcal{R}}(E)={\mathcal{R}}(EAD)$. Now $$EAY= EAD \left[(EAD)^\dag E + (I_n-(EAD)^\dag EAD)Z \right] = EAD (EAD)^\dag E = E.$$ In fact, if ${\mathbf{e}}$ is any column of $E$, then ${\mathbf{e}}\in {\mathcal{R}}(E) = {\mathcal{R}}(EAD)$ and since $EAD(EAD)^\dag$ is the orthogonal projection onto ${\mathcal{R}}(EAD)$, $EAD(EAD)^\dag {\mathbf{e}}= {\mathbf{e}}$.

To prove statement (ii), apply Remark \[rema1200\] (i) and what has been proved.

Let $D,E \in {\mathbbmss{C}}_{m,n}$. If $A \in {\mathbbmss{C}}_{n,m}$ is left (respectively right) $(D, E)$-invertible, the case in which $\mathcal{I}(A)_{left}^{\parallel D, E}$ (respectively $\mathcal{I}(A)_{right}^{\parallel D, E}$) is a singleton will be studied.

\[thm33000\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  The matrix $A$ has a unique left $(D, E)$-inverse.

2.  The matrix $A$ has a unique right $(D, E)$-inverse.

3.  $\operatorname{rk}(D)=\operatorname{rk}(E)=\operatorname{rk}(EAD)$.

Furthermore, in this case $\mathcal{I}(A)_{left}^{\parallel D, E}=\mathcal{I}(A)_{right}^{\parallel D, E}=\{D(EAD)^\dag E\}$.

Note that according to Theorem \[thm302\] (iv) and Theorem \[thm30000\] (ii), statement (i) and statement (iii) are equivalent.

To prove the equivalence between statements (ii) and (iii), apply Theorem \[thm301\] (iii) and Theorem \[thm30001\] (ii).

Now, according to Proposition \[pro3034\], the unique left and the unique right $(D, E)$-inverse of $A$ coincide. To conclude the proof, notice that according to Theorem \[5L1\], $D(EAD)^\dag E\in \mathcal{I}(A)_{left}^{\parallel D, E}\cap\mathcal{I}(A)_{right}^{\parallel D, E}$.

Due to Theorem \[thm33000\], another representation of the left and the right inverses along a matrix can be given.

\[cor37000\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$. The matrix $A$ is left or right invertible along $D$ if and only if $\operatorname{rk}(D)=\operatorname{rk}(DAD)$. Moreover, in this case the unique left inverse of $A$ along $D$ and the unique right inverse of $A$ along $D$ coincide with the matrix $D(DAD)^\dag D$.

Apply Theorem \[thm3039\], Corollary \[cor31000\] and Theorem \[thm33000\].

It is known that a nonzero matrix can be expressed as the product of a matrix of full column rank and a matrix of full row rank. This factorization is known as a full-rank factorization and these factorizations turn out to be a powerful tool in the study of generalized inverses. Recall that given $H\in{\mathbbmss{C}}_{m,n}$ such that $\operatorname{rk}(H)=r>0$, the matrix $H$ is said to have a *full rank factorization, if there exist $F\in{\mathbbmss{C}}_{m,r}$ and $G\in{\mathbbmss{C}}_{r,n}$ such that $H=FG$. Such a factorization always exists but it is not unique ([@PO Theorem 2]). Moreover, $F^\dag F=I_r= GG^\dag$ ([@PO Theorem 1]). Note in particular that $\operatorname{rk}(F)=\operatorname{rk}(G)=\operatorname{rk}(H)$. To learn more results on this topic, see [@ben; @PO]. In the following theorem, given $D$, $E\in{\mathbbmss{C}}_{m,n}$, matrices $A\in{\mathbbmss{C}}_{n,m}$ that are left or right $(D, E)$-invertible will be characterized using a full rank factorization. In addition, the sets $\mathcal{I}(A)_{left}^{\parallel D, E}$ and $\mathcal{I}(A)_{right}^{\parallel D, E}$ will be represented using a full rank factorization and the Moore-Penrose inverse.*

\[th\_3.4\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. Consider $D=D_1D_2$ and $E=E_1E_2$ two full rank factorizations of $D$ and $E$, respectively.

1.  The matrix $A$ has a right $(D,E)$-inverse if and only if $\operatorname{rk}(E_2)=\operatorname{rk}(E_2AD_1)$. In addition, $$\mathcal{I}(A)_{right}^{\parallel D, E}=\{D_1 \left[ (E_2AD_1)^\dag E_2 + 
    (I_r-(E_2AD_1)^\dag E_2AD_1)Y\right]\colon Y \in {\mathbbmss{C}}_{r,n} \},$$ where $r=\operatorname{rk}(D)$.

2.  The matrix $A$ has a left $(D,E)$-inverse if and only if $\operatorname{rk}(D_1)=\operatorname{rk}(E_2AD_1)$. Moreover, $$\mathcal{I}(A)_{left}^{\parallel D, E}=\{ \left[ D_1(E_2AD_1)^\dag + 
    Y(I_s-(E_2AD_1)( E_2AD_1)^\dag) \right]E_2: Y \in {\mathbbmss{C}}_{m,s} \},$$ where $s=\operatorname{rk}(E)$.

Let $r=\operatorname{rk}(D)$ and $s=\operatorname{rk}(E)$. According to [@PO Theorem 1], $D_2D_2^\dag = I_r$, $E_2E_2^\dag = I_s$, $D_1^\dag D_1=I_r$ and $E_1^\dag E_1=I_s$. In addition, since $$\operatorname{rk}(EAD) = \operatorname{rk}(E_1E_2AD_1D_2) \leq \operatorname{rk}(E_2 A D_1) \leq \operatorname{rk}(E_1^\dag E_1 E_2 A D_1 D_2 D_2^\dag)
\leq \operatorname{rk}(EAD),$$ $\operatorname{rk}(EAD)=\operatorname{rk}(E_2AD_1)$. According to Theorem \[thm301\] (iii), $A$ has a right $(D,E)$-inverse if and only if $\operatorname{rk}(E_2)=\operatorname{rk}(E)=\operatorname{rk}(EAD)=\operatorname{rk}(E_2AD_1)$.

Let $A \in({{\mathbbmss{C}}_{n,m}})^{\parallel D, E}_{right}$ and consider $B\in\mathcal{I}(A)_{right}^{\parallel D, E}$, i.e., $EAB=E$ and ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$. Since $E_1E_2AB=E_1E_2$, multiplying by $E_1^\dag$ on the left hand side of this equation, $E_2AB=E_2$. In addition, since ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$, there exists $M \in {\mathbbmss{C}}_n$ such that $B=DM$. Therefore, $E_2AD_1(D_2M)=E_2$, and according to [@penrose Theorem 2], there exists $Y \in {\mathbbmss{C}}_{r,n}$ such that $D_2M= (E_2AD_1)^\dag E_2 + \left[I_r-(E_2AD_1)^\dag (E_2AD_1)\right]Y$. Thus, $B=DM=D_1D_2M$ implies $$B = D_1 \left[ 
(E_2AD_1)^\dag E_2 + \left(I_r-(E_2AD_1)^\dag E_2AD_1\right)Y\right].$$ Now suppose that $B \in {\mathbbmss{C}}_{m,n}$ has this form. Observe that $B=D_1Z$ for some matrix $Z$. Thus, $B=D_1D_2D_2^\dag Z = DD_2^\dag Z$ implies that ${\mathcal{R}}(B) \subseteq {\mathcal{R}}(D)$. In addition, $$EAB = E_1E_2AD_1 \left[ 
(E_2AD_1)^\dag E_2 + \left(I_r-(E_2AD_1)^\dag E_2AD_1\right)Y \right]
= E_1E_2AD_1 (E_2AD_1)^\dag E_2.$$ Since $\operatorname{rk}(E_2AD_1)=\operatorname{rk}(E_2)$ and ${\mathcal{R}}(E_2AD_1) \subseteq {\mathcal{R}}(E_2)$, ${\mathcal{R}}(E_2AD_1)={\mathcal{R}}(E_2)$. Therefore, $E_2AD_1 (E_2AD_1)^\dag = P_{{\mathcal{R}}(E_2AD_1)} = P_{{\mathcal{R}}(E_2)}$, which implies $E_2AD_1 (E_2AD_1)^\dag E_2=E_2$. Thus, $EAB=E_1E_2=E$. In particular, $B\in \mathcal{I}(A)_{right}^{\parallel D, E}$.

To prove statement (ii), apply Remark \[rema1200\] (i) and what has been proved.

Next two particular cases will be derived from Theorem \[th\_3.4\].

\[cor3800\] Let $D,E \in {\mathbbmss{C}}_{m,n}$ and consider $D=D_1D_2$ and $E=E_1E_2$ two full rank factorizations of $D$ and $E$, respectively. The matrix $A \in {\mathbbmss{C}}_{n,m}$ is left and right $(D, E)$-invertible if and only if $\operatorname{rk}(E_2)=\operatorname{rk}(D_1)=\operatorname{rk}(E_2AD_1)$. Moreover, in this case, $$\mathcal{I}(A)_{left}^{\parallel D, E}=\mathcal{I}(A)_{right}^{\parallel D, E}=\{D_1(E_2AD_1)^{-1} E_2\}.$$

The first statement can be derived from Theorem \[th\_3.4\].

Note that $\operatorname{rk}(D)=\operatorname{rk}(D_1)$, $\operatorname{rk}(E)=\operatorname{rk}(E_2)$ and $\operatorname{rk}(EAD)=\operatorname{rk}(E_2AD_1)$ (see the proof of Theorem \[th\_3.4\]). Then, according to Theorem \[thm33000\], $\mathcal{I}(A)_{left}^{\parallel D, E}=\mathcal{I}(A)_{right}^{\parallel D, E}$ is a singleton. In addition, according to Theorem \[th\_3.4\], $D_1(E_2AD_1)^\dag E_2\in \mathcal{I}(A)_{left}^{\parallel D, E}\cap\mathcal{I}(A)_{right}^{\parallel D, E}$. Thus, $$\mathcal{I}(A)_{left}^{\parallel D, E}=\mathcal{I}(A)_{right}^{\parallel D, E}=\{D_1(E_2AD_1)^\dag E_2\}.$$ However, since $\operatorname{rk}(E_2)=r=\operatorname{rk}(D_1)$ and $(E_2AD_1)^\dag \in{\mathbbmss{C}}_r$ is such that $\operatorname{rk}(E_2AD_1)=r$, $(E_2AD_1)^\dag=(E_2AD_1)^{-1}$.

To end this section, the case of left and right inverses along a matrix will be presented.

\[cor3900\] Let $D\in {\mathbbmss{C}}_{m,n}$ and consider $D=D_1D_2$ a full rank factorizations of $D$. The matrix $A \in {\mathbbmss{C}}_{n,m}$ is left or right invertible along $D$ if and only if $\operatorname{rk}(D_1)=\operatorname{rk}(D_2AD_1)$. Moreover, in this case the unique left inverse of $A$ along $D$ and the unique right inverse of $A$ along $D$ coincide with $D_1(D_2AD_1)^{-1} D_2$.

Apply Theorem \[thm3039\] and Corollary \[cor3800\].

The $(D, E)$-inverse of arbitrary matrices
==========================================

First of all the $(b, c)$-inverse will be extended to rectangular matrices. Compare with Definition \[def1\] and recall the observation before Definition \[def\_2.7\].

\[def3035\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. The matrix $A$ is said to be $(D, E)$-[invertible]{}, if there exist a matrix $X\in {\mathbbmss{C}}_{m,n}$ such that the following conditions hold. $$XAD=D,\hskip.3truecm EAX=E,\hskip.3truecm {\mathcal{R}}(X)\subseteq {\mathcal{R}}(D),\hskip.3truecm {\mathcal{N}}(E)\subseteq{\mathcal{N}}(X).$$

Under the same conditions as in Definition \[def3035\], note that ${\mathcal{R}}(X)\subseteq {\mathcal{R}}(D)$ (respectively ${\mathcal{N}}(E)\subseteq{\mathcal{N}}(X)$) is equivalent to ${\mathcal{R}}(X)= {\mathcal{R}}(D)$ (respectively ${\mathcal{N}}(E)\subseteq{\mathcal{N}}(X)$). In the following theorem, it will be proved that the $(D, E)$-inverse of a matrix $A$ is unique, if it exists.

\[thm3036\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  The $(D, E)$-inverse of the matrix $A$ exists.

2.  The matrix $A$ is both left and right $(D, E)$-invertible.

Furthermore, in this case, the $(D, E)$-inverse of the matrix $A$ is unique.

It is enough to prove that statement (ii) implies statement (i). To this end, apply Proposition \[pro3034\]. Proposition \[pro3034\] also proves that there is only one $(D, E)$-inverse of $A$, when it exists.

According to Theorem \[thm3036\], if the matrix $A\in {\mathbbmss{C}}_{n,m}$ has a $(D, E)$-inverse ($D,E \in {\mathbbmss{C}}_{m,n}$), then it will be denoted by $A^{\parallel (D, E)}$. In addition, note that according to Definition \[def1100\] and [@KVC Corollary 3.7], when the matrices $A$, $D$ and $E$ are square, Definition \[def3035\] reduces to the $(b, c)$-inverse ([@Drazin Definition 1.3], i.e., Definition \[def1\]). In the following remark some basic results on this inverse that can be derived from what has been proved in sections 2 and 3 will be collected.

\[rema40000\]Let $D, E \in {\mathbbmss{C}}_{m,n}$ and consider $A\in {\mathbbmss{C}}_{n,m}$.

1.  The matrix $A$ is $(D, E)$-invertible if and only if $A^*\in{\mathbbmss{C}}_{m,n}$ is $(E^*, D^*)$-invertible ($E^*$, $D^*\in{\mathbbmss{C}}_{n,m}$). Moreover, in this case $(A^*)^{\parallel (E^*, D^*)}=(A^{\parallel (D, E)})^*$. Apply Theorem \[thm3036\] and Remark \[rema1200\] (i)-(ii).

2.  Let $D', E' \in {\mathbbmss{C}}_{m,n}$ be such that ${\mathcal{R}}(D)={\mathcal{R}}(D')$ and ${\mathcal{N}}(E)={\mathcal{N}}(E')$. Necessary and sufficient for $A^{\parallel (D, E)}$ to exist is that $A^{\parallel (D', E')}$ exists. Furthermore, in this case, $A^{\parallel (D', E')}=A^{\parallel (D, E)}$. Apply Theorem \[thm3036\] and Remark \[rema1200\] (iii)-(iv).

3.  Theorem \[thm3033\] and Theorem \[thm33000\] characterize matrices $A$ such that $A^{\parallel (D, E)}$ exists.

4.  When $A$ is $(D, E)$-invertible, $A^{\parallel (D, E)}$ can be represented as in Propostion \[pro3034\], Corollary \[cor30005\] and Remark \[nota1\].

Although some results have been presented in connection to left and right $(D, E)$-inverses ($D,E \in {\mathbbmss{C}}_{m,n}$), they deserve to be considered again for the $(D, E)$-inverse. Recall that according to [@Drazin Remark 2.4] (see also [@Drazin Theorem 2.2]), when the marices $A$, $D$, $E$ are square, $A$ is $(D, E)$-invertible if and only if $\operatorname{rk}(D)=\operatorname{rk}(EAD)=\operatorname{rk}(E)$. In the following theorem this result will be extended to arbitrary matrices.

\[thm60000\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  The $(D, E)$-inverse of $A$ exists.

2.  $\operatorname{rk}(D)=\operatorname{rk}(E)=\operatorname{rk}(EAD)$.

Furthermore, in this case $A^{\parallel (D, E)}=D(EAD)^\dag E$.

Apply Theorem \[thm3036\], Proposition \[pro3034\] and Theorem \[thm33000\].

Now a corollary will be derived from Theorem \[thm60000\].

\[cor\_rank\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$ be such that ${A^{\parallel (D,E)}}$ exists. Then $\operatorname{rk}(AD)=\operatorname{rk}(EA)=\operatorname{rk}(E)=\operatorname{rk}(D)$.

Apply Theorem \[thm60000\] and Theorem \[thm3033\].

Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$. Note that the condition in Corollary \[cor\_rank\] does not imply that ${A^{\parallel (D,E)}}$ exists. In fact, consider $$A = {\left[ \begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array} \right] }, \qquad D = E = {\left[ \begin{array}{cc} 1 & 0 \\ 0 & 0 \end{array} \right] }.$$ Since $EAD = 0$ and $\operatorname{rk}(D) = \operatorname{rk}(E) = 1$, according to Theorem \[thm60000\], ${A^{\parallel (D,E)}}$ does not exist. However $$AD = {\left[ \begin{array}{cc} 0 & 0 \\ 1 & 0 \end{array} \right] }, \qquad EA = {\left[ \begin{array}{cc} 0 & 1 \\ 0 & 0 \end{array} \right] },$$ which lead to $\operatorname{rk}(AD) = 1$ and $\operatorname{rk}(EA) = 1$.

In the following theorem the $(D, E)$-inverse will be characterized using full rank factorizations.

\[thm61000\] Let $D,E \in {\mathbbmss{C}}_{m,n}$ and consider $D=D_1D_2$ and $E=E_1E_2$ two full rank factorizations of $D$ and $E$, respectively. The matrix $A \in {\mathbbmss{C}}_{n,m}$ is $(D, E)$-invertible if and only if $\operatorname{rk}(E_2)=\operatorname{rk}(D_1)=\operatorname{rk}(E_2AD_1)$. Moreover, in this case, $A^{\parallel (D, E)}=D_1(E_2AD_1)^{-1} E_2$.

Apply Theorem \[thm3036\] and Corollary \[cor3800\].

In the following corollaries two particular cases will be derived from Theoerm \[thm61000\].

\[cor\_rankbis\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$ be such that exists ${A^{\parallel (D,E)}}$ exists. The following statements hold.

1.  If the columns of $D$ are linearly independent, then ${A^{\parallel (D,E)}}= D(AD)^{-1}$.

2.  If the rows of $E$ are linearly independent, then ${A^{\parallel (D,E)}}= (EA)^{-1}E$.

If $D$ has full column rank, then $D=DI_n$ is a full rank factorization of $D$. Since ${A^{\parallel (D,E)}}$ exists, according to Theorem \[thm60000\], $\operatorname{rk}(E)=\operatorname{rk}(D)$. Consequently, $E$ has full column rank and $E=EI_n$ is a full rank factorization of $E$. Then, according to Theorem \[thm61000\], ${A^{\parallel (D,E)}}=D(AD)^{-1}$.

Apply a similar argument to prove statement (ii), using in particular the full rank factorizatons $E=I_m E$ and $D=I_mD$ and Theorem \[thm61000\].

\[c\_rank\_one\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$ be such that $\operatorname{rk}(D) =\operatorname{rk}(E)= 1$. If $D = {\mathbf{d}}_1 {\mathbf{d}}_2^*$ and $E = {\mathbf{e}}_1 {\mathbf{e}}_2^*$ (*${\mathbf{d}}_1, {\mathbf{e}}_1\in {{\mathbbmss{C}}_{m,1}}$, ${\mathbf{d}}_2, {\mathbf{e}}_2\in {{\mathbbmss{C}}_{n,1}}$) *are full rank factorizations of $D$ and $E$, respectively, then ${A^{\parallel (D,E)}}$ exists if and only if ${\mathbf{e}}_2^* A {\mathbf{d}}_1 \neq 0$. Moreover, in this case, $${A^{\parallel (D,E)}}= \frac{1}{{\mathbf{e}}_2^* A {\mathbf{d}}_1} {\mathbf{d}}_1 {\mathbf{e}}_2^*.$$**

According to Theorem \[thm61000\], the $(D, E)$-inverse of the matrix $A$ exists if and only if $\operatorname{rk}({\mathbf{d}}_1) = \operatorname{rk}({\mathbf{e}}_2^*) = \operatorname{rk}({\mathbf{e}}_2^* A {\mathbf{d}}_1)$. Therefore, ${A^{\parallel (D,E)}}$ exists if and only if $\operatorname{rk}({\mathbf{e}}_2^* A {\mathbf{d}}_1)=1$. But observe that ${\mathbf{e}}_2^* A {\mathbf{d}}_1$ is a complex number. Thus, the first part of the theorem has been proved. The expression of ${A^{\parallel (D,E)}}$ also follows from Theorem \[thm61000\].

Next an application of Theorem \[thm61000\] will lead to representations of several generalized inverses in terms of a full rank representation. The explicit expression for $A^\dagger$ is attributed to C.C. MacDufee by Ben-Israel and Greville in [@ben]. Ben-Israel and Greville report that around 1959, MacDufee was the first to point out that a full-rank factorization of $A$ leads to the mentioned formula.

\[cor61050\] Let $A \in {\mathbbmss{C}}_n$ and consider a full rank factorization $A=FG$. Then, the following statements hold.

1.  $A^\dag = G^* (F^* A G^*)^{-1}F^*$.

2.  $A$ is group invertible if and only if $GF$ is nonsingular; in this case, $A^\# = F(GF)^{-2}G$ [[(]{}]{}see [[@cline]]{}[[)]{}]{}.

3.  $A$ is core invertible if and only if $GF$ is nonsingular; in this case, ${{A}^{\tiny{\textcircled{\#}}}}=F(GF)^{-1}F^\dag$.

4.  $A$ is dual core invertible if and only if $GF$ is nonsingular; in this case, ${{A}_{\tiny{\textcircled{\#}}}}=G^\dag(GF)^{-1}G$.

5.  $A_{M,N}^\dag = N^{-1}G^* (F^*MAN^{-1}G^*)^{-1}F^*M$, where $M$ and $N$ are nonsingular and positive.

Observe that $A^*=G^*F^*$ is a full rank factorization of $A^*$.

Recall that according to [@Drazin p. 1912], $A$ is Moore-Penrose invertible if and only if $A$ is $(A^*, A^*)$-invertible and in this case $A^\dag=A^{\parallel (A^*, A^*)}$. Now apply Theorem \[thm61000\] with $D=E=A^*=G^*F^*$.

According to [@Drazin p. 1910], $A$ is group invertible if and only if $A$ is $(A, A)$-invertible and in this case $A^\#=A^{\parallel (A, A)}$. According to Theorem \[thm61000\], $A$ is group invertible if and only if $\operatorname{rk}(G)=\operatorname{rk}(F)=\operatorname{rk}(GFGF)$. Thus, if $r=\operatorname{rk}(A)$, then $GF\in{\mathbbmss{C}}_r$ is invertible. To prove the formula representing $A^\#$, apply Theorem \[thm61000\] with $D=E=A=FG$.

Recall that according to [@bt p. 684], $A$ is core invertible if and only if it is group invertible. Thus, according to what has been proved, the first part of statement (iii) holds. In addition, according to [@rdd Theorem 4.4] (i), necessary and sufficient for $A$ to be core invertible is that $A$ is $(A, A^*)$-invertible and in this case ${{A}^{\tiny{\textcircled{\#}}}}=A^{\parallel (A, A^*)}$. Now, apply Theorem \[thm61000\] with $D=A=FG$ and $E=A^*=G^*F^*$. Observe however first that if $r=\operatorname{rk}(A)$, then $F^*F\in {\mathbbmss{C}}_r$ is such that $\operatorname{rk}(F^*F)=\operatorname{rk}(F)=r$, and recall that $(F^*F)^{-1}F^*=F^\dag$ ([@PO Theorem 1]). Then, $${{A}^{\tiny{\textcircled{\#}}}} = A^{\parallel (A, A^*)} = F(F^*FGF)^{-1} F^* = F(GF)^{-1}(F^*F)^{-1}F^*=F(GF)^{-1}F^\dag.$$

Note that $A$ is dual core dual invertible if and only if $A^*$ is core invertible and ${{A}_{\tiny{\textcircled{\#}}}}=[{{(A^*)}^{\tiny{\textcircled{\#}}}}]^*$. Thus, the first part of statement (iv) can be derived from what has been proved and $${{A}_{\tiny{\textcircled{\#}}}}=[{(G^*(F^*G^*)^{-1}(G^*)^\dag)}]^*=G^\dag(GF)^{-1}G.$$

According to [@bb Theorem 3.2], $A$ is weighted Moore-Penrose invertible with weights $M$ and $N$ if and only if $A$ is invertible along $N^{-1} A^* M$. In addition, according to [@Drazin Definition 6.1], this is equivalent to the fact that $A$ is $(N^{-1} A^* M, N^{-1} A^* M)$-invertible. Now apply Theorem \[thm61000\] with $D=E=N^{-1} A^* M$ and consider the full rank factorization $N^{-1} A^* M=(N^{-1}G^*)(F^*M)$.

To end this section, the set of all matrices $A\in {\mathbbmss{C}}_{n,m}$ such that they are $(D, E)$-invertible will be studied ($D$, $E \in {\mathbbmss{C}}_{m,n}$). First some notation need to be introduced.

Given $D$, $E \in {\mathbbmss{C}}_{m,n}$, let ${{\mathbbmss{C}}_{n,m}}^{\parallel D, E}$ denote the set of all matrices $A\in {\mathbbmss{C}}_{n,m}$ such that the $(D, E)$-inverse of $A$ exists, i.e., $${{\mathbbmss{C}}_{n,m}}^{\parallel D, E}=\{A\in {\mathbbmss{C}}_{n,m}\colon A^{\parallel (D, E)}\hbox{ exists }\}.$$

\[thm4001\] Let $D$, $E \in {\mathbbmss{C}}_{m,n}$. Necessary and sufficient for ${{\mathbbmss{C}}_{n,m}}^{\parallel D, E}\neq\emptyset$ is that $\operatorname{rk}(E)=\operatorname{rk}(D)$. Moreover, in this case, ${{\mathbbmss{C}}_{n,m}}^{\parallel D, E} = 
({{\mathbbmss{C}}_{n,m}})_{left}^{\parallel D, E}=({{\mathbbmss{C}}_{n,m}})_{right}^{\parallel D, E}$.

Apply Theorem \[thm3036\] and Corollary \[cor3050\].

Observe that Corollary \[cor30005\] gives an explicit representation of ${{\mathbbmss{C}}_{n,m}}^{\parallel D, E}$.

Invertible matrices along a fixed matrix
========================================

Now the case $D=E$ will be considered. Compare with Definition \[def1000\] and recall the observation before Definition \[def\_2.7\].

\[def3037\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$. The matrix $A$ is said to be [invertible along the matrix]{} $D$, if there exists a matrix $X\in {\mathbbmss{C}}_{m,n}$ such that the following conditions hold. $$XAD=D=DAX,\qquad {\mathcal{R}}(X)\subseteq {\mathcal{R}}(D),\qquad {\mathcal{N}}(D)\subseteq{\mathcal{N}}(X).$$

According to Theorem \[thm3036\], if the inverse of the matrix $A\in {\mathbbmss{C}}_{n,m}$ along the matrix $D\in {\mathbbmss{C}}_{m,n}$ exists, then it is unique and it will be denoted by $A^{\parallel D}$. In addition, when $A$ and $D$ are square matrices, since according to [@Drazin Proposition 6.1], the inverse of $A$ along $D$ coincides with the $(D, D)$-inverse of $A$, Definition \[def3037\] reduces to the notion of the inverse along an element in a ring of square matrices ([@Mary Definition 4], i.e., Definition \[def1000\]). Moreover, under the same conditions as in Definition \[def3037\], note that ${\mathcal{R}}(X)\subseteq {\mathcal{R}}(D)$ (respectively ${\mathcal{N}}(D)\subseteq{\mathcal{N}}(X)$) is equivalent to ${\mathcal{R}}(X)={\mathcal{R}}(D)$ (respectively ${\mathcal{N}}(D)={\mathcal{N}}(X)$). Now characterizations of the inverse along a matrix will be given.

\[thm4100\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D \in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  The matrix $A$ is left invertible along $D$.

2.  The matrix $A$ is right invertible along $D$.

3.  The matrix $A$ is invertible along $D$.

Apply Theorem \[thm3036\] and Theorem \[thm3039\].

In the following remark several results on this inverse that can be derived from what has been proved in sections 2, 3 and 4 will be collected.

\[rema41000\]Let $D\in {\mathbbmss{C}}_{m,n}$ and consider $A\in {\mathbbmss{C}}_{n,m}$.

1.  The matrix $A$ is invertible along $D$ if and only if $A^*\in{\mathbbmss{C}}_{m,n}$ is invertible along $D^*\in{\mathbbmss{C}}_{n,m}$. Moreover, in this case $(A^*)^{\parallel  D^*}=(A^{\parallel D)})^*$. Apply Remark \[rema40000\] (i) to the case $E=D$.

2.  Let $D' \in {\mathbbmss{C}}_{m,n}$ be such that ${\mathcal{R}}(D)={\mathcal{R}}(D')$ and ${\mathcal{N}}(D)={\mathcal{N}}(D')$. Necessary and sufficient for $A^{\parallel D}$ to exists is that $A^{\parallel D'}$ exists. Furthermore, in this case, $A^{\parallel D'}=A^{\parallel D}$. Apply Remark \[rema40000\] (ii) to the case $E=D$.

3.  Theorem \[thm3038\] and Theorem \[thm3039\] characterize matrices $A$ such that $A^{\parallel D}$ exists. Compare Theorem \[thm3039\] (v)-(vi) with [@Mary Theorem 7] and [@MP Theorem 2.1].

4.  When $A$ is invertible along $D$, $A^{\parallel D}$ can be represented as in Corollary \[cor31000\] and Corollary \[cor30200\].

5.  According to Remark \[nota1\] applied to the case $D=E$, another representation of $A^{\parallel D}$, when it exists, is the following. In the decomposition ${\mathbbmss{C}}^n={\mathcal{N}}(D)\oplus\mathcal{X}$, it holds that $${\mathcal{N}}(A^{\| D}) = {\mathcal{N}}(D), \qquad A^{\| D} {\mathbf{y}}= \phi^{-1}({\mathbf{y}}), \ {\mathbf{y}}\in \mathcal{X},$$ where $\phi\colon{\mathcal{R}}(D)\to\mathcal{X}$ is the map of Theorem \[th\_3.5\].

6.  According to Corollary \[cor\_rank\] applied to the case $D=E$, if $A^{\parallel D}$ exists, then $\operatorname{rk}(AD)=\operatorname{rk}(DA)=\operatorname{rk}(D)$.

Some results, however, deserve to be presented separately.

\[cor70000\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D \in {\mathbbmss{C}}_{m,n}$. The following statements are equivalent.

1.  $A$ is invertible along $D$.

2.  $\operatorname{rk}(D)=\operatorname{rk}(DAD)$.

Furthermore, in this case $A^{\parallel D}=D(DAD)^\dag D$.

Apply Theorem \[thm60000\] for the case $D=E$.

\[cor71000\] Let $D\in {\mathbbmss{C}}_{m,n}$ and consider $D=D_1D_2$ a full rank factorizations of $D$. The matrix $A \in {\mathbbmss{C}}_{n,m}$ is invertible along $D$ if and only if $\operatorname{rk}(D_1)=\operatorname{rk}(D_2AD_1)$. Moreover, in this case, $A^{\parallel D}=D_1(D_2AD_1)^{-1} D_2$.

Apply Theorem \[thm61000\] for the case $D=E$.

\[cor\_rankbister\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D \in {{\mathbbmss{C}}_{m,n}}$.

1.  Suppose that the columns of $D$ are linearly independent. Necessary and sufficient for $A^{\parallel D}$ to exists is that $AD\in{\mathbbmss{C}}_n$ is nonsingular. Moreover, in this case, $A^{\parallel D} = D(AD)^{-1}$.

2.  Suppose that the rows of $D$ are linearly independent. The inverse of $A$ along $D$ exists if and only if $DA\in{\mathbbmss{C}}_m$ is invertible. Moreover, in this case, $A^{\parallel D} = (DA)^{-1}D$.

Suppose that the columns of $D$ are linearly independent. According to Theorem \[thm4100\] and Theorem \[thm3039\] (v), the characterization of the inverse of $A$ along $D$ holds. To prove the formula that represents $A^{\parallel D}$, apply Corollary \[cor\_rankbis\] (i).

To prove statement (ii), apply a similar argument to the one used to prove statement (i), using in particular Theorem \[thm3039\] (vi) and Corollary \[cor\_rankbis\] (ii).

\[c\_rank\_oneter\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D \in {{\mathbbmss{C}}_{m,n}}$. If $\operatorname{rk}(D)= 1$, then $A^{\parallel D}$ exists if and only if $\operatorname{tr}(AD) \neq 0$. Moreover, in this case, $$A^{\parallel D}=\frac{1}{{\rm tr}(AD)}D.$$

Let $D = {\mathbf{d}}_1 {\mathbf{d}}_2^*$ (${\mathbf{d}}_1\in {{\mathbbmss{C}}_{m,1}}$ and ${\mathbf{d}}_2\in {{\mathbbmss{C}}_{n,1}}$) be a full rank factorization of $D$, According to Corollary \[c\_rank\_one\] applied to the case $D=E$, ${\mathbf{d}}_2^* A {\mathbf{d}}_1 = \operatorname{tr}({\mathbf{d}}_2^* A {\mathbf{d}}_1) = \operatorname{tr}(A {\mathbf{d}}_1 {\mathbf{d}}_2^*) = \operatorname{tr}(AD)$.

Let ${{\mathbbmss{C}}_{n,m}}^{\parallel D}$ stand for the set of all matrices $A\in {\mathbbmss{C}}_{n,m}$ such that $A$ is invertible along $D$, i.e., $${{\mathbbmss{C}}_{n,m}}^{\parallel D}=\{A\in {\mathbbmss{C}}_{n,m}\colon A^{\parallel D}\hbox{ exists }\}.$$ The following corollary proves that the set under consideration is nonempty.

\[cor4002\]Let $D \in {\mathbbmss{C}}_{m,n}$. Then, ${{\mathbbmss{C}}_{n,m}}^{\parallel D}\neq\emptyset$.

Apply Theorem \[thm4100\], Corollary \[cor305\] and Corollary \[cor30200\].

Observe that Corollary \[cor30200\] gives an explicit representation of ${{\mathbbmss{C}}_{n,m}}^{\parallel D}$.

Outer and inner inverses
========================

In the following theorem it will be proved that the notion introduced in Definition \[def3035\] is an outer inverse.

\[outer\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D,E \in {\mathbbmss{C}}_{m,n}$. If $A$ is $(D, E)$-invertible, then $A^{\parallel (D, E)}$ is an outer inverse of $A$.

According to Definition \[def3035\], since ${\mathcal{R}}(A^{\parallel (D, E)})\subseteq{\mathcal{R}}(D)$, there exists $M \in {\mathbbmss{C}}_n$ such that $A^{\parallel (D, E)}=DM$. Thus, $A^{\parallel (D, E)} A A^{\parallel (D, E)}=A^{\parallel (D, E)} A DM = DM =A^{\parallel (D, E)}$.

\[corouter\] Let $A \in {\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$. If $A$ is invertible along $D$, then $A^{\parallel D}$ is an outer inverse of $A$.

Apply Theorem \[outer\] for the case $D=E$.

Given $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$ such that ${A^{\parallel (D,E)}}$ exists, according to Corollary \[cor30200\] and Theorem \[thm60000\], $$\operatorname{rk}({A^{\parallel (D,E)}}) = \operatorname{rk}(D)=\operatorname{rk}(E) \leq \operatorname{rk}(A).$$ In particular, when $A$, $D$ and $E$ are square matrices, ${A^{\parallel (D,E)}}$ is nonsingular if and only if $D$ or $E$ are nonsingular. In addition, if ${A^{\parallel (D,E)}}$ is nonsingular, then $A$ is nonsingular. However, if $A$ is nonsingular and $D,E$ are such that ${A^{\parallel (D,E)}}$ exists, then it may be happen that $D$, $E$, or ${A^{\parallel (D,E)}}$ are singular. For example, take $$A=I_2, \hskip.3truecm D=E={\left[ \begin{array}{cc} 1 & 0 \\ 0 & 0 \end{array} \right] }.$$ According to Theorem \[thm60000\], ${A^{\parallel (D,E)}}$ exists (${A^{\parallel (D,E)}}=D$). However, it is possible to characterize when $\operatorname{rk}(A)=\operatorname{rk}(D)$. This characterization is linked with the following observation: ${A^{\parallel (D,E)}}$ is always an outer inverse of $A$ (Theorem \[outer\]), but it is not necessarily an inner inverse of $A$. To prove this characterization some preparation is needed first.

\[thm90000\]Let $A\in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$ be such that ${A^{\parallel (D,E)}}$ exists. Then, the following statements hold.

-   ${\mathcal{R}}(D) \oplus {\mathcal{N}}(A) = {\mathcal{N}}(A {A^{\parallel (D,E)}}A-A)$.

-   $\operatorname{rk}(A) = \operatorname{rk}(D) + \operatorname{rk}(A {A^{\parallel (D,E)}}A-A)$.

-   ${\mathcal{R}}(A) + {\mathcal{N}}(E) = {\mathbbmss{C}}^n$ and ${\mathcal{R}}(A) \cap {\mathcal{N}}(E) = {\mathcal{R}}(A {A^{\parallel (D,E)}}A-A)$.

The inclusion ${\mathcal{N}}(A) \subseteq {\mathcal{N}}(A {A^{\parallel (D,E)}}A-A)$ is evident. The equality ${A^{\parallel (D,E)}}AD=D$ leads to ${\mathcal{R}}(D) \subseteq {\mathcal{N}}(A {A^{\parallel (D,E)}}A-A)$. If ${\mathbf{x}}\in {\mathcal{R}}(D) \cap {\mathcal{N}}(A)$, then there exists ${\mathbf{u}}\in {\mathbbmss{C}}^n$ such that ${\mathbf{x}}= D {\mathbf{u}}$, and therefore, ${\mathbf{x}}= D {\mathbf{u}}= {A^{\parallel (D,E)}}AD {\mathbf{u}}= {A^{\parallel (D,E)}}A {\mathbf{x}}= {\mathbf{0}}$. Thus, ${\mathcal{R}}(D)\oplus {\mathcal{N}}(A) \subseteq {\mathcal{N}}(A {A^{\parallel (D,E)}}A-A)$.

To prove the opposite inclusion, take ${\mathbf{y}}\in {\mathcal{N}}(A {A^{\parallel (D,E)}}A-A)$. Now, $A ({A^{\parallel (D,E)}}A {\mathbf{y}}- {\mathbf{y}}) = {\mathbf{0}}$ and the decomposition ${\mathbf{y}}= ({\mathbf{y}}- {A^{\parallel (D,E)}}A({\mathbf{y}})) + {A^{\parallel (D,E)}}A({\mathbf{y}})$ proves that ${\mathcal{N}}(A {A^{\parallel (D,E)}}A-A)\subseteq {\mathcal{R}}(D) \oplus {\mathcal{N}}(A)$ (because ${\mathcal{R}}({A^{\parallel (D,E)}})={\mathcal{R}}(D)$).

Statement (ii) follows from statement (i).

According to Remark \[rema40000\] (i), $(A^*)^{\parallel (E^*, D^*)}$ exists, so that, according to statement (i) applied to $A^*$, $D^*$ and $E^*$, ${\mathcal{N}}(A^*) \cap {\mathcal{R}}(E^*) = 0$. Then, $$[{\mathcal{R}}(A) + {\mathcal{N}}(E)]^\perp = {\mathcal{R}}(A)^\perp \cap {\mathcal{N}}(E)^\perp
= {\mathcal{N}}(A^*) \cap {\mathcal{R}}(E^*) = 0.$$ Therefore, ${\mathcal{R}}(A)+ {\mathcal{N}}(E) = {\mathbbmss{C}}^n$. The inclusion ${\mathcal{R}}(A {A^{\parallel (D,E)}}A-A) \subseteq {\mathcal{R}}(A) \cap {\mathcal{N}}(E)$ follows from $EA{A^{\parallel (D,E)}}=E$. According to statement (ii), Theorem \[thm60000\] and $$\begin{split} \dim ({\mathcal{R}}(A) \cap {\mathcal{N}}(E)) & = \dim {\mathcal{R}}(A) + \dim {\mathcal{N}}(E)- \dim({\mathcal{R}}(A)+{\mathcal{N}}(E))\\
& = \operatorname{rk}(A)+n-\operatorname{rk}(D)-n = \operatorname{rk}(A {A^{\parallel (D,E)}}A-A),
\end{split}$$ ${\mathcal{R}}(A {A^{\parallel (D,E)}}A-A)$ and ${\mathcal{R}}(A) \cap {\mathcal{N}}(E)$ have the same dimension. Therefore, both subspaces are equal.

The following corollary characterizes when ${A^{\parallel (D,E)}}$ is an inner inverse of $A$.

\[cor100000\] Let $A\in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$ be such that ${A^{\parallel (D,E)}}$ exists. Then, the following statements are equivalent.

-   $A{A^{\parallel (D,E)}}A=A$.

-   $\operatorname{rk}(A)=\operatorname{rk}(D)$.

-   ${\mathcal{R}}{(D)} \oplus {\mathcal{N}}{(A)} = {\mathbbmss{C}}^m$.

-   ${\mathcal{R}}{(A)} \oplus {\mathcal{N}}{(E)} = {\mathbbmss{C}}^n$.

Apply Theorem \[thm90000\].

In the next corollary the case when the inverse along an element is an inner inverse will be presented.

\[cor200000\] Let $A\in {{\mathbbmss{C}}_{n,m}}$ and $D \in {{\mathbbmss{C}}_{m,n}}$ be such that $A^{\parallel D}$ exists. Then, the following statements are equivalent.

-   $AA^{\parallel D} A=A$.

-   $\operatorname{rk}(A)=\operatorname{rk}(D)$.

-   ${\mathcal{R}}{(D)} \oplus {\mathcal{N}}{(A)} = {\mathbbmss{C}}^m$.

-   ${\mathcal{R}}{(A)} \oplus {\mathcal{N}}{(D)} = {\mathbbmss{C}}^n$.

Apply Corollary \[cor100000\] to the case $D=E$.

Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$. Since ${A^{\parallel (D,E)}}$ is an outer inverse, if it exists, ${A^{\parallel (D,E)}}A$ and $A {A^{\parallel (D,E)}}$ are idempotents. Now some properties of these idempotents will be studied.

\[propidem\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D,E \in {{\mathbbmss{C}}_{m,n}}$ be such that ${A^{\parallel (D,E)}}$ exists.

1.  ${A^{\parallel (D,E)}}A$ and $A {A^{\parallel (D,E)}}$ are idempotents, ${\mathcal{R}}({A^{\parallel (D,E)}}A) = {\mathcal{R}}(D)$, ${\mathcal{R}}(A {A^{\parallel (D,E)}}) = {\mathcal{R}}(AD)$ and $\operatorname{rk}(D) = \operatorname{rk}(A {A^{\parallel (D,E)}}) = \operatorname{rk}({A^{\parallel (D,E)}}A)=\operatorname{rk}(E)$.

2.  ${\mathcal{N}}(A {A^{\parallel (D,E)}}) = {\mathcal{N}}(E)$ and ${\mathcal{N}}({A^{\parallel (D,E)}}A) = {\mathcal{N}}(EA)$.

3.  ${\mathcal{N}}({A^{\parallel (D,E)}}A) = {\mathcal{N}}(A)$ if and only if ${A^{\parallel (D,E)}}$ is an inner inverse of $A$.

4.  ${\mathcal{R}}(A {A^{\parallel (D,E)}}) = {\mathcal{R}}(A)$ if and only if ${A^{\parallel (D,E)}}$ is an inner inverse of $A$.

5.  $A {A^{\parallel (D,E)}}$ is an orthogonal projector if and only if ${\mathcal{R}}(AD) = {\mathcal{R}}(E^*)$.

6.  ${A^{\parallel (D,E)}}A$ is an orthogonal projector if and only if ${\mathcal{R}}((EA)^*) = {\mathcal{R}}(D)$.

Since ${A^{\parallel (D,E)}}$ is an outer inverse (Theorem \[outer\]), ${A^{\parallel (D,E)}}A$ and $A{A^{\parallel (D,E)}}$are idempotents and ${\mathcal{R}}({A^{\parallel (D,E)}}A)={\mathcal{R}}({A^{\parallel (D,E)}})$. Moreover, since ${\mathcal{R}}({A^{\parallel (D,E)}})={\mathcal{R}}(D)$, according to Theorem \[thm60000\], $$\operatorname{rk}(E)=\operatorname{rk}(D)=\operatorname{rk}({A^{\parallel (D,E)}})=\operatorname{rk}({A^{\parallel (D,E)}}A).$$ In addition, according to Remark \[rema40000\] (i) and what has been proved, $\operatorname{rk}(E)=\operatorname{rk}(E^*)=\operatorname{rk}(({A^{\parallel (D,E)}})^* A^*)=\operatorname{rk}(A{A^{\parallel (D,E)}})$. Moreover, $${\mathcal{R}}(AD)={\mathcal{R}}(A{A^{\parallel (D,E)}}AD)\subseteq {\mathcal{R}}(A{A^{\parallel (D,E)}}).$$ However, since according to Corollary \[cor\_rank\], $\operatorname{rk}(AD)=\operatorname{rk}(D)=\operatorname{rk}(A{A^{\parallel (D,E)}})$, ${\mathcal{R}}(A{A^{\parallel (D,E)}})={\mathcal{R}}(AD)$.

Since ${A^{\parallel (D,E)}}$ is an outer inverse, ${\mathcal{N}}(A {A^{\parallel (D,E)}})={\mathcal{N}}({A^{\parallel (D,E)}})={\mathcal{N}}(E)$. Note that since $EA=EA{A^{\parallel (D,E)}}A$, ${\mathcal{N}}({A^{\parallel (D,E)}}A)\subseteq {\mathcal{N}}(EA)$. However, since according to Corollary \[cor\_rank\], $\operatorname{rk}(EA)=\operatorname{rk}(D)=\operatorname{rk}({A^{\parallel (D,E)}}A)$, $\dim {\mathcal{N}}({A^{\parallel (D,E)}}A)=\dim {\mathcal{N}}(EA)$. Therefore, ${\mathcal{N}}({A^{\parallel (D,E)}}A)={\mathcal{N}}(EA)$.

Naturally, ${\mathcal{N}}(A) \subseteq {\mathcal{N}}({A^{\parallel (D,E)}}A)$. Since $\dim {\mathcal{N}}({A^{\parallel (D,E)}}A) = m- \operatorname{rk}({A^{\parallel (D,E)}}A) = m-\operatorname{rk}(D)$ and $\dim {\mathcal{N}}(A) = m - \operatorname{rk}(A)$, ${\mathcal{N}}(A) = {\mathcal{N}}({A^{\parallel (D,E)}}A)$ if and only if $\operatorname{rk}(A) = \operatorname{rk}(D)$. Now apply Corollary \[cor100000\].

Note that ${A^{\parallel (D,E)}}$ is an inner inverse of $A$ if and only if $({A^{\parallel (D,E)}})^*$ is an inner inverse of $A^*$. Now, according to statement (iii), this is equivalent to ${\mathcal{N}}(({A^{\parallel (D,E)}})^* A^*)={\mathcal{N}}(A^*)$, which in turn is equivalent to ${\mathcal{R}}(A {A^{\parallel (D,E)}}) = {\mathcal{R}}(A)$.

Observe that $A{A^{\parallel (D,E)}}$ is an orthogonal projector if and only if $${\mathcal{R}}(AD)={\mathcal{R}}(A{A^{\parallel (D,E)}}) = {\mathcal{N}}(A{A^{\parallel (D,E)}})^\perp = {\mathcal{N}}(E)^\perp = {\mathcal{R}}(E^*).$$

The proof of statement (vi) follows Remark \[rema40000\] (i) and statement (v).

In the next corollary the case of the inverse along a fixed matrix will be studied.

\[coridem\_bis\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D\in {{\mathbbmss{C}}_{m,n}}$ be such that $A^{\parallel D}$ exists.

1.  $A^{\parallel D} A$ and $A A^{\parallel D}$ are idempotents, ${\mathcal{R}}(A^{\parallel D} A) = {\mathcal{R}}(D)$, ${\mathcal{R}}(A A^{\parallel D}) = {\mathcal{R}}(AD)$ and $\operatorname{rk}(D) = \operatorname{rk}(A A^{\parallel D}) = \operatorname{rk}(A^{\parallel D} A)$.

2.  ${\mathcal{N}}(A A^{\parallel D}) = {\mathcal{N}}(D)$ and ${\mathcal{N}}(A^{\parallel D} A) = {\mathcal{N}}(DA)$.

3.  ${\mathcal{N}}(A^{\parallel D} A) = {\mathcal{N}}(A)$ if and only if $A^{\parallel D}$ is an inner inverse of $A$.

4.  ${\mathcal{R}}(A A^{\parallel D}) = {\mathcal{R}}(A)$ if and only if $A^{\parallel D}$ is an inner inverse of $A$.

5.  $A A^{\parallel D}$ is an orthogonal projector if and only if ${\mathcal{R}}(AD) = {\mathcal{R}}(D^*)$.

6.  $A^{\parallel D} A$ is an orthogonal projector if and only if ${\mathcal{R}}((DA)^*) = {\mathcal{R}}(D)$.

Apply Theorem \[propidem\] to the case $D=E$.

Given $A\in{\mathbbmss{C}}_n$ such that $A$ is group invetible, according to [@bt] and [@rdd], $A {{A}^{\tiny{\textcircled{\#}}}}$ and ${{A}_{\tiny{\textcircled{\#}}}} A$ are orthogonal projectors. In the next corollaries similar properties for several generalized inverses will be characterized using Corollary \[coridem\_bis\]. Note that the following identities hold: ${\mathcal{R}}(XY) = {\mathcal{R}}(X)$ and ${\mathcal{R}}(XX^*) = {\mathcal{R}}(X)$, where $Y$ is a nonsingular matrix and $X$ is any matrix. In addition, recall that a matrix $A\in{\mathbbmss{C}}_n$ is said to be *$EP$, if $AA^\dag = A^\dag A$. It is well known that this condition is equivalent to ${\mathcal{R}}(A)={\mathcal{R}}(A^*)$.*

\[cor810000\] Consider $A\in{\mathbbmss{C}}_n$ a group invertible matrix. The following statements holds.

-   ${{A}^{\tiny{\textcircled{\#}}}} A$ is an orthogonal projector.

-   $A {{A}_{\tiny{\textcircled{\#}}}}$ is an orthogonal projector.

-   $A$ is EP.

According to Theorem \[thmA\] (i) and Theorem \[coridem\_bis\] (vi), ${{A}^{\tiny{\textcircled{\#}}}} A$ is an orthogonal projector if and only if ${\mathcal{R}}((AA^* A)^*)={\mathcal{R}}(AA^*)$. However, ${\mathcal{R}}(AA^*)={\mathcal{R}}(A)$ and ${\mathcal{R}}((AA^* A)^*)={\mathcal{R}}(A^*AA^*)={\mathcal{R}}(A^*A)={\mathcal{R}}(A^*)$.

Similarly, according to Theorem \[thmA\] (ii) and Theorem \[coridem\_bis\] (v), $A {{A}_{\tiny{\textcircled{\#}}}}$ is an orthogonal projector if and only ${\mathcal{R}}(AA^*A)={\mathcal{R}}(A^*A)$. However, ${\mathcal{R}}(A^*A)={\mathcal{R}}(A^*)$ and ${\mathcal{R}}(AA^*A)={\mathcal{R}}(AA^*)={\mathcal{R}}(A)$.

\[cor700ter\] Let $A \in {\mathbbmss{C}}_n$ and consider $M$, $N\in{\mathbbmss{C}}_n$ nonsingular and positive. The following statements hold.

-   $AA^\dag_{M,N}$ is an orthogonal projector if and only if ${\mathcal{R}}(A) ={\mathcal{R}}(MA)$. In particular, if $M=I_n$, then $AA^\dag_{M,N}$ is an orthogonal projector.

-   $A^\dag_{M,N} A$ is an orthogonal projector if and only if ${\mathcal{R}}(A^*) ={\mathcal{R}}(N^{-1} A^*)$. In particular, if $N=I_n$, then $A^\dag_{M,N} A$ is an orthogonal projector.

According to Theorem \[thmA\] (iii) and Theorem \[coridem\_bis\] (v), $A A^\dag_{M,N}$ is an orthogonal projector if and only if ${\mathcal{R}}(A N^{-1}A^* M) ={\mathcal{R}}((N^{-1}A^*M)^*)$. This last condition is equivalent to ${\mathcal{R}}(A N^{-1}A^*) = {\mathcal{R}}(M A)$. Since $N$ is nonsingular and positive, there exists a Hermitian and nonsingular matrix $Q$ such that $N^{-1} = Q^2$. Define $R=AQ$. Then, $AN^{-1}A^*= RR^*$, and thus, $${\mathcal{R}}(A N^{-1}A^*) = {\mathcal{R}}(RR^*) = {\mathcal{R}}(R) =
{\mathcal{R}}(AQ) = {\mathcal{R}}(A).$$

Similarly, according to Theorem \[thmA\] (iii) and Theorem \[coridem\_bis\] (vi), $A^\dag_{M,N} A$ is an orthogonal projector if and only if ${\mathcal{R}}((N^{-1}A^* M A)^*)={\mathcal{R}}(N^{-1}A^* M)$. This identity is equivalent to ${\mathcal{R}}(A^*MA)={\mathcal{R}}(N^{-1}A^*)$. Since $M$ is nonsingular and positive, there exists a Hermitian and nonsingular matrix $P$ such that $M=P^2$. Then $A^*MA=A^*P^*PA=(PA)^*PA$, and thus, $${\mathcal{R}}(A^*MA)={\mathcal{R}}((PA)^*PA)={\mathcal{R}}((PA)^*)={\mathcal{R}}(A^*P^*)={\mathcal{R}}(A^*).$$

The outer inverse with prescribed range and null space
======================================================

In first place the relationship between the outer inverse with prescribed range and null space and the $(D, E)$-inverse will be considered ($D$, $E\in{{\mathbbmss{C}}_{m,n}}$).

\[thm70000\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  The matrix $A$ is $(D, E)$-invertible.

2.  The outer inverse $A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(E)}$ exists.

Furthermore, in this case ${A^{\parallel (D,E)}}=A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(E)}$.

Suppose that statement (i) holds and let $H={A^{\parallel (D,E)}}$. Then, according to Theorem \[outer\], $H=HAH$. In addition, according to Definition \[def3035\], ${\mathcal{N}}(H)={\mathcal{N}}(E)$ and ${\mathcal{R}}(H)={\mathcal{R}}(D)$. In particular, $A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(E)}$ exists and $A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(E)}=H$.

Now suppose that statement (ii) holds and let $L=A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(E)}$. In particular, ${\mathcal{R}}(L) \subseteq {\mathcal{R}}(D)$ and ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(L)$. Since $L$ is an outer inverse of $A$ and ${\mathcal{R}}(L)={\mathcal{R}}(D)$, it is not difficult to prove that $LAD=D$. In addition, since $AL {\mathbf{x}}- {\mathbf{x}}\in {\mathcal{N}}(L) = {\mathcal{N}}(E)$, for all ${\mathbf{x}}\in {\mathbbmss{C}}^n$, $EAL=E$. Therefore, $L={A^{\parallel (D,E)}}$.

\[cor70011\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D \in {{\mathbbmss{C}}_{m,n}}$. The following statements are equivalent.

1.  The matrix $A$ is invertible along $D$.

2.  The outer inverse $A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(D)}$ exists.

Furthermore, in this case $A^{\parallel D}=A^{(2)}_{{\mathcal{R}}(D), {\mathcal{N}}(D)}$.

Apply Theorem \[thm70000\] to the case $D=E$.

Due to Theorem \[thm70000\], the properties of the outer inverse with prescribed range and null space can be easily proved for the $(D, E)$-inverse ($D, E \in {{\mathbbmss{C}}_{m,n}}$). Here only some of the most well known result are considered. Other results and the case of the inverse along a fixed matrix, i.e. when $D=E$, are left to the reader.

\[cor70020\]Let $A\in\mathbb{C}_{n, m}$ and $D$, $E\in\mathbb{C}_{m, n}$. ${A^{\parallel (D,E)}}$ is the unique matrix $X$ that satifies the following equations: $$XAX=X, \hskip.3truecm AX=P_{{\mathcal{R}}(AD), {\mathcal{N}}(E)}, \hskip.3truecm XA=P_{{\mathcal{R}}(D), {\mathcal{N}}(EA)}.$$

Apply Theorem \[thm70000\] and [@WW Theorem 1]. Note that, if $\mathcal{T}={\mathcal{R}}(D)$ and $\mathcal{S}={\mathcal{N}}(E)$, then $A(\mathcal{T})={\mathcal{R}}(AD)$ and $(A^*(\mathcal{S}^{\perp}))^{\perp}={\mathcal{N}}(EA)$.

\[cor70030\] Let $A\in\mathbb{C}_{n, m}$ and $D$, $E\in\mathbb{C}_{m, n}$. Suppose that there exists $G\in \mathbb{C}_{m, n}$ such that ${\mathcal{R}}(G)={\mathcal{R}}(D)$ and ${\mathcal{N}}(G)={\mathcal{N}}(E)$. If $A^{\parallel (D, E)}$ exists, then $AG\in {\mathbbmss{C}}_m$ and $GA\in {\mathbbmss{C}}_n$ are group invertible and $$A^{\parallel (D, E)}= G(AG)^\#=(GA)^\# G=[GA\mid_{{\mathcal{R}}(G)}]^{-1}G.$$

Apply Theorem \[thm70000\], [@W Theorem 2.1] and [@W Theorem 2.3].

\[cor70040\] Let $A\in\mathbb{C}_{n, m}$ and $D$, $E\in\mathbb{C}_{m, n}$. Suppose that there exists $G\in \mathbb{C}_{m, n}$ such that ${\mathcal{R}}(G)={\mathcal{R}}(D)$ and ${\mathcal{N}}(G)={\mathcal{N}}(E)$. If $A^{\parallel (D, E)}$ exists, then $$A^{\parallel (D, E)}=\lim_{\epsilon\to 0} (GA-\epsilon I_m)^{-1}G=\lim_{\epsilon\to 0} G(AG-\epsilon I_n)^{-1}.$$

Apply Theorem \[thm70000\] and [@W Theorem 2.4].

\[cor70050\] Let $A\in\mathbb{C}_{n, m}$ and $D$, $E\in\mathbb{C}_{m, n}$. Suppose that there exists $G\in \mathbb{C}_{m, n}$ such that ${\mathcal{R}}(G)={\mathcal{R}}(D)$ and ${\mathcal{N}}(G)={\mathcal{N}}(E)$. If $A^{\parallel (D, E)}$ exists, then $$A^{\parallel (D, E)}=\int_0^\infty {\rm exp}[-G(GAG)^*GAt]G(GAG)^*Gdt.$$

Apply Theorem \[thm70000\] and [@WD Theorem 2.2].

\[cor70060\] Let $A\in\mathbb{C}_{n, m}$ and $D$, $E\in\mathbb{C}_{m, n}$. Suppose that there exists $G\in \mathbb{C}_{m, n}$ such that ${\mathcal{R}}(G)={\mathcal{R}}(D)$ and ${\mathcal{N}}(G)={\mathcal{N}}(E)$. If $A^{\parallel (D, E)}$ exists and the nonzero spectrum of $GA$ lies in the open left half plane, then $$A^{\parallel (D, E)}=-\int_0^\infty {\rm exp} (GAt)Gdt.$$

Apply Theorem \[thm70000\] and [@W2].

Continuity and differentiability
================================

First of all note that if $A\in\mathbb{C}_{n, m}$ and $D$, $E\in \mathbb{C}_{m, n}$ are such that $A^{\parallel (D, E)}$ exists and $D'$, $E'\in\mathbb{C}_{n, m}$ are such that $D=DD'D$ and $E=EE'E$, then according to Definition \[def3035\], $DD'A^{\parallel (D, E)}=A^{\parallel (D, E)}$ (because ${\mathcal{R}}(A^{\parallel (D, E)})\subseteq {\mathcal{R}}(D)$) and $A^{\parallel (D, E)}=A^{\parallel (D, E)}E'E$. The last idendity can be easily derived from the fact that there exists a matrix $N\in \mathbb{C}_{m, m}$ such that $A^{\parallel (D, E)}=NE$ (because ${\mathcal{N}}(E)\subseteq{\mathcal{N}}({A^{\parallel (D,E)}})$).

In order to characterize the continuity of the $(D, E)$-inverse, a technical lemma is needed.

\[lem6000\] Let $A$, $B\in\mathbb{C}_{n, m}$ and $D$, $E$, $F$, $G\in \mathbb{C}_{m, n}$ be such that $A^{\parallel (D, E)}$ and $B^{\parallel (F, G)}$ exist. Let $D'$, $E'$, $F'$ and $G'\in \mathbb{C}_{n, m}$ be such that $D=DD'D$, $E=EE'E$, $F=FF'F$ and $G=GG'G$. Then $$\begin{split}
B^{\parallel (F, G)}-A^{\parallel (D, E)} & = 
B^{\parallel (F, G)}(G'G-E'E)(I_n-AA^{\parallel (D, E)}) + 
B^{\parallel (F, G)}(A-B)A^{\parallel (D, E)} \\
& \phantom{=} + (I_m-B^{\parallel (F, G)}B)(FF'-DD')A^{\parallel (D, E)}.\\
\end{split}$$

Since $DD'A^{\| (D, E)}=A^{\| (D, E)}$ and $B^{\| (F, G)}BF=F$, then $$\begin{split}
B^{\| (F, G)}BA^{\| (D, E)}-A^{\| (D, E)}&=-(I_m-B^{\| (F, G)}B)DD'A^{\| (D, E)} \\
&=[(I_m-B^{\| (F, G)}B)FF'-(I_m-B^{\| (F, G)}B)DD']A^{\| (D, E)}\\
&=(I_m-B^{\| (F, G)}B)(FF'-DD')A^{\| (D, E)}.\\
\end{split}$$

In addition, since $B^{\| (F, G)}=B^{\| (F, G)}G'G$ and $EAA^{\| (D, E)}=E$, $$\begin{split}
B^{\| (F, G)}-B^{\| (F, G)}AA^{\| (D, E)} & = B^{\| (F, G)}G'G(I_n-AA^{\| (D, E)}) \\
&=B^{\| (F, G)}[G'G(I_n-AA^{\| (D, E)})-E'E(I_n-AA^{\| (D, E)})]\\
&=B^{\| (F, G)}(G'G-E'E)(I_n-AA^{\| (D, E)}).\\
\end{split}$$ Thus, $$\begin{split}
B^{\| (F, G)}-A^{\| (D, E)} & = 
B^{\| (F, G)}(G'G-E'E)(I_n-AA^{\| (D, E)}) +B^{\| (F, G)}AA^{\| (D, E)}\\
& \phantom{=} + (I_m-B^{\| (F, G)}B)(FF'-DD')A^{\| (D, E)}-B^{\| (F, G)}BA^{\| (D, E)}\\
& = B^{\| (F, G)}(G'G-E'E)(I_n-AA^{\| (D, E)})+ B^{\| (F, G)}(A-B)A^{\| (D, E)} \\
& \phantom{=} +(I_m-B^{\| (F, G)}B)(FF'-DD')A^{\| (D, E)}.\\
\end{split}$$

Next a result regarding the continuity of the $(D, E)$-inverse will be presented.

\[thm6001\] Let $A\in{\mathbbmss{C}}_{n,m}$ and $D, E\in {\mathbbmss{C}}_{m,n}$ be such that $A^{\| (D,E)}$ exists and consider $(A_k)_{k\in{\mathbbmss{N}}} \subset {\mathbbmss{C}}_{n,m}$ and $(D_k)_{n\in{\mathbbmss{N}}}$, $(E_k)_{n\in{\mathbbmss{N}}} \subset {\mathbbmss{C}}_{m,n}$ such that $A_k^{\| (D_n, E_n)}$ exists for each $k\in{\mathbbmss{N}}$. Let $D', E' \in {\mathbbmss{C}}_{n, m}$ and $(D'_k)_{n\in{\mathbbmss{N}}}$, $(E'_n)_{n\in{\mathbbmss{N}}}\subset {\mathbbmss{C}}_{n,m}$ be such that $D=DD'D$, $E=EE'E$, $D_k=D_kD'_k D_k$ and $E_k=E_kE'_kE_k$, for each $k\in{\mathbbmss{N}}$. Suppose that $(A_k)_{k\in{\mathbbmss{N}}}$, $(D_kD'_k)_{k\in{\mathbbmss{N}}}$ and $(E'_kE_k)_{k\in{\mathbbmss{N}}}$ converge to $A$, $DD'$ and $E'E$, respectively. Then, the following statememts are equivalent.

1.  $(A_k^{\| (D_k, E_k)})_{k\in{\mathbbmss{N}}}$ converges to $A^{\parallel (D, E)}$.

2.  The sequence $(A_k^{\| (D_k, E_k)})_{k\in{\mathbbmss{N}}}\subset {\mathbbmss{C}}_{n, m}$ is bounded.

Apply Lemma \[lem6000\].

If the Moore-Penrose inverse is used, then a more general result can be presented.

\[thm6002\] Let $A\in{\mathbbmss{C}}_{n, m}$ and $D, E\in {\mathbbmss{C}}_{m, n}$ be such that $A^{\| (D,E)}$ exists and consider $(A_k)_{k\in{\mathbbmss{N}}}\subset {\mathbbmss{C}}_{n,m}$ and $(D_k)_{k\in{\mathbbmss{N}}}$, $(E_k)_{n\in{\mathbbmss{N}}} \subset {\mathbbmss{C}}_{m,n}$ such that $A_k^{\| (D_k, E_k)}$ exists for each $k\in{\mathbbmss{N}}$. Suppose that $(A_k)_{k\in{\mathbbmss{N}}}$ converges to $A$. Then, the following statememts are equivalent.

1.  $(A_k^{\| (D_k, E_k)})_{k\in{\mathbbmss{N}}}$ converges to $A^{\parallel (D, E)}$.

2.  The sequences $(D_k^\dag)_{k\in{\mathbbmss{N}}}$ and $(E_k^\dag)_{k\in{\mathbbmss{N}}}$ converge to $D^\dag$ and $E^\dag$, respectively, and the sequence $(A_k^{\| (D_k, E_k)})_{k\in{\mathbbmss{N}}}\subset {\mathbbmss{C}}_{n, m}$ is bounded.

Suppose that $(A_k^{\| (D_k,E_k)})_{k\in{\mathbbmss{N}}}$ converges to $A^{\| (D, E)}$. Then, $(A_k^{\| (D_k, E_k)}A_k)_{k\in{\mathbbmss{N}}}$ converges to $A^{\| (D, E)}A$. Consequently, $$\lim_{k\to\infty} \operatorname{tr}(A_k^{\| (D_k, E_k)}A_k)=\operatorname{tr}(A^{\| (D, E)}A).$$ Since $A^{\| (D, E)}$ is an outer inverse (Theorem \[outer\]), $A^{\| (D, E)}A$ is an idempotent. Thus, $$\operatorname{tr}(A^{\| (D, E)}A)=\operatorname{rk}(A^{\| (D, E)}A)=\operatorname{rk}(A^{\| (D, E)}).$$ Similarly, $\operatorname{tr}(A_k^{\| (D, E)}A)=\operatorname{rk}(A_k^{\| (D, E)})$, for $k\in{\mathbbmss{N}}$. As a result, for sufficiently large $k\in{\mathbbmss{N}}$, $\operatorname{rk}(A_k^{\| (D,E)})=\operatorname{rk}(A^{\| (D, E)})$. However, according to Theorem \[thm60000\] $$\operatorname{rk}(D_k)=\operatorname{rk}(E_k)=\operatorname{rk}(A_k^{\| (D, E)})=\operatorname{rk}(A^{\| (D, E)})=\operatorname{rk}(D)=\operatorname{rk}(E).$$ Therefore, according to [@S], $(D_k^\dag)_{k\in{\mathbbmss{N}}}$ converges to $D^\dag$ and $(E_k^\dag)_{k\in{\mathbbmss{N}}}$ to $E^\dag$. The remaining part of statement (ii) is evident.

If statement (ii) holds, then apply Theorem \[thm6001\] with $D'=D^\dag$ and $E'=E^\dag$, $k\in{\mathbbmss{N}}$.

In the following corollary, the case of the inverse along a matrix will be considered.

\[thm6003\] Let $A\in{\mathbbmss{C}}_{n,m}$ and $D\in {\mathbbmss{C}}_{m,n}$ be such that $A^{\| D}$ exists and consider $(A_k)_{k\in{\mathbbmss{N}}} \subset {\mathbbmss{C}}_{n,m}$ and $(D_k)_{k\in{\mathbbmss{N}}}\subset {\mathbbmss{C}}_{m, n}$ such that $A_k^{\| D_k}$ exists for each $k\in{\mathbbmss{N}}$. Suppose that $(A_k)_{k\in{\mathbbmss{N}}}$ converges to $A$. Then, the following statememts are equivalent.

1.  $(A_k^{\| D_k})_{k\in{\mathbbmss{N}}}$ converges to $A^{\parallel D}$.

2.  The sequences $(D_k^\dag)_{k\in{\mathbbmss{N}}}$ converges to $D^\dag$ and the sequence $(A_k^{\| D_k})_{k\in{\mathbbmss{N}}}\subset {\mathbbmss{C}}_{n,m}$ is bounded.

Apply Theorem \[thm6002\] for the case $D=E$.

Now the differentiability will be studied.

\[thm6004\] Let $J \subseteq {\mathbbmss{R}}$ be an open set and consider $t_0 \in J$. Let functions $ \mathcal{A}\colon J  \to {\mathbbmss{C}}_{n,m}$ and $\mathcal{D}$, $\mathcal{E}\colon J \to {\mathbbmss{C}}_{m,n}$ be such that $\mathcal{A}(t)$ is $(\mathcal{D}(t), \mathcal{E}(t))$-invertible, for any $t \in J$, and $\mathcal{A}$, $\mathcal{D}$ and $\mathcal{E}$ are differentiable at $t_0$. Suppose that $f\colon J\to {\mathbbmss{C}}_{m,n}$, $f(t)= \mathcal{A}(t)^{\| (\mathcal{D}(t),\mathcal{E}(t))}$, is a bounded function in $J$ and that the functions $\mathcal{D}$, $\mathcal{E}$ have local constant rank in $J$. Then, the function $f$ is differentiable at $t_0$ and $$\begin{aligned}
f'(t_0)&=\mathcal{A}(t_0)^{\| (\mathcal{D}(t_0), \mathcal{E}(t_0))}\left[\mathcal{G}'(t_0)\mathcal{E}(t_0)+\mathcal{G}(t_0)\mathcal{E}'(t_0)\right]
\left[I_n - \mathcal{A}(t_0) \mathcal{A}(t_0)^{\parallel (\mathcal{D}(t_0),\mathcal{E}(t_0))} \right] \\
&\phantom{=} + \left[I_n - \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}\mathcal{A}(t_0) \right]\left[\mathcal{D}'(t_0)\mathcal{F}(t_0)+\mathcal{D}(t_0)\mathcal{F}'(t_0)\right]
\mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}\\
&\phantom{=} + \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}\mathcal{A}'(t_0) \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))},\end{aligned}$$ where $\mathcal{F}$, $\mathcal{G}\colon J\to {\mathbbmss{C}}_{n,m}$ are the functions $\mathcal{F}(t)=(\mathcal{D}(t))^\dag$ and $\mathcal{G}(t)=(\mathcal{E}(t))^\dag$.

Observe that according to Lemma \[lem6000\], for any $t \in J$, $$\begin{split}
f(t)-f(t_0)  & =  \mathcal{A}(t)^{\parallel (\mathcal{D}(t), \mathcal{E}(t))} \left[\mathcal{E}(t)^\dag \mathcal{E}(t) - \mathcal{E}(t_0)^\dag \mathcal{E}(t_0)\right] 
\left[I_n - \mathcal{A}(t_0) \mathcal{A}(t_0)^{\parallel (\mathcal{D}(t_0),\mathcal{E}(t_0))} \right] \\ 
& \phantom{=} + 
\left[I_n - \mathcal{A}(t)^{\| (\mathcal{D}(t),\mathcal{E}(t))}\mathcal{A}(t) \right] \left[ \mathcal{D}(t)\mathcal{D}(t)^\dag - \mathcal{D}(t_0)\mathcal{D}(t_0)^\dag \right] 
\mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))} \\ 
& \phantom{=}   + \mathcal{A}(t)^{\parallel (\mathcal{D}(t),\mathcal{E}(t))} \left[\mathcal{A}(t_0)-\mathcal{A}(t) \right] \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}. \\
\end{split}$$ Now, according to [@S], the functions $\mathcal{F}$, $\mathcal{G}\colon J\to {\mathbbmss{C}}_{n,m}$, $\mathcal{F}(t)=(\mathcal{D}(t))^\dag$ and $\mathcal{G}(t)=(\mathcal{E}(t))^\dag$ are continuous. Consequently, according to Theorem \[thm6003\], $$\lim_{t \to t_0}\mathcal{A}(t)^{\parallel (\mathcal{D}(t),\mathcal{E}(t))}  \frac{\left[\mathcal{A}(t_0)-\mathcal{A}(t) \right]}{t-t_0} \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}=
 \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}\mathcal{A}'(t_0) \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}.$$ In addition, according to [@GP], the functions $\mathcal{F}$, $\mathcal{G}\colon J\to {\mathbbmss{C}}_{n,m}$ are also differentiable. Thus

$$\begin{split}
\lim_{t \to t_0}&\mathcal{A}(t)^{\parallel (\mathcal{D}(t), \mathcal{E}(t))} \frac{\left[\mathcal{E}(t)^\dag \mathcal{E}(t) - \mathcal{E}(t_0)^\dag \mathcal{E}(t_0)\right]}{t-t_0} 
\left[I_n - \mathcal{A}(t_0) \mathcal{A}(t_0)^{\parallel (\mathcal{D}(t_0),\mathcal{E}(t_0))} \right] =\\ 
&\mathcal{A}(t_0)^{\parallel (\mathcal{D}(t_0), \mathcal{E}(t_0))}\left[\mathcal{G}'(t_0)\mathcal{E}(t_0)+\mathcal{G}(t_0)\mathcal{E}'(t_0)\right]
\left[I_n - \mathcal{A}(t_0) \mathcal{A}(t_0)^{\parallel (\mathcal{D}(t_0),\mathcal{E}(t_0))} \right]. 
\end{split}$$

Similarly, $$\begin{split}
\lim_{t \to t_0}&\left[I_n - \mathcal{A}(t)^{\| (\mathcal{D}(t),\mathcal{E}(t))}\mathcal{A}(t) \right]  \frac{\left[ \mathcal{D}(t)\mathcal{D}(t)^\dag - \mathcal{D}(t_0)\mathcal{D}(t_0)^\dag \right]}{t-t_0}
\mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}= \\ 
&\left[I_n - \mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}\mathcal{A}(t_0) \right]\left[\mathcal{D}'(t_0)\mathcal{F}(t_0)+\mathcal{D}(t_0)\mathcal{F}'(t_0)\right]
\mathcal{A}(t_0)^{\| (\mathcal{D}(t_0),\mathcal{E}(t_0))}.
\end{split}$$

Now the differentiability of the inverse along a matrix will be studied.

\[cor6005\] Let $J \subseteq {\mathbbmss{R}}$ be an open set and consider $t_0 \in J$. Let functions $\mathcal{A}\colon J  \to {\mathbbmss{C}}_{n,m}$ and $\mathcal{D}\colon J \to {\mathbbmss{C}}_{m,n}$ be such that $\mathcal{A}(t)$ is invertible along $\mathcal{D}(t)$ for any $t \in J$, and $\mathcal{A}$ and $\mathcal{D}$ are differentiable at $t_0$. Suppose that $f\colon J\to {\mathbbmss{C}}_{m,n}$, $f(t)= \mathcal{A}(t)^{\| \mathcal{D}(t)}$, is a bounded function in $J$ and that the function $\mathcal{D}$ has local constant rank in $J$. Then, the function $f$ is differentiable at $t_0$ and $$\begin{aligned}
f'(t_0)&=\mathcal{A}(t_0)^{\parallel \mathcal{D}(t_0)}\left[\mathcal{F}'(t_0)\mathcal{D}(t_0)+\mathcal{F}(t_0)\mathcal{D}'(t_0)\right]
\left[I_n - \mathcal{A}(t_0) \mathcal{A}(t_0)^{\parallel \mathcal{D}(t_0)} \right] \\
& \phantom{=} + \left[I_n - \mathcal{A}(t_0)^{\| \mathcal{D}(t_0)}\mathcal{A}(t_0) \right]\left[\mathcal{D}'(t_0)\mathcal{F}(t_0)+\mathcal{D}(t_0)\mathcal{F}'(t_0)\right]
\mathcal{A}(t_0)^{\| (\mathcal{D}(t_0)}\\
&\phantom{=} + \mathcal{A}(t_0)^{\| \mathcal{D}(t_0)}\mathcal{A}'(t_0) \mathcal{A}(t_0)^{\| \mathcal{D}(t_0)},\end{aligned}$$ where $\mathcal{F}\colon J\to {\mathbbmss{C}}_{n,m}$ is the function $\mathcal{F}(t)=(\mathcal{D}(t))^\dag$.

Apply Theorem \[thm6004\] for the case $D=E$.

Explicit computations {#s4}
=====================

In this section some explicit ways to compute ${A^{\parallel (D,E)}}$ will be given.

\[th24\] Let $A \in {{\mathbbmss{C}}_{n,m}}$, $D,E \in {{\mathbbmss{C}}_{m,n}}$, $r=\operatorname{rk}(D)$ and $s=\operatorname{rk}(E)$. If $\{ {\bf v}_1, \ldots, {\bf v}_r \}$ is a basis of ${\mathcal{R}}(D)$ and $\{ {\bf w}_1, \ldots, {\bf w}_{n-s} \}$ is a basis of ${\mathcal{N}}(E)$, then the following affirmations are equivalent:

-   ${A^{\parallel (D,E)}}$ exists.

-   The matrix $[A {\bf v}_1 \ \cdots \ A {\bf v}_r \ {\bf w}_1 \ \cdots
    \ {\bf w}_{n-s}]$ is nonsingular.

In this situation, $${A^{\parallel (D,E)}}= \left[ {\bf v}_1 \ \cdots \ {\bf v}_r \ {\bf 0} \ \cdots \ {\bf 0} \right]
\left[A {\bf v}_1 \ \cdots \ A {\bf v}_r \ {\bf w}_1 \ \cdots
\ {\bf w}_{n-s}\right]^{-1}.$$

If statement (i) holds, then according to Theorem \[thm60000\], $\operatorname{rk}(D)=\operatorname{rk}(E)$. Let $X_1 = [A {\mathbf{v}}_1 \ \cdots \ A {\mathbf{v}}_r]$ and $X_2 = [{\mathbf{w}}_1 \ \cdots \ {\mathbf{w}}_{n-r}]$. Observe that $n-r=\operatorname{rk}(X_2)$ because $\{ {\mathbf{w}}_i \}_{i=1}^{n-r}$ is a basis. According to Theorem \[thm3036\] and Theorem \[thm3033\], $\operatorname{rk}(X)=\operatorname{rk}(X_1)+\operatorname{rk}(X_2)$ (because ${\mathcal{R}}(AD) \cap {\mathcal{N}}(E)=0$). Since $\{ A {\mathbf{v}}_i \}_{i=1}^r$ span ${\mathcal{R}}(AD)$ and $r=\operatorname{rk}(D)=\operatorname{rk}(AD) = \dim {\mathcal{R}}(AD)$, the vectors $\{ A {\mathbf{v}}_i \}_{i=1}^r$ are linearly independent, and thus, $r=\operatorname{rk}(X_1)$. Therefore, $n=\operatorname{rk}(X)$ and by recalling that $X \in {\mathbbmss{C}}_n$, the nonsingularity of $X$ is obtained.

Suppose that statement (ii) holds. Since the matrix in statement (ii) must be square, $\operatorname{rk}(D)=r=s=\operatorname{rk}(E)$. In addition, since the matrix in statement (ii) is invertible, $\operatorname{rk}(AD)=\operatorname{rk}(D)$ and ${\mathcal{R}}(AD)\oplus {\mathcal{N}}(E)={\mathbbmss{C}}^n$. Consequently, according to Theorem \[thm3033\] and Theorem \[thm3036\], ${A^{\parallel (D,E)}}$ exists.

Now let ${\bf v}$ be any arbitrary vector in ${\mathcal{R}}(D)$ and let ${\bf x} \in {\mathbbmss{C}}^n$ be such that ${\bf v} = D\bf x$. According to Definition \[def3035\], ${A^{\parallel (D,E)}}A {\bf v} = {A^{\parallel (D,E)}}A D {\bf x} =
D {\bf x} = {\bf v}$. In addition, ${A^{\parallel (D,E)}}{\bf w} = {\bf 0}$ for any ${\bf w} \in {\mathcal{N}}(E)$. Therefore, $${A^{\parallel (D,E)}}\left[A {\bf v}_1 \ \cdots \ A {\bf v}_r \ {\bf w}_1 \ \cdots
\ {\bf w}_{n-r}\right] =
\left[ {\bf v}_1 \ \cdots \ {\bf v}_r \ {\bf 0} \ \cdots \ {\bf 0} \right].$$

Next [m-file]{} that can be executed in Matlab or in Octave shows how Theorem \[th24\] can be used to compute ${A^{\parallel (D,E)}}$.

    function J = pseudo(A,D,E)
    [n m] = size(A);
    r = rank(D);
    s = rank(E);
    E1 = null(E); % An orthonormal basis of N(E)
    D1 = orth(D); % An orthonormal basis of R(D)
    aux = [A*D1 E1];
    if not(r==s)
       disp('There does not exist the pseudoinverse')
       disp('because rank(D) is not equal to rank(E)')
    else
      if det(aux)==0
       disp('There does not exist the pseudoinverse')
       disp('because the matrix of Th. 4.1 is singular')
       else
         J=[D1 zeros(n,n-r)]*inv(aux);
       end
    end

\[t007\] Let $A \in {{\mathbbmss{C}}_{n,m}}$ and $D, E \in {{\mathbbmss{C}}_{m,n}}$ be such that ${A^{\parallel (D,E)}}$ exists. Let $r=\operatorname{rk}(D)=\operatorname{rk}(E)=\operatorname{rk}(EAD)$. Let $P\in {\mathbbmss{C}}_m$ and $Q \in {\mathbbmss{C}}_n$ be two nonsingular matrices such that $$PEADQ={\left[ \begin{array}{cc} I_r & 0 \\ 0 & 0 \end{array} \right] }.$$ Then $$\label{ASD}
PE=\begin{bmatrix} X \\ 0 \end{bmatrix} \qquad \text{and} \qquad
DQ=\begin{bmatrix} Y &  0 \\ \end{bmatrix},$$ where $X \in {{\mathbbmss{C}}_{r,n}}$, $Y \in {{\mathbbmss{C}}_{m,r}}$. Furthermore, ${A^{\parallel (D,E)}}=YX$.

Write $P$ and $Q$ as $$P=\begin{bmatrix} P_1 \\ P_2 \end{bmatrix} \quad \text{and} \quad
Q=\begin{bmatrix} Q_1 &  Q_2 \end{bmatrix},$$ where $P_1 \in {{\mathbbmss{C}}_{r,m}}$, $P_2 \in {{\mathbbmss{C}}_{m-r,m}}$, $Q_1 \in {{\mathbbmss{C}}_{n,r}}$ and $Q_2 \in {{\mathbbmss{C}}_{n,n-r}}$. Now $$\label{peadq}
{\left[ \begin{array}{cc} I_r & 0 \\ 0 & 0 \end{array} \right] } = PEADQ =
\begin{bmatrix} P_1 \\ P_2 \end{bmatrix} EAD \begin{bmatrix} Q_1 & Q_2 \end{bmatrix} =
{\left[ \begin{array}{cc} P_1EADQ_1 & P_1EADQ_2 \\ P_2EADQ_1 & P_2EADQ_2 \end{array} \right] },$$ which implies $P_1EADQ_2=0$, $P_2EADQ_1=0$ and $P_2EADQ_2=0$. Therefore, $$P_2EADQ = P_2EAD[Q_1 \ Q_2] = [P_2EADQ_1 \ P_2EADQ_2]=0.$$ The nonsingularity of $Q$ leads to $P_2EAD=0$. In a similar way, $EADQ_2=0$.

Since $\operatorname{rk}(D)=\operatorname{rk}(E)=\operatorname{rk}(EAD)$, the equalities $\mathcal{R}(EAD)=\mathcal{R}(E)$ and $\mathcal{N}(EAD)=\mathcal{N}(D)$ are obtained. In addition, since $EADQ_2=0$ and $\mathcal{N}(EAD)=\mathcal{N}(D)$, it can be deduced $DQ_2=0$. Since $(EAD)^*P_2^* = (P_2EAD)^* = 0$, any column of $P_2^*$ belongs to ${\mathcal{N}}((EAD)^*) = {\mathcal{R}}(EAD)^\perp = {\mathcal{R}}(E)^\perp = {\mathcal{N}}(E^*)$, and therefore, $E^*P_2^*=0$, i.e., $P_2E=0$. If $Y=DQ_1$ and $X=P_1E$, then (\[ASD\]) holds.

Now it will be proved that $YX$ satisfies Definition \[def3035\]. First, observe that $XAY = P_1E A DQ_1 = I_r$. Now, by $$YXADQ = YXA[ Y \ 0] = [YXAY \ 0] = [Y \ 0] = DQ,$$ and the nonsingularity of $Q$ leads to $YXAD=D$. Similarly, $$PEAYX = \begin{bmatrix} X \\ 0 \end{bmatrix} AYX = \begin{bmatrix} XAYX \\ 0 \end{bmatrix} =
\begin{bmatrix} X \\ 0 \end{bmatrix} = PE,$$ and thus, $EAYX=E$. Since $YX = DQ_1X$, te inclusion ${\mathcal{R}}(YX) \subseteq {\mathcal{R}}(D)$ can be obtained. In addition, since $YX = YP_1E$, it can be deduced ${\mathcal{N}}(E) \subseteq {\mathcal{N}}(YX)$.

\[rem100000\]Observe that it is possible to use either the Gaussian elimination method or the singular value decomposition of $EAD$ to determine $P$ and $Q$. Let $r=\operatorname{rk}(EAD)$.

-   By using the Gauss-Jordan elimination, there exist an elementary row operation matrix $P \in {{\mathbbmss{C}}_{m,m}}$ and an elementary column operation matrix $Q \in {{\mathbbmss{C}}_{n,n}}$, such that $PEADQ={\left[ \begin{array}{cc} I_r & 0 \\ 0 & 0 \end{array} \right] }$.

-   Let $EAD=USV^*$ be the singular value decomposition of $EAD$, where $S=\Sigma\oplus0$, $\Sigma={\rm diag}(\sigma_1, \ldots, \sigma_r)$. Hence, $U^*EADV=\Sigma\oplus0$, which implies $$(\Sigma^{-1/2}\oplus I_{m-r})U^*EADV(\Sigma^{-1/2}\oplus I_{n-r})={\left[ \begin{array}{cc} I_r & 0 \\ 0 & 0 \end{array} \right] }.$$ Let $P=(\Sigma^{-1/2}\oplus I_{m-r})U^*$ and $Q=V(\Sigma^{-1/2}\oplus I_{n-r})$. It is easy to see that $P$ and $Q$ are nonsingular.

Theorem \[t007\] and Remark \[rem100000\] (i) yield an elimination method to compute ${A^{\parallel (D,E)}}$, which is presented as follows.

1.  Execute elementary row operations on the first $m$ rows of the block matrix $$G = \begin{bmatrix} EAD & E \\ D & 0 \end{bmatrix}$$ to get $$G_1 = \begin{bmatrix}
    \begin{bmatrix}
    W \\ 0 \end{bmatrix} & \begin{bmatrix} X \\ 0 \end{bmatrix} \\ D & 0
    \end{bmatrix}.$$

2.  Execute elementary column operations on the first $m$ columns of the block matrix $G_1$ to get $$G_2 = \begin{bmatrix}
    \begin{bmatrix} I_r & 0 \\ 0 & 0 \end{bmatrix} & \begin{bmatrix} X \\ 0 \end{bmatrix} \\
    \begin{bmatrix} Y & 0 \end{bmatrix} & 0
    \end{bmatrix}.$$

3.  ${A^{\parallel (D,E)}}=YX$.

Theorem \[t007\] and Remark \[rem100000\] (ii) yield a more stable numerical method based on the SVD to compute ${A^{\parallel (D,E)}}$, which is shown as follows.

1.  Compute the SVD of $EAD$, i.e., $EAD=USV^*$.

2.  $T=S(1:r,1:r)$, $M=T^{-1/2} \oplus I_{m-r}$, $N=T^{-1/2} \oplus I_{n-r}$.

3.  $P=MU^*$, $Q=VN$.

4.  $X=PE$, $Y=DQ$.

5.  ${A^{\parallel (D,E)}}=Y(1:m,1:r)\cdot X(1:r,1:n)$.

Next [m-file]{} shows how Theorem \[t007\] and the SVD can be used to compute $|ADE$.

    function J = pseudo(A,D,E)
    [n m] = size(A);
    r = rank(D);
    s = rank(E);
    t = rank(E*A*D); 
    if not(r==s)
       disp('There does not exist the pseudoinverse')
       disp('because rank(D) is not equal to rank(E)')
    else
      if not(s==t)
       disp('There does not exist the pseudoinverse')
       disp('because rank(D)=rank(E) but not equal to rank(EAD)')
       else
         [U S V] = svd(E*A*D);
         T = S(1:r,1:r)
         M = [T^(-1/2) zeros(r,m-r); zeros(m-r,r) eye(m-r)]; 
         N = [T^(-1/2) zeros(r,n-r); zeros(n-r,r) eye(n-r)];
         P = M*U';
         Q = V*N;
         X = P*E; 
         Y = D*Q;
         J = Y(1:m,1:r)*X(1:r,1:n);   
       end
    end

[99]{}

O. M. Baksalary, G. Trenkler, Core inverse of matrices, Linear Multilinear Algebra 58 (2010) 681-697.

A. Ben-Israel, T.N.E. Greville, Generalized inverses, Theory and Applications, Springer, 2003.

J. Benítez, E. Boasso, The inverse along an element in rings, Electron. J. Linear Algebra 31 (2016) 572-592.

J. Benítez, E. Boasso, The inverse along an element in rings with an involution, Banach algebras and $C^*$-algebras, Linear Multilinear Algebra 65 (2017) 284-299.

E. Boasso, G. Kantun-Montiel, The $(b, c)$-inverse in rings and in the Banach context, submitted, arXiv:1607.02456.

N. Castro-González, J. Chen, L. Wang, Further results on generalized inverses in rings with involution, Electron. J. Linear Algebra 30 (2015) 118-134.

R.E. Cline, Inverses of rank invariant powers of a matrix, SIAM J. Numer. Anal. 5 (1968) 182-197.

M. P. Drazin, Pseudo-Inverses in Associative Rings and Semigroups, Amer. Math. Monthly 65 (1958) 506-514.

M. P. Drazin, A class of outer generalized inverses, Linear Algebra Appl. 436 (2012) 1909-1923.

M. P. Drazin, Commuting properties of generalized inverses, Linear Multilinear Algebra 61 (2013) 1675-1681.

G. H. Golub, V. Pereyra, The differentiation of pseudo-inverses and nonlinear least squares problems whose variables separate, SIAM J. Numer. Anal. 10 (1973) 413-432.

Y. Ke, J. Chen, The Bott-Duffin $(e, f)$-inverses and their applications, Linear Algebra Appl. 489 (2016) 61-74.

Y. Ke, J. Višnjić, J. Chen, One sided-inverses in rings, arxiv: 1607.06230v1.

X. Mary, On generalized inverses and Green’s relations, Linear Algebra Appl. 434 (2011) 1836-1844.

X. Mary, P. Patricio, Generalized inverses modulo $\mathcal{H}$ in semigroups and rings, Linear Multilinar Algebra 61 (2013) 1130-1135.

R. Penrose, A generalized inverse for matrices, Mathematical Proceedings of the Cambridge Philosophical Society 3 (1955) 406-413.

R. Piziak, P. L. Odell, Full Rank Factorization of Matrices, Math. Mag. 72 (1999) 193-201.

D. S. Rakić, N.Č. Dinčić, D.S. Djordjević, Group, Moore-Penrose, core and dual core inverse in rings with involution, Linear Algebra Appl. 463 (2014) 115-133.

G. W. Stewart, On the continuity of the generalized inverse, SIAM J. Appl. Math. 17 (1969) 33-45.

Y. Wei, A characterization and representation of the generalized inverse $A^{(2)}_{T, S}$ and its application, Linear Algebra Appl. 280 (1998) 87-96.

Y. Wei, Integral representation of the generalized inverse $A^{(2)}_{T, S}$ and its applications, in Recent Research on Pure and Applied Algebra, Nova Science, Hauppauge, NY, 2003, pp. 59-65.

Y. Wei, D. S. Djordjević, On the integral representation of the generalized inverse $A^{(2)}_{T, S}$, Appl. Math. Comp. 142 (2003), 189-194.

Y. Wei, G. Wang, On the continuity of the generalized inverse $A^{(2)}_{T, S}$, Appl. Math. Comp. 136 (2003), 289-295.

H.H. Zhu, J.L. Chen, P. Patrício, Further results on the inverse along an element in semigroups and rings, Linear Multilinear Algebra 64 (2016) 393-403.

.3truecm Julio Benítez

E-mail address: jbenitez@mat.upv.es .3truecm Enrico Boasso

E-mail address: enrico\_odisseo@yahoo.it .3truecm Hongwei Jin

E-mail address: hw-jin@hotmail.com
