Does $V/(\ker f \cap \ker g) \cong \text{im} f +\text{im} g$?

342 Views Asked by At

Let $k$ be a field and $V$ be a finite dimensional $k$-vector space. Let $f$ and $g$ be two $k$-linear endomorphisms of $V$ such that $f\circ g=g\circ f$.

Do we have an isomorphism of $k$-vector spaces $V/(\ker f \cap \ker g) \cong \text{im} f +\text{im} g$ ?

Many thanks!

2

There are 2 best solutions below

1
On BEST ANSWER

A counter-example seems to be $$ A=\begin{pmatrix} 0 & 1 & 0\\ 0 & 0 & 0\\ 0 & 0 & 0 \end{pmatrix} $$ and $$ B=\begin{pmatrix} 0 & 0 & 1\\ 0 & 0 & 0\\ 0 & 0 & 0 \end{pmatrix}. $$

2
On

Note: In my answer I did not consider the assumption $f\circ g=g\circ f$.

The claim is wrong. Consider the maps $$f:=\left[\matrix{0&0&0\cr0&0&0\cr 1&1&0\cr}\right],\qquad g:=\left[\matrix{0&0&0\cr0&0&0\cr 1&0&1\cr}\right]\ .$$ Then $${\rm ker}(f)={\rm span}\bigl((1,-1,0),(0,0,1)\bigr),\quad {\rm ker}(g)={\rm span}\bigl((1,0,-1),(0,1,0)\bigr)\ .$$ Therefore ${\rm ker}(f)\cap{\rm ker}(g)={\rm span}\bigl((1,-1,-1)\bigr)$ has dimension $1$, hence $V/\bigl({\rm ker}(f)\cap{\rm ker}(g)\bigr)$ has dimension $2$. On the other hand $${\rm im}(f)={\rm im}(g)={\rm im}(f)+{\rm im}(g)={\rm span}\bigl((0,0,1)\bigr)$$ has dimension $1$.