A remark to the paper ``On the stabilizer of companion matrices'' by J. Gomez-Calderon (Q1320542): Difference between revisions

Let \(R\) be a commutative ring with identity, \(M\) the ring of \(n \times n\)-matrices over \(R\), \(n \geq 2\), \(f(x) = x^ n - \sum^{n - 1}_{i = 0} b_ i x^ i \in R[x]\), and let \[ C(f) = \left( \begin{matrix} 0 & 0 & \cdots & 0 & b_ 0 \\ 1 & 0 & \cdots & 0 & b_ 1 \\ \vdots & \vdots & & \vdots & \vdots \\ 0 & 0 & \vdots & 1 & b_{n-1} \end{matrix} \right), \] \(S(f) = \{A \in M | AC(f) = C(f) A\}\). The author proves the following results: Theorem 1. \(a_ 1, \dots, a_ n\) being \(n\) column vectors \(\in \mathbb{R}^ n\), the following four conditions on \(A = (a_ 1 \dots a_ n) \in M\) are mutually equivalent: (1) \(A \in S(f)\); (2) \(a_{i + 1} = C(f) a_ i\), \(i = 1,2, \dots, n - 1\); (3) \(a_ i = C(f)^{i - 1} a_ 1\), \(i = 1, 2, \dots, n\); (4) \(A\) can be expressed as \(g(C(f))\), \(g(x) \in R[x]\), \(\deg (g(x)) \leq n - 1\). Theorem 2. Let \(R\) be a field and \(f(x)\) be irreducible in \(R[x]\). Then any non-zero element \(A\) of \(S(f)\) is invertible. Theorem 2 is a generalization of Corollary 3 in the paper mentioned in the title [Proc. Japan Acad., 69 A (1993), 140-143 (1994; Zbl 0798.15020)].