Common invariant subspace and commuting matrices

Let K be a perfect field, L be an extension field of K and . If A has n distinct eigenvalues in L that are explicitly known, then we can check if are simultaneously triangularizable over L. Now we assume that have a common invariant proper vector subspace of dimension k over an extension field of K and that χA, the characteristic polynomial of A, is irreducible over K. Let G be the Galois group of χA. We show the following results(i)If k∈{1,n-1}, then commute.(ii)If 1⩽k⩽n-1 and G=Sn or G=An, then AB=BA.(iii)If 1⩽k⩽n-1 and n is a prime number, then AB=BA.Yet, when , we show that do not necessarily commute if G is not S4 or A4. Finally we apply the previous results to solving a matrix equation.