Is every matrix similar to a polynomial in a companion matrix?

DOI10.1016/J.LAA.2012.04.049MaRDI QIDQ445817zbMATH OpenOpenAlexFDO

Authors Fernando Szechtman, N. H. Guersenzvaig

Publication date 27 August 2012

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.1794

zbMATH Keywords

algorithmfinite fieldelementary divisorscompanion matrices\(R\)-moduleintegrally closed ringinvariant factors

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Canonical forms, reductions, classification (15A21)

Abstract: Given a field $F$, an integer $ngeq1$, and a matrix $Ain{M}_n(F)$, are there polynomials $f,ginF[X]$, with $f$ monic of degree $n$, such that $A$ is similar to $g(C_f)$, where $C_f$ is the companion matrix of $f$? For infinite fields the answer is easily seen to positive, so we concentrate on finite fields. In this case we give an affirmative answer, provided $|F|geqn-2$. Moreover, for any finite field $F$, with $|F|=m$, we construct a matrix $Ain{M}_{m+3}(F)$ that is not similar to any matrix of the form $g(C_f)$. Of use above, but also of independent interest, is a constructive procedure to determine the similarity type of any given matrix $g(C_f)$ purely in terms of $f$ and $g$, without resorting to polynomial roots in $F$ or in any extension thereof. This, in turn, yields an algorithm that, given $g$ and the invariant factors of any $A$, returns the elementary divisors of $g(A)$. It is a rational procedure, as opposed to the classical method that uses the Jordan decomposition of $A$ to find that of $g(A)$. Finally, extending prior results by the authors, we show that for an integrally closed ring $R$ with field of fractions $F$ and companion matrices $C,D$ the subalgebra $R<C,D>$ of $M_n(R)$ is a free $R$-module of rank $n+(n-m)(n-1)$, where $m$ is the degree of $gcd(f,g)inF[X]$, and a presentation for $R<C,D>$ is given in terms of $C$ and $D$. A counterexample is furnished to show that $R<C,D>$ need not be a free $R$-module if $R$ is not integrally closed. The preceding information is used to study $M_n(R)$, and others, as $R[X]$-modules.

Recommendations

• On similarity of matrices over commutative rings
• Subalgebras of matrix algebras generated by companion matrices.
• Finite and infinite companion matrix for matrix polynomials
• On the stabilizer of companion matrices
• A remark to the paper ``On the stabilizer of companion matrices by J. Gomez-Calderon

Cites work

• {{#invoke:WikidataIB|getLink|Q3222326}} scientific article; zbMATH DE number 3887879 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q3326837}} scientific article; zbMATH DE number 3858405 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q5550483}} scientific article; zbMATH DE number 3265895 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q5822102}} scientific article; zbMATH DE number 3085223 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q3955477}} A New Algorithm for Factoring Polynomials Over Finite Fields
• {{#invoke:WikidataIB|getLink|Q1014506}} A closed formula for the product in simple integral extensions
• {{#invoke:WikidataIB|getLink|Q2491685}} A companion matrix approach to the study of zeros and critical points of a polynomial
• {{#invoke:WikidataIB|getLink|Q469332}} A direct proof of theorem on generalized Jordan form of linear operators
• {{#invoke:WikidataIB|getLink|Q5464457}} A generating function approach to the enumeration of matrices in classical groups over finite fields
• {{#invoke:WikidataIB|getLink|Q4013302}} A note on commuting pairs of matrices
• {{#invoke:WikidataIB|getLink|Q5548463}} Applications of the Companion Matrix
• {{#invoke:WikidataIB|getLink|Q3819181}} Companion Matrices with Integer Entries and Integer Eigenvalues and Eigenvectors
• {{#invoke:WikidataIB|getLink|Q4705885}} Counting cyclic and separable matrices over a finite field
• {{#invoke:WikidataIB|getLink|Q4864051}} Cyclic Matrices Over Finite Fields
• {{#invoke:WikidataIB|getLink|Q1841829}} Cyclic matrices in classical groups over finite fields
• {{#invoke:WikidataIB|getLink|Q4466456}} Cyclic, Separable and Semisimple Matrices in the Special Linear Groups Over a Finite Field
• {{#invoke:WikidataIB|getLink|Q5793868}} Elementary Divisors and Modules
• {{#invoke:WikidataIB|getLink|Q1001441}} Elementary criteria for irreducibility of \(f(X^r)\)
• {{#invoke:WikidataIB|getLink|Q4379571}} Explicit polar decomposition of companion matrices
• {{#invoke:WikidataIB|getLink|Q1165896}} Factoring polynomials with rational coefficients
• {{#invoke:WikidataIB|getLink|Q558185}} Geometric study of the beta-integers for a Perron number and mathematical quasicrystals
• {{#invoke:WikidataIB|getLink|Q5650813}} Higher Derivations and the Jordan Canonical Form of the Companion Matrix
• {{#invoke:WikidataIB|getLink|Q869890}} Numerical ranges of companion matrices
• {{#invoke:WikidataIB|getLink|Q3518583}} On Jordan bases for the tensor product and Kronecker sum and their elementary divisors over fields of prime characteristic
• {{#invoke:WikidataIB|getLink|Q5813936}} Pairs of Matrices with Property L
• {{#invoke:WikidataIB|getLink|Q2488780}} Some decomposition results for companion matrices
• {{#invoke:WikidataIB|getLink|Q962101}} Subalgebras of matrix algebras generated by companion matrices.
• {{#invoke:WikidataIB|getLink|Q814141}} Symbolic representations of nonexpansive group automorphisms

Cited in

(6)

• Subalgebras of matrix algebras generated by companion matrices.
• Classification of linked indecomposable modules of a family of solvable Lie algebras over an arbitrary field of characteristic 0
• Is every matrix similar to a Toeplitz matrix?
• Cyclic matrices and polynomial interpolation over division rings
• Generalized Artin-Schreier polynomials
• Rings of matrices generated by a companion matrix.

This page was built for publication: Is every matrix similar to a polynomial in a companion matrix?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q445817)