Elementary criteria for irreducibility of $f(X^n)$
Very simple sufficient conditions for the irreducibility of $f(X^n)$ over an arbitrary unique factorization domain $Z$ are established via a generalization of a well known theorem of A. Capelli.
Researcher profile
Natalio H. Guersenzvaig
Natalio H. Guersenzvaig contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
1topics
1close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
5 published item(s)
preprint2013arXiv
Is every matrix similar to a polynomial in a companion matrix?
Given a field $F$, an integer $n\geq 1$, and a matrix $A\in M_n(F)$, are there polynomials $f,g\in F[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|\geq n-2$. Moreover, for any finite field $F$, with $|F|=m$, we construct a matrix $A\in 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)\in F[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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Roots multiplicity and square-free factorization of polynomials using companion matrices
Given an arbitrary monic polynomial $f$ over a field $F$ of characteristic 0, we use companion matrices to construct a polynomial $M_f\in F[X]$ of minimum degree such that for each root $α$ of $f$ in the algebraic closure of $F$, $M_f(α)$ is equal to the multiplicity $m(α)$ of $α$ as a root of $f$. As an application of $M_f$ we give a new method to compute in $F[X]$ each component of the square-free factorization $f=P_1P_2^2\cdots P_m^m$, where $P_k$ is the product of all $X-α$ with $m(α)=k$, for $k=1, \dots, m=\max m(α)$.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
A Closed Formula for the Product in Simple Integral Extensions
Let $ξ$ be an algebraic number and let $α,β\in \mathbb Q[ξ]$. An explicit formula for the coordinates of the product $αβ$ is given in terms of the coordinates of $α$ and $β$ and the companion matrix of the minimal polynomial of $ξ$. The formula as well as its proof extend to fairly general simple integral extensions.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Subalgebras of Matrix Algebras Generated by Companion Matrices
Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full integral lattice $M_n(Z)$, in which case we compute the exact value of this index in terms of the resultant of $f$ and $g$. If $R$ is a commutative ring with identity we determine when $R< C,D>=M_n(R)$, in which case a presentation for $M_n(R)$ in terms of $C$ and $D$ is given.
0 citations0 reviewsNo code linkedOpen access