For matrices, AB=0 does not imply A=0 or B=0 in general.

math.la.c.mat.mult.zero_divisor