Nullity of a cyclic linear operator
ID: nullity-of-a-cyclic-linear-operator
For a nonzero finite-dimensional cyclic linear operator, identify its module with , where is the monic minimal polynomial. Its kernel consists of classes of with . If , coprimality gives , so the kernel is zero. If , it consists precisely of the multiples of modulo , a one-dimensional space. Thus the multiplicity of zero as a root of does not increase the nullity. The same companion block reads off invertibility from the constant term and gives the characteristic and minimal polynomials directly, while explicitly listing eigenvalues may require factoring .
New to topics? Read the docs here!