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 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. This is not the case for n = 5 though, because expressing roots of unity requires square roots of quadratic integers, that means that roots belong to a second iteration of quadratic extension. The geometric problem for a general n can be reduced to the following question in Galois theory: can the nth cyclotomic field be built as a sequence of quadratic extensions?
Read more about this topic: Cyclotomic Field
Famous quotes containing the words relation and/or regular:
“In relation to God, we are like a thief who has burgled the house of a kindly householder and been allowed to keep some of the gold. From the point of view of the lawful owner this gold is a gift; From the point of view of the burglar it is a theft. He must go and give it back. It is the same with our existence. We have stolen a little of God’s being to make it ours. God has made us a gift of it. But we have stolen it. We must return it.”
—Simone Weil (1909–1943)
“The solid and well-defined fir-tops, like sharp and regular spearheads, black against the sky, gave a peculiar, dark, and sombre look to the forest.”
—Henry David Thoreau (1817–1862)