Intereting Posts

Number of bit strings with 3 consecutive zeros or 4 consecutive 1s
Find a formula for all the points on the hyperbola $x^2 – y^2 = 1$? whose coordinates are rational numbers.
Is there a conjecture with maximal prime gaps
The Uniqueness of a Coset of $R/\langle f\rangle$ where $f$ is a Polynomial of Degree $d$ in $R$
What equation produces this curve?
What is the maximum value of $\frac{2x}{x + 1} + \frac{x}{x – 1}$, if $x \in \mathbb{R}$ and $x > 1$?
The median minimizes the sum of absolute deviations
Prove that $ f(x) $ has at least two real roots in $ (0,\pi) $
Inner regularity of Lebesgue measurable sets
I want to calculate the limit of: $\lim_{x \to 0} \left(\frac{2^x+8^x}{2} \right)^\frac{1}{x} $
What is the probability of a coin landing tails 7 times in a row in a series of 150 coin flips?
max and min versus sup and inf
Groups with only one element of order 2
Why are Quotient Rings called Quotient Rings?
Can a probability density function take negative values?

Suppose that there are some matrices. Each matrix in the set must commute with another in the set.

What are the mandatory conditions for this?

- Is the proof of this lemma really necessary?
- What does it mean to have a determinant equal to zero?
- Recurrence with varying coefficient
- Strange results when using Gaussian Elimination on systems that have an infinite number of solutions.
- Cool mathematics I can show to calculus students.
- Unitary equivalence and eigenvalues

- Why is a projection matrix symmetric?
- Floating point arithmetic operations when row reducing matrices
- Expected Value of a Determinant
- Find the two points where the shortest distance occurs on two lines
- Why is matrix multiplication defined a certain way?
- Intuition for cross product of vector with itself and vector with zero vector
- Rank of sum of rank-1 matrices
- Given a matrix $A$ of rank $n$, show that $\det(\operatorname{adj}(A))=\det(A)^{n-1}$ and $\operatorname{adj}(\operatorname{adj}(A))=(\det A)^{n-2}A$
- Linear map $f:V\rightarrow V$ injective $\Longleftrightarrow$ surjective
- About matrix derivative

Over an algebraically closed field, if a family of matrices commute pairwise then they are simultaneously triangularizable. As Robert Israel pointed out in the comments, the converse is not true.

This generalizes to diagonalizable matrices, i.e. a family of diagonalizable matrices commute pairwise if and only if they are simultaneous diagonalizable. *This* condition is if and only if.

These are the most common results on commuting matrices.

There is a quirky condition that does this. If every matrix in the set is a polynomial or, indeed, analytic function of some matrix $A$ (that need not be in the set), they all commute, since a power of $A$ commutes with another power of $A.$ Over the reals this includes items such as $e^A.$

I think it unlikely that one can find such an $A$ for every set for which each pair of matrices commute. It’s just a cute idea.

I’ll try to rephrase the answer by Will Jagy a bit more explicitly, and add some more detail.

Characterising all sets of commuting matrices (other than by the condition that they commute) won’t be easy, because given any set of commuting matrices (and there are certainly such sets that are infinite), than *any* subset of it will also be a set of commuting matrices. So it is more fruitful to ask for *maximal* commuting sets of matrices, sets for which nothing outside the set commutes with all of them (for one could then add such a matrix).

Now given any set of commuting matrices, we can always take scalar multiples of one of them, or sums of several of them, to get other matrices that commute with all of them; therefore a maximal set of commuting matrices must be a subspace of the vector space of all matrices (i.e., it is closed under linear combinations). Moreover, it must also be closed under products of matrices (the technical term is that it must be a subalgebra of the algebra of all square matrices). Given any one matrix $A$, the smallest subalgebra that contains $A$ is the set of polynomials in $A$, the linear combinations of powers $A^i$, including $A^0=I_n$.

**Correction** I wrote here earlier that every maximal commutative subalgebra has dimension $n$ and is the set of polynomials in one matrix (I thought that this was implied by the answer by Will Jagy, but it clearly isn’t, and I thought that I could give a somewhat complicated argument for it, but I can’t). This is **not true**. Indeed, there is a $5$-dimensional commutative subalgebra of $M_4(K)$ of matrices of the form

$$

\begin{pmatrix}x&0&a&b\\0&x&c&d\\0&0&x&0\\0&0&0&x\end{pmatrix}

$$

and for dimension reasons it cannot be the set of polynomials of any one matrix.

A question to which I do not know the answer is *can two commuting matrices $X,Y$ always be expressed as polynomials of some third matrix $A$?* I initially thought, inspired by the above, that

$$

X=\begin{pmatrix}0&0&1&0\\0&0&0&1\\0&0&0&0\\0&0&0&0\end{pmatrix},\qquad

Y=\begin{pmatrix}0&0&1&0\\0&0&0&-1\\0&0&0&0\\0&0&0&0\end{pmatrix},

$$

provided a negative answer; however it turns out that for

$$

A=\begin{pmatrix}1&0&1&0\\0&0&0&1\\0&0&1&0\\0&0&0&0\end{pmatrix}

$$

(which is *not* in the commutative subalgebra above) one has $Y=A(A-I)=A^2-A$ and $X=A(A-I)(2A-I)=2A^3-3A^2+A$.

- prove $\sum_{i=0}^{n}\binom{2n+1}{i}=2^{2n}$
- Center of Distance
- Supremum and infimum of $\{\frac{1}{n}-\frac{1}{m}:m, n \in \mathbb{N}\}$
- Is this a solution for the problem: $\ a^3 + b^3 = c^3\ $ has no nonzero integer solutions?
- Notation for fields
- How far can we take “If $f$ is holomorphic in $D\setminus C$, $f$ is holomorphic in $D$.”?
- Consistency strength of 0-1 valued Borel measures
- Let $a_1,a_2,\cdots,a_n$ be n numbers such that $a_i$ is either 1 or -1.If $a_1a_2a_3a_4+\cdots+a_na_1a_2a_3=0$ then prove that 4|n.
- What is the probability of a randomly chosen bit string of length 8 does not contain 2 consecutive 0's?
- Measurability of limit function into a Polish space
- Generalization of Cayley-Hamilton
- Generate solutions of Quadratic Diophantine Equation
- Limit of derivative is zero. Does it imply a limit for f(x)?
- Calculate sum of squares of first n odd numbers
- Mathematical symbol to reference the i-th item in a tuple?