Full rank real matrix and the rank of its associated complex matrix Let $
\begin{bmatrix} 
A & -B\\
B & A
\end{bmatrix}
\quad
$ be a full rank $2m\times 2n$ real matrix s.t. $A,B$ are both $m\times n$ real matrices and $n\ge m$. Then can we say the associted complex matrix $A+iB$ is also of full rank?
My attempt: Since elementary matrix operation doesn't change the rank and we can see the real matrix as a complex matrix, we do the following:
$
\begin{bmatrix} 
A & -B\\
B & A
\end{bmatrix} 
\quad
\to$
$
\begin{bmatrix} 
A +iB & -B+iA\\
B & A
\end{bmatrix} 
\quad
\to$
$
\begin{bmatrix} 
A +iB & 0\\
B & A-iB
\end{bmatrix} 
\quad
$
Now suppose the rank of $A+iB$ is $r<m$, then we may find matrices $X,Y$, s.t. $X(A+iB)Y=\begin{bmatrix} 
I_r & 0\\
0 & 0
\end{bmatrix} :=C
\quad
,$ where $I_r$ is the $r\times r$ identity matrix. Now we get
$\begin{bmatrix} 
X & 0\\
0 & I
\end{bmatrix} 
\begin{bmatrix} 
A +iB & 0\\
B & A-iB
\end{bmatrix} 
\begin{bmatrix} 
Y & 0\\
0 & I
\end{bmatrix} 
=\begin{bmatrix} 
C & 0\\
B & A-iB
\end{bmatrix} :=D.
\quad$
Now we see $D$ has rank at most $r+m<2m$, thus $D$ is not of full rank thus the initial matrix $
\begin{bmatrix} 
A & -B\\
B & A
\end{bmatrix} 
\quad
$ is not of full rank, contradiction. Am I right?
 A: Yes, the statement is true and your proof is correct.
Here is a faster approach. Because $m \leq n$, we see that the matrices have full rank if and only if they have a trivial left kernel.  Now, we note that for real vectors $x,y \in \Bbb R^{m}$, we have
$$
(x +iy)^T(A + iB) = 0 \iff\\
x^TA - y^TB = 0, \quad y^TA + x^TB = 0 \iff\\
\pmatrix{x^T & y^T} \pmatrix{A & -B\\ B & A} = 0.
$$
Thus, $A + iB$ has full rank if and only if $M = \pmatrix{A & -B\\B & A}$ has full rank.
In fact, because the above defines an $\Bbb R$-linear bijection between the left kernel of $A + iB$ (a subspace of $\Bbb C^m$) and the left kernel of $M$ (a subspace $\Bbb R^{2m}$), we can deduce that $\operatorname{rank}(M) = 2 \operatorname{rank}(A + iB)$.

An alternative approach: note that $M$ has the same rank as
$$
\pmatrix{-i I_m &  I_m\\ I_m & -iI_m} \pmatrix{A & - B\\ B & A}\pmatrix{i I_n &  I_n\\ I_n & iI_n} = \\
2\pmatrix{A + iB & 0\\ 0 & A - iB}.
$$
Thus, the rank of $M$ is the sum of the ranks of $A + iB$ and $A - iB$. Now, I claim that $A + iB$ and $A - iB$ necessarily have the same rank.  To see that this holds, it suffices to show that $v \in \Bbb C^m$ is in the left kernel of $A + iB$ if and only if the conjugate $\bar v \in \Bbb C^m$ is an element of the left kernel of $A - iB$.
With that, the rank of $M$ is always $2\operatorname{rank}(A + iB)$.
