一、单位矩阵与任意矩阵的乘法
单位矩阵I满足对任意同阶矩阵A，AI=IA=A。单位矩阵的对角线元素为1，其余为0，其作用类似数乘中的“1”。例如，2阶单位矩阵$I=begin{pmatrix}1&00&1end{pmatrix}$，对任意2阶矩阵$A=begin{pmatrix}a&bc&dend{pmatrix}$，有$AI=begin{pmatrix}a&bc&dend{pmatrix}=IA$，故交换成立。二、数量矩阵与任意矩阵的乘法
数量矩阵是单位矩阵的标量倍，即$kI$k为常数。对任意同阶矩阵A，(kI)A=A(kI)=kA。因数量矩阵仍保持对角矩阵结构，且对角线元素均为k，其与A相乘时，相当于对A的每个元素同时缩放k，顺序不影响结果。例如$kI=begin{pmatrix}k&00&kend{pmatrix}$，则$(kI)A=k(IA)=kA$，$A(kI)=k(AI)=kA$，故AB=BA。三、同阶对角矩阵的乘法
若A、B均为n阶对角矩阵，即$A=text{diag}(a_1,a_2,dots,a_n)$，$B=text{diag}(b_1,b_2,dots,b_n)$，则AB=BA=diag(a_1b_1,a_2b_2,dots,a_nb_n)。对角矩阵的乘法仅涉及对应对角线元素的乘积，而数的乘法满足交换律，因此AB与BA的对角线元素全相同，矩阵相等。四、方阵的幂运算
对n阶方阵A，其非负整数次幂$A^k$k≥0与$A^m$m≥0满足A^kA^m=A^mA^k=A^{k+m}。矩阵的幂本质是自身的连续乘法，例如$A^2=AA$，$A^3=AAA$，则$A^2A^3=AAAAA=A^5$，$A^3A^2=AAAAA=A^5$，交换顺序不改变结果。五、矩阵与其标量倍的乘法
若B是A的标量倍，即$B=kA$k为常数，则AB=A(kA)=kA^2，BA=(kA)A=kA^2，故AB=BA。此时A与B的乘法等效于A自身的幂运算与标量的结合，例如$A=begin{pmatrix}1&23&4end{pmatrix}$，$B=2A=begin{pmatrix}2&46&8end{pmatrix}$，则$AB=A(2A)=2A^2$，$BA=2Acdot A=2A^2$，二者相等。六、零矩阵与任意矩阵的乘法
n阶零矩阵O所有元素为0满足对任意同阶矩阵A，OA=AO=O。因零矩阵与任何矩阵相乘结果仍为零矩阵，故交换顺序不影响。例如$O=begin{pmatrix}0&00&0end{pmatrix}$，$A=begin{pmatrix}a&bc&dend{pmatrix}$，则$OA=begin{pmatrix}0&00&0end{pmatrix}=AO$。七、对称矩阵的特殊情形
若A、B均为n阶对称矩阵即$A^T=A$，$B^T=B$，且AB也为对称矩阵即$(AB)^T=AB$，则AB=BA。因$(AB)^T=B^TA^T=BA$，而$(AB)^T=AB$，故BA=AB。例如$A=begin{pmatrix}1&22&3end{pmatrix}$，$B=begin{pmatrix}4&55&6end{pmatrix}$，若AB对称，则AB=BA。八、可同时对角化的矩阵
若存在可逆矩阵P，使$A=PDP^{-1}$，$B=PEP^{-1}$D、E为对角矩阵，则AB=PDE P^{-1}，BA=PED P^{-1}，因DE=ED，故AB=BA。此类矩阵称为“可交换矩阵”，其本质是通过相似变换化为对角矩阵后满足乘法交换。综上，矩阵AB=BA的核心条件包括：特殊矩阵单位矩阵、数量矩阵、零矩阵、同结构矩阵对角矩阵、标量倍矩阵、幂矩阵、特定性质矩阵对称且乘积对称、可同时对角化。这些情形共同揭示了矩阵乘法交换的结构约束与代数本质。