Cyclotomic field

In number theory, a cyclotomic field is a number field obtained by adjoining a complex primitive root of unity to $Q$ , the field of rational numbers. The $n$ -th cyclotomic field $Q (ζ n)$ (where $n > 2$ ) is obtained by adjoining a primitive $n$ -th root of unity $ζ n$ to the rational numbers.

The cyclotomic fields played a crucial role in the development of modern algebra and number theory because of their relation with Fermat's last theorem. It was in the process of his deep investigations of the arithmetic of these fields (for prime $n$ ) – and more precisely, because of the failure of unique factorization in their rings of integers – that Ernst Kummer first introduced the concept of an ideal number and proved his celebrated congruences.

Properties

A cyclotomic field is the splitting field of the cyclotomic polynomial

\Phi _{n}(x)=\prod _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}\left(x-e^{2i\pi {\frac {k}{n}}}\right)

and therefore it is a Galois extension of the field of rational numbers. The degree of the extension

[Q (ζ n): Q]

is given by $φ (n)$ where $φ$ is Euler's phi function. A complete set of Galois conjugates is given by ${ (ζ n) a}$ , where $a$ runs over the set of invertible residues modulo $n$ (so that $a$ is relatively prime to $n$ ). The Galois group is naturally isomorphic to the multiplicative group

(Z / n Z) \times

of invertible residues modulo $n$ , and it acts on the primitive $n$ th roots of unity by the formula

b : (ζ n) a \to (ζ n) a b

.

The discriminant of the extension is[1]

(-1)^{\varphi (n)/2}{\frac {n^{\varphi (n)}}{\displaystyle \prod _{p|n}p^{\varphi (n)/(p-1)}}},

where $\varphi (n)$ is Euler's totient function.

The ring of integers of the cyclotomic field $Q (ζ n)$ is $Z [ζ n]$ .

Relation with regular polygons

Gauss made early inroads in the theory of cyclotomic fields, in connection with the geometrical problem of constructing a regular $n$ -gon with a compass and straightedge. His surprising result that had escaped his predecessors was that a regular heptadecagon (with 17 sides) could be so constructed. More generally, if $p$ is a prime number, then a regular $p$ -gon can be constructed if and only if $p$ is a Fermat prime; in other words if $\varphi (p)=p-1=2^{k}$ is a power of 2.

For $n = 3$ and $n = 6$ primitive roots of unity admit a simple expression via square root of three, namely:

ζ 3 =

√3

i

− 1/2,

ζ 6 =

√3

i

+ 1/2

Hence, both corresponding cyclotomic fields are identical to the quadratic field Q(√−3). In the case of $ζ 4 = i =$ √−1 the identity of $Q (ζ 4)$ to a quadratic field is even more obvious. However, this is not the case for $n = 5$ , because expressing fifth roots of unity requires square roots of square root expressions, or a quadratic extension of a quadratic extension. The geometric problem for a general $n$ can be reduced to the following question in Galois theory: can the $n$ th cyclotomic field be built as a sequence of quadratic extensions?

Relation with Fermat's Last Theorem

A natural approach to proving Fermat's Last Theorem is to factor the binomial $x n + y n$ , where $n$ is an odd prime, appearing in one side of Fermat's equation

x^{n}+y^{n}=z^{n}

as follows:

x^{n}+y^{n}=(x+y)(x+\zeta y)\cdots (x+\zeta ^{n-1}y)

Here $x$ and $y$ are ordinary integers, whereas the factors are algebraic integers in the cyclotomic field $Q (ζ n)$ . If unique factorization of algebraic integers were true, then it could have been used to rule out the existence of nontrivial solutions to Fermat's equation.

Several attempts to tackle Fermat's Last Theorem proceeded along these lines, and both Fermat's proof for $n = 4$ and Euler's proof for $n = 3$ can be recast in these terms. The complete list of n for which the field has unique factorization is:[2]

1 through 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 40, 42, 44, 45, 48, 50, 54, 60, 66, 70, 84, 90.

Kummer found a way around this difficulty. He introduced a replacement for the prime numbers in the cyclotomic field $Q (ζ p)$ , expressed the failure of unique factorization quantitatively via the class number $h p$ and proved that if $h p$ is not divisible by $p$ (such numbers $p$ are called regular primes) then Fermat's theorem is true for the exponent $n = p$ . Furthermore, he gave a criterion to determine which primes are regular and using it, established Fermat's theorem for all prime exponents $p$ less than 100, with the exception of the irregular primes 37, 59, and 67. Kummer's work on the congruences for the class numbers of cyclotomic fields was generalized in the twentieth century by Iwasawa in Iwasawa theory and by Kubota and Leopoldt in their theory of p-adic zeta functions.

List of class numbers of cyclotomic fields

(sequence A061653 in the OEIS), or OEIS: A055513 or OEIS: A000927 for the $h$ -part (for prime n)

1-22: 1
23: 3
24-28: 1
29: 8
30: 1
31: 9
32-36: 1
37: 37
38: 1
39: 2
40: 1
41: 121
42: 1
43: 211
44: 1
45: 1
46: 3
47: 695
48: 1
49: 43
50: 1
51: 5
52: 3
53: 4889
54: 1
55: 10
56: 2
57: 9
58: 8
59: 41241
60: 1
61: 76301
62: 9
63: 7
64: 17
65: 64
66: 1
67: 853513
68: 8
69: 69
70: 1
71: 3882809
72: 3
73: 11957417
74: 37
75: 11
76: 19
77: 1280
78: 2
79: 100146415
80: 5
81: 2593
82: 121
83: 838216959
84: 1
85: 6205
86: 211
87: 1536
88: 55
89: 13379363737
90: 1
91: 53872
92: 201
93: 6795
94: 695
95: 107692
96: 9
97: 411322824001
98: 43
99: 2883
100: 55
101: 3547404378125
102: 5
103: 9069094643165
104: 351
105: 13
106: 4889
107: 63434933542623
108: 19
109: 161784800122409
110: 10
111: 480852
112: 468
113: 1612072001362952
114: 9
115: 44697909
116: 10752
117: 132678
118: 41241
119: 1238459625
120: 4
121: 12188792628211
122: 76301
123: 8425472
124: 45756
125: 57708445601
126: 7
127: 2604529186263992195
128: 359057
129: 37821539
130: 64
131: 28496379729272136525
132: 11
133: 157577452812
134: 853513
135: 75961
136: 111744
137: 646901570175200968153
138: 69
139: 1753848916484925681747
140: 39
141: 1257700495
142: 3882809
143: 36027143124175
144: 507
145: 1467250393088
146: 11957417
147: 5874617
148: 4827501
149: 687887859687174720123201
150: 11
151: 2333546653547742584439257
152: 1666737
153: 2416282880
154: 1280
155: 84473643916800
156: 156
157: 56234327700401832767069245
158: 100146415
159: 223233182255
160: 31365

gollark: See, we have these, but not arachno*capitalism*?

gollark: Idea: arachnocapitalism.

gollark: Better idea: lexicographic sorting.

gollark: oh no.

gollark: My interpretation of the rules is that I always win all the time and all other intepretations are void. SoundOfSpouting: SOUNDOFSPOUTED.

References

Proposition 2.7 of Washington 1997
Washington, Lawrence C. (1997). Introduction to Cyclotomic Fields. Graduate Texts in Mathematics. 83 (2nd ed.). Springer-Verlag. Theorem 11.1. ISBN 0-387-94762-0. Zbl 0966.11047.

Bryan Birch, "Cyclotomic fields and Kummer extensions", in J.W.S. Cassels and A. Frohlich (edd), Algebraic number theory, Academic Press, 1973. Chap.III, pp. 45–93.
Daniel A. Marcus, Number Fields, third edition, Springer-Verlag, 1977
Washington, Lawrence C. (1997), Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, 83 (2 ed.), New York: Springer-Verlag, doi:10.1007/978-1-4612-1934-7, ISBN 0-387-94762-0, MR 1421575
Serge Lang, Cyclotomic Fields I and II, Combined second edition. With an appendix by Karl Rubin. Graduate Texts in Mathematics, 121. Springer-Verlag, New York, 1990. ISBN 0-387-96671-4