Is every noninvertible matrix over a field a zero divisor?
Related to this: What are sufficient conditions for a matrix to be a zero divisor over a noncommutative ring?
abstract-algebramatrices
Is every noninvertible matrix over a field a zero divisor?
Related to this: What are sufficient conditions for a matrix to be a zero divisor over a noncommutative ring?
Best Answer
New and improved: If $A$ is singular we can get $AB=BA=0$ with no more work.
Original Yes. If $A$ is a singular square matrix then there exists a non-zero vector $v$ with $Av=0$. So if $B$ is the square matrix that has every column equal to $v$ then $AB=0$.
Better There is a non-zero "column vector" $v$ with $Av=0$. There is also a non-zero "row vector" $w$ with $wA=0$. Let $B=(b_{jk})$, where $b_{jk}=v_jw_k$. Then every row of $B$ is a multiple of $w$ and every column of $B$ is a multiple of $v$, so $BA=AB=0$.