☝🏻🤓矩阵既然能乘的话，那能不能像整数一样分解成几个因子矩阵相乘？如果能分解的话，分解是不是唯一的？如果不唯一的话，整数因子分解的唯一性是怎么证明的？有没有不能继续分解的“素矩阵”的说法？“素矩阵”怎么判定？
另外比如对某个矩阵A，我左乘一个初等行变换矩阵P上去得到PA，那有没有一个矩阵Q使得Q右乘到A上与这次行变换等价？