Notes on Galois Theory 2

发表于

正十七边形

称一个实数可尺规作图，如果它可以从有理数中通过域运算和开根号构造（考虑尺规作图道理这挺显然）。

可尺规作图当且仅当 在一个 次的正规扩张中

考虑一系列域扩张其中 且 其中 ， ，其中 ， 取遍 ，类似地 ……由于每一步都把 的所有共轭都添进来，所以 是正规扩张。

注：这里的