The minimal Euclidean function on the Gaussian integers

DOI10.1016/J.INDAG.2022.09.005MaRDI QIDQ2111255zbMATHOpenAlexFDO

Authors Hester Graves

Publication date 28 December 2022

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3536232 (Why is no real title available?)
• About Euclidean rings
• The Euclidean algorithm

Cited in

(4)

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

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)