The minimal Euclidean function on the Gaussian integers

DOI10.1016/J.INDAG.2022.09.005zbMATH Open1504.13021arXiv2110.13112OpenAlexW2788155848MaRDI QIDQ2111255FDOQ2111255

Authors: Hester Graves 

Publication date: 28 December 2022

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Abstract: In 1949, Motzkin proved that every Euclidean domain $R$ has a minimal Euclidean function, $ph{i}_R$. He showed that when $R=mathbbZ$, the minimal function is $ph{i}_{mathbbZ}(x)=lfloorlo{g}_2|x|floor$. For over seventy years, $ph{i}_{mathbbZ}$ has been the only example of an explictly-computed minimal function in a number field. We give the first explicitly-computed minimal function in a non-trivial number field, $ph{i}_{mathbbZ[i]}$, which computes the length of the shortest possible $(1+i)$-ary expansion of any Gaussian integer. We also present an algorithm that uses $ph{i}_{mathbbZ[i]}$ to compute minimal $(1+i)$-ary expansions of Gaussian integers. We solve these problems using only elementary methods.

Full work available at URL: https://arxiv.org/abs/2110.13112

Recommendations

• On the number of divisions of the Euclidean algorithm applied to Gaussian integers
• Bounds for the Euclidean minima of function fields
• Euclidean rings of algebraic numbers and functions
• Euclidean functions of computable Euclidean domains
• Computation of the Euclidean minimum of algebraic number fields

zbMATH Keywords

Euclidean algorithmEuclidean domainnumber theoryGaussian integersEuclidean functionminimal Euclidean function

Mathematics Subject Classification ID

Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05) Euclidean rings and generalizations (13F07)

Cites Work

• About Euclidean rings
• The Euclidean algorithm
• Title not available (Why is that?)

Cited In (4)

• Finite generalized continued fractions in Euclidean domains
• EUCLIDEAN MINIMA AND CENTRAL DIVISION ALGEBRAS
• On Motzkin's characterization for Euclidean domain
• Euclidean functions of computable Euclidean domains

This page was built for publication: The minimal Euclidean function on the Gaussian integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2111255)