行列でないなら
AB=0⇔A=0またはB=0

複素数関係無いけど