Source author record

Hester Graves

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

3works
1topics
1close collaborators

Published work

3 publications

preprint2022arXiv

An Elementary Proof of the Minimal Euclidean Function on the Gaussian Integers

Every Euclidean domain RR has a minimal Euclidean function, ϕRϕ_R. A companion paper \cite{Graves} introduced a formula to compute ϕZ[i]ϕ_{\mathbb{Z}[i]}. It is the first formula for a minimal Euclidean function for the ring of integers of a non-trivial number field. It did so by studying the geometry of the set Bn={∑j=0nvj(1+i)j:vj∈{0,±1,±i}}B_n = \left \{ \sum_{j=0}^n v_j (1+i)^j : v_j \in \{0, \pm 1, \pm i \} \right \} and then applied Lenstra's result that ϕZ[i]−1([0,n])=Bnϕ_{\mathbb{Z}[i]}^{-1}([0,n]) = B_n to provide a short proof of ϕZ[i]ϕ_{\mathbb{Z}[i]}. Lenstra's proof requires s substantial algebra background. This paper uses the new geometry of the sets BnB_n to prove the formula for ϕZ[i]ϕ_{\mathbb{Z}[i]} without using Lenstra's result. The new geometric method lets us prove Lenstra's theorem using only elementary methods. We then apply the new formula to answer Pierre Samuel's open question: what is the size of ϕZ[i]−1(n)ϕ_{\mathbb{Z}[i]}^{-1}(n)?. Appendices provide a table of answers and the associated SAGE code.

preprint2010arXiv

Growth Results and Euclidean Ideals

Lenstra's concept of Euclidean ideals generalizes the Euclidean algorithm; a domain with a Euclidean ideal has cyclic class group, while a domain with a Euclidean algorithm has trivial class group. This paper generalizes Harper's variation of Motzkin's lemma to Lenstra's concept of Euclidean ideals and then uses the large sieve to obtain growth results. It concludes that if a certain set of primes is large enough, then the ring of integers of a number field with cyclic class group has a Euclidean ideal.

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.