Con
$N = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix}, \tag 1$
tenemos
$A = 3I + N; \tag 2$
entonces
$AB = BA \tag 3$
implica
$(3I + N)B = B(3I + N), \tag 4$
o
$3B + NB = 3B + BN, \tag 5$
de donde
$NB = NB; \tag 6$
con
$B = \begin{bmatrix} b_1 & b_2 & b_3 \\ b_4 & b_5 & b_6 \\ b_7 & b_8 & b_9 \end{bmatrix}, \tag 7$
entonces tenemos
$NB = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix} \begin{bmatrix} b_1 & b_2 & b_3 \\ b_4 & b_5 & b_6 \\ b_7 & b_8 & b_9 \end{bmatrix} = \begin{bmatrix} b_4 & b_5 & b_6 \\ b_7 & b_8 & b_9 \\ 0 & 0 & 0 \end{bmatrix}, \tag 8$
y
$BN = \begin{bmatrix} b_1 & b_2 & b_3 \\ b_4 & b_5 & b_6 \\ b_7 & b_8 & b_9 \end{bmatrix}\begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix} = \begin{bmatrix} 0 & b_1 & b_2 \\ 0 & b_4 & b_5 \\ 0 & b_7 & b_8 \end{bmatrix}; \tag 9$
comparando (8) y (9) a la luz de (6) se obtiene
$b_4 = b_7 = b_8 = 0, \; b_1 = b_5 = b_9 = 0, \; b_6 = b_2, \tag{10}$
y $b_3$ no especificado/no restringido; por lo tanto $B$ tiene la forma
$B = \begin{bmatrix} 0 & b_2 & b_3 \\ 0 & 0 & b_2 \\ 0 & 0 & 0 \end{bmatrix}; \tag{11}$
es fácil retroceder en estos cálculos y mostrar que cada $B$ como en (11) satisface (6) y por tanto (3); que $B$ tomar la forma (11) es, por tanto, una condición necesaria y suficiente para que (3) sea vinculante.