arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.04317

Characterization of the centrally finite Amitsur-Small division rings

Elad Paran
View original source ↗Read source document ↗Export metadata ↓

Abstract

In 1978, Amitsur and Small asked whether, for every division ring $D$, maximal left ideals of $D[x_1,\ldots,x_n]$ contract to maximal left ideals in smaller polynomial subrings. Chapman and the author showed that the answer is negative in general and called $D$ an Amitsur-Small ring when this contraction property always holds. Earlier work showed that Hamilton's real quaternion algebra is Amitsur-Small, that division algebras of degree three are not Amitsur-Small, and that degree-two examples are restricted to a specific quaternionic form; subsequent work excluded cyclic division algebras of odd prime degree. We give a complete resolution in the centrally finite case. If $D$ has finite dimension over its center $F$, then $D$ is an Amitsur-Small ring if and only if either $D=F$, or $F$ is real closed and $D$ is the Hamilton quaternion algebra $(-1,-1)_F$. In every other noncommutative centrally finite case, failure already occurs in two variables: there is a maximal left ideal $M\subseteq D[x,y]$ such that $M\cap D[x]$ is not maximal in $D[x]$.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Elad Paran. 2026-10-03. Characterization of the centrally finite Amitsur-Small division rings. https://arxiv.org/abs/2610.04317

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A closer look at some cyclic semifields

We prove that the choice of the automorphism $σ$ in the construction of a Petit semifield is important when counting isomorphism classes. Different choices of generators $σ$ of the Galois group of a cyclic field extension $K/F$ of degree $n$ can produce non-isomorphic proper nonassociative Petit algebras $K[t;σ]/K[t;σ](t^m-a)$ when $n\nmid m$, or when $n=m$ and $a$ does not lie in the fixed field of $σ$. In particular, this is the case when $F$ is a finite field. Thus there are $φ(n)$ families of these semifields (where $φ$ is the Euler function); one family for each distinct generator $σ$ involved in their construction, and no algebra in one family is isomorphic to one in another family. We then turn to the isotopy classes of these algebras. When the order of $σ$ is greater or equal to the degree $m$, and whenever $m\geq 3$ when $n>m$, two proper nonassociative Petit division algebras $K[t;σ]/K[t;σ](t^m-a_1)$ and $K[t;σ]/K[t;σ](t^m-a_2)$ which are isotopic are indeed already isomorphic, whenever ${\rm Aut}(K)$ is abelian. Under the same assumptions on $n$ and $m$, two such semifields constructed from the same generator $σ$ of ${\rm Gal}(\mathbb{F}_{q^n}/\mathbb{F}_{q})$ are thus isomorphic whenever they are isotopic. For $n = m$, we show that each isotopy class of Petit semifields $K[t;σ]/K[t;σ]f$ contains a proper nonassociative cyclic algebra $(K/F,σ,a)$. We then count the isotopy classes of all Petit semifields when $n>2$. We also present some upper bounds, counts, and parametrizations for different equivalence and isomorphism classes. Most of our results are proved in all generality for any cyclic Galois field extension.

math.RA↗
arXiv2026

The isotopy classes of Petit division algebras

Let $R=K[t;σ]$ be a skew polynomial ring, where $K$ is a cyclic Galois field extension of degree $n$ with Galois group generated by $σ$. We show that two irreducible skew polynomials $f,g\in R$ are similar if and only if they have the same bound. We prove that for two irreducible similar skew polynomials $f,g\in R$ the nonassociative Petit division algebras $R/Rf$ and $R/Rg$ are isotopic. We then refine this result and demonstrate that $f$ and $g$ also yield two isotopic nonassociative Petit algebras $R/Rf$ and $R/Rg$, when the two irreducible polynomials in $F[x]$ that define the minimal central left multiples of $f$ and $g$ have identical degree and lie in the same orbit of some group $G$. For finite fields, we obtain the exact number of isotopy classes of Petit semifields for $n>2$.

math.RA↗
arXiv2026

Affine subspaces of units in simple algebras

Let $A$ be a simple algebra over a field $F$. Under a mild cardinality assumption on $F$, we determine the greatest possible dimension for an $F$-affine subspace of $A$ that is included in the group of units $A^\times$, and we describe the spaces that have the greatest possible dimension. This is equivalent to the problem of determining the greatest possible dimension for an $F$-linear subspace $S$ of $A$ in which $x-1_A$ is a unit for all $x \in S$, and we elucidate the structure of these linear subspaces up to conjugation when their dimension reaches the greatest possible one. These classifications involve the associative composition algebras over $F$. Over fields of characteristic other than $2$, the first problem is essentially reduced to the classification of nonisotropic quadratic forms over $F$ and of nonisotropic Hermitian forms over quadratic and quaternionic extensions of $F$. These results are intimately connected with the problem of intransitive operator spaces between finite-dimensional vector spaces over division rings, which we study in depth: in particular, we generalize a dual version of Atkinson's theorem on primitive spaces of bounded rank matrices.

math.RA↗