Showing 1–19 of 19 results for author: Paran, E

Images of polynomial maps and the Ax-Grothendieck theorem over algebraically closed division rings

Authors: Elad Paran, Tran Nam Son

Abstract: We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $ D\langle X_1, \ldots, X_m \rangle $ generated by $ m \geq 1 $ variables over an algebraically closed division ring $ D $ of finite dimension over its center $ F $, and… ▽ More We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $ D\langle X_1, \ldots, X_m \rangle $ generated by $ m \geq 1 $ variables over an algebraically closed division ring $ D $ of finite dimension over its center $ F $, and if the induced map $ f = (f_1, \ldots, f_m) \colon D^m \to D^m $ is injective, then $ f $ must be surjective. With no condition on the dimension over the center, our second result is that $ p(D) = D $ if $ p $ is either an element in $ F\langle X_1, \ldots, X_m \rangle $ with zero constant term such that $ p(F) \neq \{0\} $, or a nonconstant polynomial in $F[x]$. Furthermore, we also establish some Waring type results. For instance, for any integer $ n > 1 $, we prove that every matrix in $ \mathrm{M}_n(D) $ can be expressed as a difference of pairs of multiplicative commutators of elements from $ p(\mathrm{M}_n(D)) $, provided again that $ D $ is finite-dimensional over $ F $. △ Less

Submitted 10 May, 2025; originally announced May 2025.

On a problem of Amitsur and Small

Authors: Elad Paran

Abstract: We construct an example of a division ring $D$ and a maximal left ideal $M$ in the polynomial ring $D[x,y]$ in two central variables over $D$, such that the intersection $M \cap D[x]$ is not a maximal left ideal in $D[x]$. This resolves a ring-theoretic problem of Amitsur and Small raised in 1978. We construct an example of a division ring $D$ and a maximal left ideal $M$ in the polynomial ring $D[x,y]$ in two central variables over $D$, such that the intersection $M \cap D[x]$ is not a maximal left ideal in $D[x]$. This resolves a ring-theoretic problem of Amitsur and Small raised in 1978. △ Less

Submitted 9 December, 2024; originally announced December 2024.

On the geometry of zero sets of central quaternionic polynomials II

Authors: Gil Alon, Adam Chapman, Elad Paran

Abstract: Following the work of the first and last authors [2], we further analyze the structure of a zero set of a left ideal in the ring of central polynomials over the quaternion algebra H. We describe the "algebraic hull" of a point in H^n and prove it is a product of spheres. Using this description we give a new proof to a conjecture of Gori, Sarfatti and Vlacci. We also show that the main result of [2… ▽ More Following the work of the first and last authors [2], we further analyze the structure of a zero set of a left ideal in the ring of central polynomials over the quaternion algebra H. We describe the "algebraic hull" of a point in H^n and prove it is a product of spheres. Using this description we give a new proof to a conjecture of Gori, Sarfatti and Vlacci. We also show that the main result of [2] does not extend to general division algebras. △ Less

Submitted 12 January, 2025; v1 submitted 15 August, 2024; originally announced August 2024.

Noether's normalization in skew polynomial rings

Authors: Elad Paran, Thieu N. Vo

Abstract: We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if $I$ is a proper ideal of the ring $R=F[t_1,\ldots,t_n]$ of polynomials over a field $F$, then the quotient ring $R/I$ is a finite extension of a polynomial ring over $F$. We prove that the lemma holds when $R=D[t_1,\ldots,t_n]$ is the ring of polynomials i… ▽ More We study Noether's normalization lemma for finitely generated algebras over a division algebra. In its classical form, the lemma states that if $I$ is a proper ideal of the ring $R=F[t_1,\ldots,t_n]$ of polynomials over a field $F$, then the quotient ring $R/I$ is a finite extension of a polynomial ring over $F$. We prove that the lemma holds when $R=D[t_1,\ldots,t_n]$ is the ring of polynomials in $n$ central variables over a division algebra $D$. We provide examples demonstrating that Noether's normalization may fail for the skew polynomial ring $D[t_1,\ldots,t_n;σ_1,\ldots,σ_n]$ with respect to commuting automorphisms $σ_1,\ldots,σ_n$ of $D$. We give a sufficient condition for $σ_1,\ldots,σ_n$ under which the normalization lemma holds for such ring. In the case where $D=F$ is a field, this sufficient condition is proved to be necessary. △ Less

Submitted 17 July, 2024; originally announced July 2024.

On the geometry of zero sets of central quaternionic polynomials

Authors: Gil Alon, Elad Paran

Abstract: Let R be the ring of polynomials in n central variables over the real quaternion algebra H, and let I be a left ideal in R. We prove that if a polynomial p in R vanishes at all the common zeros of I in H^n with commuting coordinates, then as a slice regular quaternionic function, p vanishes at all common zeros of I in H^n. This confirms a conjecture of Gori, Sarfatti and Vlacci, who settled the tw… ▽ More Let R be the ring of polynomials in n central variables over the real quaternion algebra H, and let I be a left ideal in R. We prove that if a polynomial p in R vanishes at all the common zeros of I in H^n with commuting coordinates, then as a slice regular quaternionic function, p vanishes at all common zeros of I in H^n. This confirms a conjecture of Gori, Sarfatti and Vlacci, who settled the two dimensional case. △ Less

Submitted 2 February, 2024; originally announced February 2024.

On the stopping time of the Collatz map in $\mathbb{F}_2[x]$

Authors: Gil Alon, Angelot Behajaina, Elad Paran

Abstract: We study the stopping time of the Collatz map for a polynomial $f \in \mathbb{F}_2[x]$, and bound it by $O({\rm deg} (f)^{1.5})$, improving upon the quadratic bound proven by Hicks, Mullen, Yucas and Zavislak. We also prove the existence arithmetic sequences of unbounded length in the stopping times of certain sequences of polynomials, a phenomenon observed in the classical Collatz map. We study the stopping time of the Collatz map for a polynomial $f \in \mathbb{F}_2[x]$, and bound it by $O({\rm deg} (f)^{1.5})$, improving upon the quadratic bound proven by Hicks, Mullen, Yucas and Zavislak. We also prove the existence arithmetic sequences of unbounded length in the stopping times of certain sequences of polynomials, a phenomenon observed in the classical Collatz map. △ Less

Submitted 6 January, 2024; originally announced January 2024.

The Collatz map analogue in polynomial rings and in completions

Authors: Angelot Behajaina, Elad Paran

Abstract: We study an analogue of the Collatz map in the polynomial ring $R[x]$, where $R$ is an arbitrary commutative ring. We prove that if $R$ is of positive characteristic, then every polynomial in $R[x]$ is eventually periodic with respect to this map. This extends previous works of the authors and of Hicks, Mullen, Yucas and Zavislak, who studied the Collatz map on $\mathbb{F}_p[x]$ and… ▽ More We study an analogue of the Collatz map in the polynomial ring $R[x]$, where $R$ is an arbitrary commutative ring. We prove that if $R$ is of positive characteristic, then every polynomial in $R[x]$ is eventually periodic with respect to this map. This extends previous works of the authors and of Hicks, Mullen, Yucas and Zavislak, who studied the Collatz map on $\mathbb{F}_p[x]$ and $\mathbb{F}_2[x]$, respectively. We also consider the Collatz map on the ring of formal power series $R[[x]]$ when $R$ is finite: we characterize the eventually periodic series in this ring, and give formulas for the number of cycles induced by the Collatz map, of any given length. We provide similar formulas for the original Collatz map defined on the ring $\mathbb{Z}_2$ of $2$-adic integers, extending previous results of Lagarias. △ Less

Submitted 29 September, 2024; v1 submitted 1 December, 2023; originally announced December 2023.

A skew Newton-Puiseux Theorem

Authors: Elad Paran, Thieu N. Vo

Abstract: We prove a skew generalization of the Newton-Puiseux theorem for the field $F = \bigcup_{n=1}^\infty \mathbb{C}((x^\frac{1}{n}))$ of Puiseux series: For any positive real number $α$, we consider the $\mathbb{C}$-automorphism $σ$ of $F$ given by $x \mapsto αx$, and prove that every non-constant polynomial in the skew polynomial ring $F[t,σ]$ factors into a product of linear terms. This generalizes… ▽ More We prove a skew generalization of the Newton-Puiseux theorem for the field $F = \bigcup_{n=1}^\infty \mathbb{C}((x^\frac{1}{n}))$ of Puiseux series: For any positive real number $α$, we consider the $\mathbb{C}$-automorphism $σ$ of $F$ given by $x \mapsto αx$, and prove that every non-constant polynomial in the skew polynomial ring $F[t,σ]$ factors into a product of linear terms. This generalizes the classical theorem where $σ= {\rm id}$, and gives the first concrete example of a field of characteristic $0$ that is algebraically closed with respect to a non-trivial automorphism -- a notion studied in works of Aryapoor and of Smith. Our result also resolves an open question of Aryapoor concerning such fields. A key ingredient in the proof is a new variant of Hensel's lemma. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Lüroth's and Igusa's theorems over Division Rings

Authors: François Legrand, Elad Paran

Abstract: Let $H$ be a division ring of finite dimension over its center, let $H[T]$ be the ring of polynomials in a central variable over $H$, and let $H(T)$ be its quotient skew field. We show that every intermediate division ring between $H$ and $H(T)$ is itself of the form $H(f)$, for some $f$ in the center of $H(T)$. This generalizes the classical Lüroth's theorem. More generally, we extend Igusa's the… ▽ More Let $H$ be a division ring of finite dimension over its center, let $H[T]$ be the ring of polynomials in a central variable over $H$, and let $H(T)$ be its quotient skew field. We show that every intermediate division ring between $H$ and $H(T)$ is itself of the form $H(f)$, for some $f$ in the center of $H(T)$. This generalizes the classical Lüroth's theorem. More generally, we extend Igusa's theorem characterizing the transcendence degree 1 subfields of rational function fields, from fields to division rings. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Fixed points and orbits in skew polynomial rings

Authors: Adam Chapman, Elad Paran

Abstract: We study orbits and fixed points of polynomials in a general skew polynomial ring $D[x,σ, δ]$. We extend results of the first author and Vishkautsan on polynomial dynamics in $D[x]$. In particular, we show that if $a \in D$ and $f \in D[x,σ,δ]$ satisfy $f(a) = a$, then $f^{\circ n}(a) = a$ for every formal power of $f$. More generally, we give a sufficient condition for a point $a$ to be $r$-perio… ▽ More We study orbits and fixed points of polynomials in a general skew polynomial ring $D[x,σ, δ]$. We extend results of the first author and Vishkautsan on polynomial dynamics in $D[x]$. In particular, we show that if $a \in D$ and $f \in D[x,σ,δ]$ satisfy $f(a) = a$, then $f^{\circ n}(a) = a$ for every formal power of $f$. More generally, we give a sufficient condition for a point $a$ to be $r$-periodic with respect to a polynomial $f$. Our proofs build upon foundational results on skew polynomial rings due to Lam and Leroy. △ Less

Submitted 15 November, 2022; originally announced November 2022.

MSC Class: primary 16S36; secondary 16K20; 37P35; 37C25

Galois groups over rational function fields over skew fields

Authors: Gil Alon, François Legrand, Elad Paran

Abstract: Let $H$ be a skew field of finite dimension over its center $k$. We solve the Inverse Galois Problem over the field of fractions $H(X)$ of the ring of polynomial functions over $H$ in the variable $X$, if $k$ contains an ample field. Let $H$ be a skew field of finite dimension over its center $k$. We solve the Inverse Galois Problem over the field of fractions $H(X)$ of the ring of polynomial functions over $H$ in the variable $X$, if $k$ contains an ample field. △ Less

Submitted 24 February, 2020; originally announced February 2020.

A Quaternionic Nullstellensatz

Authors: Gil Alon, Elad Paran

Abstract: We prove a Nullstellensatz for the ring of polynomial functions in n non-commuting variables over Hamilton's ring of real quaternions. We also characterize the generalized polynomial identities in n variables which hold over the quaternions, and more generally, over any division algebra. We prove a Nullstellensatz for the ring of polynomial functions in n non-commuting variables over Hamilton's ring of real quaternions. We also characterize the generalized polynomial identities in n variables which hold over the quaternions, and more generally, over any division algebra. △ Less

Submitted 13 September, 2020; v1 submitted 24 November, 2019; originally announced November 2019.

Embedding problems for automorphism groups of field extensions

Authors: Arno Fehm, François Legrand, Elad Paran

Abstract: A central conjecture in inverse Galois theory, proposed by Dèbes and Deschamps, asserts that every finite split embedding problem over an arbitrary field can be regularly solved. We give an unconditional proof of a consequence of this conjecture, namely that such embedding problems can be regularly solved if one waives the requirement that the solution fields are normal. This extends previous resu… ▽ More A central conjecture in inverse Galois theory, proposed by Dèbes and Deschamps, asserts that every finite split embedding problem over an arbitrary field can be regularly solved. We give an unconditional proof of a consequence of this conjecture, namely that such embedding problems can be regularly solved if one waives the requirement that the solution fields are normal. This extends previous results of M. Fried, Takahashi, Deschamps, and the last two authors concerning the realization of finite groups as automorphism groups of field extensions. △ Less

Submitted 27 December, 2018; originally announced December 2018.

Automorphism groups over Hilbertian fields

Authors: François Legrand, Elad Paran

Abstract: We show that every finite group occurs as the automorphism group of infinitely many finite (field) extensions of any given Hilbertian field. This extends and unifies previous results of M. Fried and Takahashi on the global field case. We show that every finite group occurs as the automorphism group of infinitely many finite (field) extensions of any given Hilbertian field. This extends and unifies previous results of M. Fried and Takahashi on the global field case. △ Less

Submitted 17 December, 2017; v1 submitted 7 May, 2017; originally announced May 2017.

Split embedding problems over the open arithmetic disc

Authors: Arno Fehm, Elad Paran

Abstract: Let Z{t} be the ring of arithmetic power series that converge on the complex open unit disc. A classical result of Harbater asserts that every finite group occurs as a Galois group over the quotient field of Z{t}. We strengthen this by showing that every finite split embedding problem over Q acquires a solution over this field. More generally, we solve all t-unramified finite split embedding probl… ▽ More Let Z{t} be the ring of arithmetic power series that converge on the complex open unit disc. A classical result of Harbater asserts that every finite group occurs as a Galois group over the quotient field of Z{t}. We strengthen this by showing that every finite split embedding problem over Q acquires a solution over this field. More generally, we solve all t-unramified finite split embedding problems over the quotient field of O{t}, where O is the ring of integers of an arbitrary number field K. △ Less

Submitted 5 August, 2012; originally announced August 2012.

Comments: 23 pages

MSC Class: 12E30 (Primary); 12F12; 13J05 (Secondary)

Admissible groups over two dimensional complete local domains

Authors: Danny Neftin, Elad Paran

Abstract: Let K be the quotient field of a complete local domain of dimension 2 with a separably closed residue field. Let G be a finite group of order not divisible by char(K). Then G is admissible over K if and only if its Sylow subgroups are abelian of rank at most 2. Let K be the quotient field of a complete local domain of dimension 2 with a separably closed residue field. Let G be a finite group of order not divisible by char(K). Then G is admissible over K if and only if its Sylow subgroups are abelian of rank at most 2. △ Less

Submitted 21 October, 2009; originally announced October 2009.

Comments: 22 pages

MSC Class: 12F12; 16S35

Fully Hilbertian Fields

Authors: Lior Bary-Soroker, Elad Paran

Abstract: We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable cardinality, is more natural than the notion of Hilbertian fields. In particular, we show it can be used to achieve stronger Galois theoretic results. Our proofs also pr… ▽ More We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable cardinality, is more natural than the notion of Hilbertian fields. In particular, we show it can be used to achieve stronger Galois theoretic results. Our proofs also provide a step toward the so-called Jarden-Lubotzky twinning principle. △ Less

Submitted 2 July, 2009; originally announced July 2009.

MSC Class: 12E25; 12E30; 12F10

On totally ramified extensions of discrete valued fields

Authors: Lior Bary-Soroker, Elad Paran

Abstract: We give a simple characterization of the totally wild ramified valuations in a Galois extension of fields of characteristic p. This criterion involves the valuations of Artin-Schreier cosets of the F_{p^r}^\times-translation of a single element. We apply the criterion to construct some interesting examples. We give a simple characterization of the totally wild ramified valuations in a Galois extension of fields of characteristic p. This criterion involves the valuations of Artin-Schreier cosets of the F_{p^r}^\times-translation of a single element. We apply the criterion to construct some interesting examples. △ Less

Submitted 2 July, 2009; originally announced July 2009.

MSC Class: 12G10

Power series over generalized Krull domains

Authors: Elad Paran, Michael Temkin

Abstract: We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden -- Let R be a generalized Krull domain. Is the ring R[[X]] of formal power series over R a generalized Krull domain? We show that the answer is negative. We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden -- Let R be a generalized Krull domain. Is the ring R[[X]] of formal power series over R a generalized Krull domain? We show that the answer is negative. △ Less

Submitted 6 October, 2008; originally announced October 2008.

Comments: 7 pages