LieAlgebras[MatrixCentralizer] - find the matrix centralizer of a list of matrices
M - a list of square matrices, each of the same dimension
The centralizer of a set of matrices M is the Lie algebra of matrices which commute with all the matrices in M.
A list of matrices defining a basis for the centralizer of M is returned.
The command MatrixCentralizer is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form MatrixCentralizer(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-MatrixCentralizer(...).
Find the Matrix centralizer of the set of matrices M1.
M1 ≔ 0100
Find the Matrix centralizer of the set of matrices M2.
M2 ≔ 001000000,001001000,−1−100−10000
Download Help Document
What kind of issue would you like to report? (Optional)