Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.02393

Prime-Power Multiplicative Modular Monoid Morphisms

Joseph Atalaye·Liam Baker·Sophie Marques
View original source ↗Read source document ↗Export metadata ↓

Abstract

We undertake a systematic study of multiplicative monoid morphisms between prime-power modular monoids $(\mathbb{Z}/p^e\mathbb{Z},\cdot)$ and $(\mathbb{Z}/q^f\mathbb{Z},\cdot)$, for arbitrary primes $p,q$ and integers $e,f\geq 1$. Our approach proceeds in three stages. We first determine the hom-set $\mathbf{Hom}(U_{p^e},U_{q^f})$ of group morphisms between the corresponding unit groups and exhibit explicit isomorphisms describing its group structure. We then identify the subset $\mathcal{H}_{p^e,q^f,v}$ of unit group morphisms that extend to full monoid morphisms on $(\mathbb{Z}/p^e\mathbb{Z},\cdot)$, characterizing it via explicit divisibility conditions and describing its algebraic structure. Finally, we give a complete description of $\mathbf{Hom}_{\mathbf{Mon}}((\mathbb{Z}/p^e\mathbb{Z},\cdot), (\mathbb{Z}/q^f\mathbb{Z},\cdot))$ and establish an explicit monoid isomorphism between this hom-set and a naturally defined monoid built from unit groups of lower-level modular rings.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joseph Atalaye, Liam Baker, Sophie Marques. 2026-10-01. Prime-Power Multiplicative Modular Monoid Morphisms. https://arxiv.org/abs/2610.02393

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

Characterization of the centrally finite Amitsur-Small division rings

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]$.

math.RA↗