Source author record

Natalio H. Guersenzvaig

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
1topics
1close collaborators

Published work

6 publications

preprint2014arXiv

Generalized Artin-Schreier polynomials

Let FF be a field of prime characteristic pp containing FpnF_{p^n} as a subfield. We refer to q(X)=Xpn−X−a∈F[X]q(X)=X^{p^n}-X-a\in F[X] as a generalized Artin-Schreier polynomial. Suppose that q(X)q(X) is irreducible and let Cq(X)C_{q(X)} be the companion matrix of q(X)q(X). Then ad Cq(X)ad\, C_{q(X)} has such highly unusual properties that any A∈gl(m)A\in{\mathfrak{ gl}}(m) such that ad Aad\, A has like properties is shown to be similar to the companion matrix of an irreducible generalized Artin-Schreier polynomial. We discuss close connections with the decomposition problem of the tensor product of indecomposable modules for a 1-dimensional Lie algebra over a field of characteristic pp, the problem of finding an explicit primitive element for every intermediate field of the Galois extension associated to an irreducible generalized Artin-Schreier polynomial, and the problem of finding necessary and sufficient conditions for the irreducibility of a family of polynomials.

preprint2013arXiv

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

Given a field FF, an integer n≥1n\geq 1, and a matrix A∈Mn(F)A\in M_n(F), are there polynomials f,g∈F[X]f,g\in F[X], with ff monic of degree nn, such that AA is similar to g(Cf)g(C_f), where CfC_f is the companion matrix of ff? 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∣≥n−2|F|\geq n-2. Moreover, for any finite field FF, with ∣F∣=m|F|=m, we construct a matrix A∈Mm+3(F)A\in M_{m+3}(F) that is not similar to any matrix of the form g(Cf)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(Cf)g(C_f) purely in terms of ff and gg, without resorting to polynomial roots in FF or in any extension thereof. This, in turn, yields an algorithm that, given gg and the invariant factors of any AA, returns the elementary divisors of g(A)g(A). It is a rational procedure, as opposed to the classical method that uses the Jordan decomposition of AA to find that of g(A)g(A). Finally, extending prior results by the authors, we show that for an integrally closed ring RR with field of fractions FF and companion matrices C,DC,D the subalgebra R<C,D>R< C,D> of Mn(R)M_n(R) is a free RR-module of rank n+(n−m)(n−1)n+(n-m)(n-1), where mm is the degree of gcd⁡(f,g)∈F[X]\gcd (f,g)\in F[X], and a presentation for R<C,D>R< C,D> is given in terms of CC and DD. A counterexample is furnished to show that R<C,D>R< C,D> need not be a free RR-module if RR is not integrally closed. The preceding information is used to study Mn(R)M_n(R), and others, as R[X]R[X]-modules.

preprint2013arXiv

Roots multiplicity and square-free factorization of polynomials using companion matrices

Given an arbitrary monic polynomial ff over a field FF of characteristic 0, we use companion matrices to construct a polynomial Mf∈F[X]M_f\in F[X] of minimum degree such that for each root αα of ff in the algebraic closure of FF, Mf(α)M_f(α) is equal to the multiplicity m(α)m(α) of αα as a root of ff. As an application of MfM_f we give a new method to compute in F[X]F[X] each component of the square-free factorization f=P1P22⋯Pmmf=P_1P_2^2\cdots P_m^m, where PkP_k is the product of all X−αX-α with m(α)=km(α)=k, for k=1,…,m=max⁡m(α)k=1, \dots, m=\max m(α).

preprint2010arXiv

Subalgebras of Matrix Algebras Generated by Companion Matrices

Let f,g∈Z[X]f,g\in Z[X] be monic polynomials of degree nn and let C,D∈Mn(Z)C,D\in M_n(Z) be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra Z<C,D>Z< C,D> to be a sublattice of finite index in the full integral lattice Mn(Z)M_n(Z), in which case we compute the exact value of this index in terms of the resultant of ff and gg. If RR is a commutative ring with identity we determine when R<C,D>=Mn(R)R< C,D>=M_n(R), in which case a presentation for Mn(R)M_n(R) in terms of CC and DD is given.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.