This article includes a list of general references, but it remains largely unverified because it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (September 2012) (Learn how and when to remove this template message)

In number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to Q, the field of rational numbers.

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.

Definition

For n ≥ 1, let ζn = ei/nC; this is a primitive nth root of unity. Then the nth cyclotomic field is the extension Qn) of Q generated by ζn.

Properties

is irreducible, so it is the minimal polynomial of ζn over Q.

Relation with regular polygons

Gauss made early inroads in the theory of cyclotomic fields, in connection with the problem of constructing a regular n-gon with a compass and straightedge. His surprising result that had escaped his predecessors was that a regular 17-gon could be so constructed. More generally, for any integer n ≥ 3, the following are equivalent:

Small examples

Relation with Fermat's Last Theorem

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

as follows:

Here x and y are ordinary integers, whereas the factors are algebraic integers in the cyclotomic field Q(ζn). If unique factorization holds in the cyclotomic integers Z[ζn] , then it can be 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 Q(ζn) has unique factorization is[2]

Kummer found a way to deal with the failure of unique factorization. He introduced a replacement for the prime numbers in the cyclotomic integers Z[ζn], measured the failure of unique factorization via the class number hn and proved that if hp is not divisible by a prime p (such 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 established Fermat's theorem for all prime exponents p less than 100, except for 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 OEISA055513 or OEISA000927 for the -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

See also

References

  1. ^ Washington 1997, Proposition 2.7.
  2. ^ Washington 1997, Theorem 11.1.

Sources

Further reading