同伴行列
線型代数学におけるフロベニウスの同伴行列（どうはんぎょうれつ）あるいはコンパニオン行列（）とは、"n" 次モニック多項式
に対して
と定義される"n" 次行列を言う。慣例的に、基底 "v"1, …, "v""n" は、"C" = "C"("p") が基底を巡回するようにとる。つまり、"Cv""i" = "C""i""v"1 = "v""i"+1 ("i" &lt; "n") かつ "v"1 は "K"["C"]-加群として "V" を生成する。
文献によってはいま挙げた行列の転置（と双対巡回座標）を採用するものもある。これは線型漸化式に用いるなどの目的でより効果を発揮する。