Maths WorkshopMaths problems with full solutions
Exercise 157Linear algebra › Linear mapsL1Added 3 Nov 2026

A nilpotent endomorphism

#nilpotent#kernel#image

Statement

Let f:R3→R3f:\mathbb{R}^3\to\mathbb{R}^3 be defined by f(x,y,z)=(y,z,0)f(x,y,z)=(y,z,0). Show that ff is linear, compute f2f^2 and f3f^3, and describe ker⁡f\ker f and Im⁡f\operatorname{Im} f.

Hint

Apply ff repeatedly.

Show solutionHide solution

Solution

Linearity. Each coordinate of f(x,y,z)f(x,y,z) is a linear form in (x,y,z)(x,y,z) (namely yy, zz, 00), so ff is linear.

Powers. f2(x,y,z)=f(y,z,0)=(z,0,0)f^2(x,y,z)=f(y,z,0)=(z,0,0) and f3(x,y,z)=f(z,0,0)=(0,0,0)f^3(x,y,z)=f(z,0,0)=(0,0,0). So f3=0f^3=0 while f2≠0f^2\neq0: ff is nilpotent of index exactly 33.

Kernel. f(x,y,z)=0  ⟺  y=z=0f(x,y,z)=0\iff y=z=0, so ker⁡f=span⁡((1,0,0))\ker f=\operatorname{span}\big((1,0,0)\big), of dimension 11.

Image. Im⁡f={(y,z,0)}=span⁡((1,0,0),(0,1,0))\operatorname{Im} f=\{(y,z,0)\}=\operatorname{span}\big((1,0,0),(0,1,0)\big), of dimension 22.

Check. dim⁡ker⁡f+dim⁡Im⁡f=1+2=3\dim\ker f+\dim\operatorname{Im} f=1+2=3.

Conclusion. ff is nilpotent of index 33, and ker⁡f=span⁡(e1)⊊Im⁡f=span⁡(e1,e2)\ker f=\operatorname{span}(e_1)\subsetneq\operatorname{Im} f=\operatorname{span}(e_1,e_2). In particular ker⁡f∩Im⁡f≠{0}\ker f\cap\operatorname{Im} f\neq\{0\}.