3 typo, TeX, tags

Hello everybody

There is a nice classical result in linear algebra: if A, B $A, B$ are two matrices in M_n(k), $M_n(k),$ where k $k$ is a filedfield, and B $B$ commutes with every element of M_n(k) $M_n(k)$ which commutes with A, $A$, then $B = f(A) f(A)$ for some polynomial f(x) $f(x)$ in k[x].$k[x].$

I was wondering if anybody knows any (important) theorem which is proved using this result. Thank you.

2 edited body

Hello everybody

There is a nice classical result in linear algebra: if A, B are two matrices in M_n(k), where k is a filed, and B commutes with every element of M_n(FM_n(k) which commutes with A, then B = f(A) for some polynomial f(x) in k[x].

I was wondering if anybody knows any (important) theorem which is proved using this result. Thank you.

1

# Looking for applications of a nice result in linear algebra

Hello everybody

There is a nice classical result in linear algebra: if A, B are two matrices in M_n(k), where k is a filed, and B commutes with every element of M_n(F) which commutes with A, then B = f(A) for some polynomial f(x) in k[x].

I was wondering if anybody knows any (important) theorem which is proved using this result. Thank you.