Definición 3.15 Matemáticas universitarias — Grado 3 · Capítulo 3 — Módulos sobre un dominio de ideales principales Para P=Xm+am−1Xm−1+⋯+a0P = X^m + a_{m-1}X^{m-1} + \dots + a_0P=Xm+am−1Xm−1+⋯+a0 mónico, la matriz compañera es CP=(0−a01⋱−a1⋱0⋮1−am−1):C_P = \begin{pmatrix} 0 & & & -a_0\\ 1 & \ddots & & -a_1\\ & \ddots & 0 & \vdots\\ & & 1 & -a_{m-1} \end{pmatrix} :CP=01⋱⋱01−a0−a1⋮−am−1: la matriz de «multiplicar por XXX» en K[X]/(P)K[X]/(P)K[X]/(P) respecto de la base 1,Xˉ,…,Xˉm−11, \bar X, \dots, \bar X^{m-1}1,Xˉ,…,Xˉm−1. Leer en el capítulo →