Definitie 3.15 Universitaire wiskunde — Bachelor jaar 3 · Hoofdstuk 3 — Modulen over een hoofdideaaldomein Voor een monische P=Xm+am−1Xm−1+⋯+a0P = X^m + a_{m-1}X^{m-1} + \dots + a_0P=Xm+am−1Xm−1+⋯+a0 is de begeleidende matrix 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: de matrix van “vermenigvuldigen met XXX” op K[X]/(P)K[X]/(P)K[X]/(P) in de basis 1,Xˉ,…,Xˉm−11, \bar X, \dots, \bar X^{m-1}1,Xˉ,…,Xˉm−1. Lees in het hoofdstuk →