Golden field

Elements of the golden field can be written in the form {{tmath|a + b\sqrt5}} where {{tmath|a}} and {{tmath|b}} are uniquely determined{{sfn|Lind|1968}} rational numbers, or in the form {{tmath|\bigl(a + b\sqrt5~\!\bigr)\big/ c}} where {{tmath|a}}, {{tmath|b}}, and {{tmath|c}} are integers, which can be uniquely reduced to lowest terms. It is sometimes more convenient instead to use the form {{tmath|a + b\varphi}} where {{tmath|a}} and {{tmath|b}} are rational and {{tmath|\varphi}} is the golden ratio, or the form {{tmath|(a + b\varphi)/c}} where {{tmath|a}}, {{tmath|b}}, and {{tmath|c}} are integers.{{sfn|Dickson|1923|pp=129–130, 139}}

Converting between these alternative forms is straight-forward: {{tmath|1= a + b\sqrt5 = (a - b) + (2b)\varphi}}, or in the other direction {{tmath|1= a + b\varphi = \bigl(a + \tfrac12 b\bigr) + \bigl(\tfrac12 b\bigr)\sqrt5}}.{{sfn|Dodd|1983}}

To add or subtract two numbers, simply add or subtract the components separately:{{sfn|Dimitrov|Cosklev|Bonevsky|1995}}

$$\backslash begin\{align\}$$

\bigl(a_1 + b_1\sqrt5~\!\bigr) + \bigl(a_2 + b_2\sqrt5~\!\bigr) &= (a_1 + a_2) + (b_1 + b_2)\sqrt5, \\[3mu]

(a_1 + b_1\varphi) + (a_2 + b_2\varphi) &= (a_1 + a_2) + (b_1 + b_2)\varphi.

\end{align}

To multiply two numbers, distribute:{{sfn|Dimitrov|Cosklev|Bonevsky|1995}}

$$\backslash begin\{align\}$$

\bigl(a_1 + b_1\sqrt5~\!\bigr) \bigl(a_2 + b_2\sqrt5~\!\bigr) &= (a_1a_2 + 5b_1b_2) + (a_1b_2 + b_1a_2)\sqrt5, \\[3mu]

(a_1 + b_1\varphi)(a_2 + b_2\varphi) &= (a_1a_2 + b_1b_2) + (a_1b_2 + b_1a_2 + b_1b_2)\varphi.

\end{align}

To find the reciprocal of a number $\backslash alpha$, rationalize the denominator: $1/\backslash alpha\; =\; \{\}$$\backslash bar\backslash alpha\; /\; \backslash alpha\; \backslash bar\backslash alpha\; =\; \{\}${{nobr|$\backslash bar\backslash alpha\; /\; \backslash mathrm\{N\}(\backslash alpha)$,}} where {{tmath|\bar\alpha}} is the conjugate and {{tmath|\mathrm N(\alpha)}} is the field norm, as defined below. Explicitly:

$$\backslash begin\{align\}$$

\frac{1}{a + b\sqrt5} &= \frac{a}{a^2 - 5b^2} - \frac{b}{a^2 - 5b^2}\sqrt5, \\[3mu]

\frac{1}{a + b\varphi} &= \frac{a + b}{a^2 + ab - b^2 } - \frac{b}{a^2 + ab - b^2 }\varphi.

\end{align}

To divide two numbers, multiply the first by second's reciprocal, $\backslash alpha\_1/\backslash alpha\_2\; =\; \{\}${{nobr|$\backslash alpha\_1\backslash bar\backslash alpha\_2\; /\; \backslash mathrm\{N\}(\backslash alpha\_2)$.}} Explicitly:

$$\backslash begin\{align\}$$

\frac{a_1 + b_1\sqrt5}{a_2 + b_2\sqrt5} &= \frac{a_1a_2 - 5b_1b_2}{a_2^2 - 5b_2^2} + \frac{-a_1b_2 + b_1a_2}{a_2^2 - 5b_2^2}\sqrt5, \\[6mu]

\frac{a_1 + b_1\varphi}{a_2 + b_2\varphi} &= \frac{a_1a_2 + a_1b_2 - b_1b_2}{a_2^2 + a_2b_2 - b_2^2 } + \frac{-a_1b_2 + b_1a_2}{a_2^2 + a_2b_2 - b_2^2 }\varphi.

\end{align}

The numbers {{tmath|\sqrt5}} and {{tmath|-\sqrt5}} each solve the equation {{tmath|1=\textstyle x^2 = 5}}. Each number {{tmath|a + b\sqrt5}} in {{Q(√5)}} has a Galois conjugate found by swapping these two square roots of 5, i.e., by changing the sign of {{tmath|b}}. The conjugate of {{tmath|\varphi}} is $\backslash bar\backslash varphi\; =\; \backslash tfrac12\backslash bigl(1\; -\; \backslash sqrt5~\backslash !\backslash bigr)\; =\; \{\}$$\backslash textstyle\; -\backslash varphi^\{-1\}\; =\; \{\}${{nobr|$1\; -\; \backslash varphi$}}. The conjugate of a number {{tmath|x}} is commonly denoted {{tmath|\bar x}}, as with the complex conjugate. In general, the conjugate is:

$$\backslash begin\{align\}$$

\overline{a + b\sqrt5} &= a - b\sqrt5, \\[3mu]

\overline{a + b\varphi} &= a + b - b\varphi.

\end{align}

The sum of a number and its conjugates is called the field trace or just the trace (so-called because multiplication by an element in the field can be seen as a kind of linear transformation, the trace of whose matrix is the field trace). The field trace of {{Q(√5)}} is:

$$\backslash begin\{align\}$$

\mathrm{Tr}\bigl(a + b\sqrt5~\!\bigr) &= \bigl(a + b\sqrt5~\!\bigr) + \bigl(a - b\sqrt5~\!\bigr) = 2a, \\[3mu]

\mathrm{Tr}(a + b\varphi) &= (a + b\varphi) + (a + b - b\varphi) = 2a + b.

\end{align}

This is always an (ordinary) rational number.

Multiplying a number in {{Q(√5)}} by its conjugate gives a measure of that number's "size" or "magnitude", called the field norm or just the norm.{{sfn|Appleby|Bengtsson|Grassl|Harrison|2022}} The field norm of {{Q(√5)}} is:

$$\backslash begin\{align\}$$

\mathrm{N}\bigl(a + b\sqrt5~\!\bigr) &= a^2 - 5b^2, \\[3mu]

\mathrm{N}(a + b\varphi) &= a^2 + ab - b^2.

\end{align}

This is also always a rational number.

The norm has some properties expected for magnitudes. For instance, a number and its conjugate have the same norm, {{tmath|1= \mathrm{N}(\alpha) = \mathrm{N}(\bar\alpha)}}; the norm of a product is the product of norms, {{tmath|1= \operatorname{N}(\alpha\beta) = \mathrm{N}(\alpha)\mathrm{N}(\beta)}}; and the norm of a number's reciprocal is the reciprocal of the norm, {{tmath|1= \mathrm{N}(1/\alpha) = 1/\mathrm{N}(\alpha)}}.{{sfn|Dodd|1983}}

A number {{tmath|\alpha}} in {{Q(√5)}} and its conjugate {{tmath|\bar\alpha}} are the solutions of the quadratic equation{{sfn|Dodd|1983}}

(x - \alpha)(x - \bar\alpha)

= x^2 - \mathrm{Tr}(\alpha)x + \mathrm{N}(\alpha) = 0.

In Galois theory, the golden field can be considered more abstractly as the set of all numbers {{tmath|a + bu}}, where {{tmath|a}} and {{tmath|b}} are both rational, and all that is known of {{tmath|u}} is that it satisfies the equation {{tmath|1=\textstyle u^2 = 5}}. There are two ways to embed this set in the real numbers: by mapping {{tmath|u}} to the positive square root {{tmath|\sqrt5}} or alternatively by mapping {{tmath|u}} to the negative square root {{tmath|-\sqrt5}}. Galois conjugation exchanges these two embeddings. The Galois group of the golden field is thus the group with two elements, namely the identity and an element which is its own inverse.{{sfn|Appleby|Bengtsson|Grassl|Harrison|2022}}

File:Golden integer lattice.png, using the number as the horizontal coordinate and its conjugate as the vertical coordinate. Then numbers with the same norm lie on hyperbolas (orange and green lines).]]

The ring of integers of the golden field, {{tmath|\Z[\varphi]}}, sometimes called the golden integers,For instance by {{harvnb|Rokhsar|Mermin|Wright|1987}}. is the set of numbers of the form $a\; +\; b\backslash varphi$ where $a$ and $b$ are both ordinary integers.{{sfnm|1a1=Hirzebruch|1y=1976 |2a1=Sporn|2y=2021}} This is the set of golden rational numbers whose norm is an integer. A unit is an algebraic integer whose multiplicative inverse is also an algebraic integer, which happens when its norm is {{tmath|\pm 1}}. The units of {{Q(√5)}} are given by integer powers of the golden ratio and their negatives, {{tmath|\pm\varphi^n}}, for any integer {{tmath|n}}.{{sfn|Lind|1968}} Some Golden ratio#Golden ratio conjugate and powers are ... {{tmath|1= \varphi^{-2} = 2 - \varphi}}, {{tmath|1= \varphi^{-1} = -1 + \varphi}}, {{tmath|1= \varphi^0 = 1}}, {{tmath|1= \varphi^1 = \varphi}}, {{tmath|1= \varphi^2 = 1 + \varphi}}, {{tmath|1= \varphi^3 = 1 + 2\varphi}}, ... and in general {{tmath|1=\textstyle \varphi^{n} = F_{n-1} + F_n\varphi }}, where {{tmath|F_n}} is the {{tmath|n}}th Fibonacci number.{{sfn|Dimitrov|Cosklev|Bonevsky|1995}}

The prime elements of the ring, analogous to prime numbers among the integers, are of three types: {{tmath|1= \sqrt5 = -1 + 2\varphi}}, integer primes of the form {{tmath|1= p = 5n \pm 2}} where {{tmath|n}} is an integer, and the factors of integer primes of the form {{tmath|1= p = 5n \pm 1}} (a pair of conjugates).{{sfn|Hardy|Wright|1954|p=221–222}} For example, {{tmath|2}}, {{tmath|3}}, and {{tmath|7}} are primes, but {{tmath|1= 11 = (3 + \varphi)(4 - \varphi)}} is composite. Any of these is an associate of additional primes found by multiplying it by a unit; for example {{tmath|2\varphi}} is also prime because {{tmath|\varphi}} is a unit.

The ring {{tmath|\Z[\varphi]}} is a Euclidean domain with the norm as its Euclidean function, meaning a version of the Euclidean algorithm can be used to find the greatest common divisor of two numbers.{{sfnp|Dodd|1983|at=Ch. 2, [https://archive.org/details/numbertheoryinqu0000dodd/page/7 "Elementary Divisibility Properties of {{math|Z(ω)}}"], {{pgs|7–19}}}} This makes {{Q(√5)}} a norm-Euclidean field.

The golden field is the real quadratic field with the smallest discriminant.{{sfn|Dembélé|2005}} It has class number 1 and is a unique factorization domain.{{sfn|Sloane "A003172"}}

Any positive element of the golden field can be written as a generalized type of continued fraction, in which the partial quotients are sums of non-negative powers of $\backslash varphi$.{{sfn|Bernat|2006}}

The golden ratio {{tmath|1= \varphi = \tfrac12\bigl(1 + \sqrt5~\!\bigr)}} is the ratio between the lengths of a diagonal and a side of a regular pentagon, so the golden field and golden integers feature prominently in the metrical geometry of the regular pentagon, the regular pentagram (five-pointed star polygon), and their symmetry system, as well as higher-dimensional objects and symmetries involving five-fold symmetry.

The fifth cyclotomic field {{tmath|\Q(\zeta_5)}} is the field extension of the rational numbers formed by adjoining any of the complex 5th roots of unity, one of the five numbers of unit absolute value spaced equally around the complex unit circle, {{tmath|{\exp}\bigl(\tfrac15k \cdot 2\pi i\bigr) }} with integer {{tmath|k}} and imaginary unit {{tmath|i}}. {{tmath|\Q(\zeta_5)}} is of degree four over the rational numbers (any four of the five roots are independent, but they sum to the additive inverse of the fifth). However, {{tmath|\Q(\zeta_5)}} is only of degree two over {{Q(√5)}},

$$\backslash begin\{align\}$$

x^5 - 1 &= (x - 1)\bigl(x^4 + x^3 + x^2 + x + 1\bigr) \\[2mu]

&= (x - 1)\bigl(x^2 + \bar \varphi x + 1\bigr)\bigl(x^2 + \varphi x + 1\bigr) \\[2mu]

&= (x - 1)\bigl(x - e^{2\pi i/5}\bigr)\bigl(x - e^{-2\pi i/5}\bigr)\bigl(x - e^{4\pi i/5}\bigr)\bigl(x - e^{-4\pi i/5}\bigr),

\end{align}

where the conjugate {{tmath|1= \bar \varphi = 1 - \varphi}}. As a result, any of fifth roots of unity is a sum, with coefficients in {{Q(√5)}}, of {{tmath|1}} and any of the others. Conversely, {{Q(√5)}} is a subfield of {{tmath|\Q(\zeta_5)}}, because, for instance, {{tmath|1=\textstyle e^{4\pi i/5} + e^{-4\pi i/5} = -\varphi}}.

The vertices of the four-dimensional polytope known as the 600-cell can be chosen so that their coordinates lie within the golden integers.{{sfn|Denney|Hooker|Johnson|Robinson|2020}}

The icosians are a special set of quaternions that are used in a construction of the E₈ lattice. Each component of an icosian always belongs to the golden field.{{sfnm|1a1=Conway|1a2=Sloane|1y=1999|1pp=207–208 |2a1=Pleasants|2y=2002|2pp=213–214}} The icosians of unit norm are the vertices of a 600-cell.{{sfn|Denney|Hooker|Johnson|Robinson|2020}}

Golden integers are used in studying quasicrystals.{{sfn|Sporn|2021}}

The quintic case of Fermat's Last Theorem, that there are no nontrivial integer solutions to the equation {{tmath|1=\textstyle a^5 + b^5 = c^5}}, was proved using {{Q(√5)}} by Gustav Lejeune Dirichlet and Adrien-Marie Legendre in 1825–1830.{{harvnb|Ribenboim|1999}}; {{harvnb| Dirichlet|1828}}; {{harvnb|Legendre|1830}}.

In enumerative geometry, it is proven that every non-singular cubic surface contains exactly 27 lines. The Clebsch surface is unusual in that all 27 lines can be defined over the real numbers.{{sfn|Baez|2016}} They can, in fact, be defined over the golden field.{{sfnm|1a1=Hunt|1y=1996 |2a1=Polo-Blanco|2a2=Top|2y=2009}}

An abelian extension of the golden field is used in a construction of a SIC-POVM in four-dimensional complex vector space.{{sfnm|1a1=Appleby|1a2=Bengtsson|1a3=Grassl|1a4=Harrison|1y=2022|2a1=Bengtsson|2y=2017}}

{{reflist}}

{{div col|colwidth=35em}}

• {{cite journal |first1=Marcus |last1=Appleby |first2=Ingemar |last2=Bengtsson |first3=Markus |last3=Grassl |first4=Michael |last4=Harrison |first5=Gary |last5=McConnell |title=SIC-POVMs from Stark units: Prime dimensions {{tmath|\textstyle n^2 + 3}} |journal=Journal of Mathematical Physics |volume=63 |page=112205 |year=2022 |doi=10.1063/5.0083520 |arxiv=2112.05552}}
• {{cite web|first=John |last=Baez |author-link=John C. Baez |title=Clebsch Surface |website=Visual Insight |publisher=American Mathematical Society |url=https://blogs.ams.org/visualinsight/2016/03/01/clebsch-surface/ |date=2016-03-01 |access-date=2025-06-22}}
• {{cite journal|last=Bengtsson |first=Ingemar |title=The number behind the simplest SIC-POVM |journal=Foundations of Physics |volume=47 |year=2017 |pages=1031–1041 |doi=10.1007/s10701-017-0078-3 |arxiv=1611.09087}}
• {{cite journal|last=Bernat |first=J. |year=2006 |title=Continued fractions and numeration in the Fibonacci base |journal=Discrete Mathematics |volume=306 |number=22 |pages=2828–2850 |doi=10.1016/j.disc.2006.05.020}}
• {{cite book|last1=Conway |first1=J. H. |author-link1=John Horton Conway |last2=Sloane |first2=N. J. A. |author-link2=Neil Sloane |year=1999 |chapter=Algebraic Constructions for Lattices |title=Sphere Packings, Lattices and Groups |edition=3rd |pages=206–244 |doi=10.1007/978-1-4757-6568-7_8}}
• {{cite journal | zbl=1152.11328 | last=Dembélé | first=Lassina | title=Explicit computations of Hilbert modular forms on {{Q(√5)}} | journal=Experimental Mathematics | volume=14 | number=4 | pages=457–466 | year=2005 | url=http://www.emis.de/journals/EM/expmath/volumes/14/14.4/Dembele.pdf | doi=10.1080/10586458.2005.10128939 }}
• {{cite journal |first1=Tomme |last1=Denney |first2=Da'Shay |last2=Hooker |first3=De'Janeke |last3=Johnson |first4=Tianna |last4=Robinson |first5=Majid |last5=Butler |first6=Sandernisha |last6=Claiborne |title=The geometry of H₄ polytopes |journal=Advances in Geometry |volume=20 |number=3 |year=2020 |pages=433–444 |arxiv=1912.06156 |doi=10.1515/advgeom-2020-0005}}
• {{cite book |last=Dickson |first=Leonard E. |author-link=Leonard Eugene Dickson |title=Algebras and their Arithmetics |year=1923 |publisher=University of Chicago Press |url=https://archive.org/details/algebrastheirari00dick_0/ }}
• {{cite journal |last1=Dimitrov |first1=V. S. |last2=Cosklev |first2=T. V. |last3=Bonevsky |first3=B. |year=1995 |title=Number theoretic transforms over the golden section quadratic field |journal=IEEE Transactions on Signal Processing |volume=43 |number=8 |pages=1790–1797 |doi=10.1109/78.403338}}
• {{cite journal |year=1828 |last=Dirichlet |first=Gustav Lejeune |author-link=Gustav Lejeune Dirichlet |title=Mémoire sur l'impossibilité de quelques équations indéterminées du cinquième degré |journal=Journal für die reine und angewandte Mathematik |url=https://archive.org/details/journalfurdierei3418unse/page/n361/ |volume=3 |pages=354–375 |doi=10.1515/crll.1828.3.354}}
• {{cite book |last=Dodd |first=Fred Wayne |year=1983 |title=Number theory in the quadratic field with golden section unit |place=Passaic, NJ |publisher=Polygonal Publishing House |isbn=0-936428-08-2 |url=https://archive.org/details/numbertheoryinqu0000dodd/ |url-access=limited}}
• {{cite book |last1=Hardy |first1=G. H. |author-link1=G. H. Hardy |last2=Wright |first2=E. M. |author-link2=E. M. Wright |title=An Introduction to the Theory of Numbers |edition=3rd |place=Oxford |publisher=Clarendon Press |year=1954 |chapter-url=https://archive.org/details/introductiontoth0000hard_z6j4/page/218 |chapter-url-access=limited |chapter=Quadratic Fields (2) |pages=218–232 }}
• {{cite journal |last=Hirzebruch |first=Friedrich |author-link=Friedrich Hirzebruch |title=The Hilbert modular group for the field Q(√5), and the cubic diagonal surface of Clebsch and Klein |doi=10.1070/RM1976v031n05ABEH004190 | mr=0498397 |year=1976 |journal=Russian Mathematical Surveys |volume=31 |number=5 |pages=96–110}}
• {{cite book|last=Hunt |first=B. |year=1996 |chapter=The 27 lines on a cubic surface |title=The Geometry of some special Arithmetic Quotients |series=Lecture Notes in Mathematics |volume=1637 |publisher=Springer |doi=10.1007/BFb0094404 |isbn=978-3-540-61795-2}}
• {{cite book |year=1830 |last=Legendre |first=Adrien-Marie |author-link= Adrien-Marie Legendre |chapter=De l'équation {{tmath|1=\textstyle x^5 + y^5 + z^5 = 0}} |at=§ 6.IV {{pgs|361–368}} |title=Théorie des Nombres |edition=3rd |volume=II |publisher=Firmin Didot Fréres |place=Paris |chapter-url=https://archive.org/details/bwb_O7-BPK-706/page/361/ }}
• {{cite journal|last=Lind |first=D. A. |title=The quadratic field Q(√5) and a certain Diophantine equation | journal=The Fibonacci Quarterly |doi=10.1080/00150517.1968.12431231 |volume=6 |year=1968 |number=3 |pages=86–93 |url=https://fq.math.ca/Scanned/6-3/lind.pdf }}
• {{cite book|first=Peter A. B. |last=Pleasants |chapter=Lines and Planes in 2- and 3-Dimensional Quasicrystals |title=Coverings of Discrete Quasiperiodic Sets |publisher=Springer |doi=10.1007/3-540-45805-0_6 |series=Springer Tracts in Modern Physics |volume=180 |pages=185–225 |isbn=978-3-540-43241-8 |year=2002}}
• {{cite journal|last1=Polo-Blanco |first1=I. |last2=Top |first2=J. |year=2009 |title=A remark on parameterizing nonsingular cubic surfaces |journal=Computer Aided Geometric Design |volume=26 |number=8 |pages=842–849 |doi=10.1016/j.cagd.2009.06.001}}
• {{cite book |last=Ribenboim |first=Paolo |author-link=Paulo Ribenboim |year=1999 |title=Fermat's Last Theorem for Amateurs |chapter=The Quintic Equation |at=§{{nbsp}}I.6, {{pgs|49–57}} |isbn=0-387-98508-5 |publisher=Springer |doi=10.1007/978-0-387-21692-8_2 }}
• {{cite journal |last1=Rokhsar |first1=D. S. |last2=Mermin |first2=N. D. |last3=Wright |first3=D. C. |year=1987 |title=Rudimentary quasicrystallography: The icosahedral and decagonal reciprocal lattices |journal=Physical Review B |volume=35 |number=11 |pages=5487–5495 |doi=10.1103/physrevb.35.5487 }}
• {{cite OEIS| A003172|Q(sqrt n) is a unique factorization domain (or simple quadratic field)|ref={{harvid|Sloane "A003172"}}}}
• {{cite journal

| last = Sporn

| first = Howard

| year = 2021

| title = A group structure on the golden triples

| journal = The Mathematical Gazette

| volume = 105

| number = 562

| pages = 87–97

| doi = 10.1017/mag.2021.11

}}

{{div col end}}

Category:Algebraic number theory

Category:Field (mathematics)

Category:Golden ratio