equation obtained by equating to zero the characteristic polynomial of a matrix or of a linear mapping