arXiv subjects

H. W. Lenstra Jr

Publications and source records attributed to H. W. Lenstra Jr.

2 recordsLinked to original sources

arXiv2023

Realizing orders as group rings

An order is a commutative ring that as an abelian group is finitely generated and free. A commutative ring is reduced if it has no non-zero nilpotent elements. In this paper we use a new tool, namely, the fact that every reduced order has a universal grading, to answer questions about realizing orders as group rings. In particular, we address the Isomorphism Problem for group rings in the case where the ring is a reduced order. We prove that any non-zero reduced order $R$ can be written as a group ring in a unique ``maximal'' way, up to isomorphism. More precisely, there exist a ring $A$ and a finite abelian group $G$, both uniquely determined up to isomorphism, such that $R\cong A[G]$ as rings, and such that if $B$ is a ring and $H$ is a group, then $R\cong B[H]$ as rings if and only if there is a finite abelian group $J$ such that $B\cong A[J]$ as rings and $J\times H\cong G$ as groups. Computing $A$ and $G$ for given $R$ can be done by means of an algorithm that is not quite polynomial-time. We also give a description of the automorphism group of $R$ in terms of $A$ and $G$.

math.AC↗

arXiv2014

Character sums for primitive root densities

It follows from the work of Artin and Hooley that, under assumption of the generalized Riemann hypothesis, the density of the set of primes $q$ for which a given non-zero rational number $r$ is a primitive root modulo $q$ can be written as an infinite product $\prod_p δ_p$ of local factors $δ_p$ reflecting the degree of the splitting field of $X^p-r$ at the primes $p$, multiplied by a somewhat complicated factor that corrects for the `entanglement' of these splitting fields. We show how the correction factors arising in Artin's original primitive root problem and some of its generalizations can be interpreted as character sums describing the nature of the entanglement. The resulting description in terms of local contributions is so transparent that it greatly facilitates explicit computations, and naturally leads to non-vanishing criteria for the correction factors. The method not only applies in the setting of Galois representations of the multiplicative group underlying Artin's conjecture, but also in the GL$_2$-setting arising for elliptic curves. As an application, we compute the density of the set of primes of cyclic reduction for Serre curves.

math.NT↗