Definição 3.15 Matemática universitária — Graduação 3 · Capítulo 3 — Módulos sobre um domínio de ideais principais 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, a matriz companheira é 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: a matriz da “multiplicação por XXX” em K[X]/(P)K[X]/(P)K[X]/(P) na base 1,Xˉ,…,Xˉm−11, \bar X, \dots, \bar X^{m-1}1,Xˉ,…,Xˉm−1. Ler no capítulo →