「(再録) 17角形とガロア理論 第21~23章 ガロア補題 (2022/09/24)」



今週の「17角形とガロア理論」は
お休みしまーす。

代わりに、以前の第21~23章。
ガロア補題の説明回を御覧ください。



これらが実は、

ω16 + ω15 + ... + ω2 + ω1 = 1

u = ω1+ω9+ω13+ω15+ω16+ω8+ω4+ω2
v = ω3+ω10+ω5+ω11+ω14+ω7+ω12+ω6

なぜω1~16を
このu&vペアに分割したら

u+v = -1
u・v = -4

みたいなうまい数が出てくるのか。
原理を説明しています。




(再録)17角形とガロア理論 第21章 ガロア補題1

















17角形とガロア理論 第22章 ガロア補題2











(再録)第23章 ガロア補題3














ガロア補題

LH = M
 ↑↓
Aut(L / M) = H

フィールドLの、
グループHで固定されるメンバーを集めたらフィールドMになり。
L/Mのオートモーフィズムが作るグループは
Hと同等である。

この定理こそが「17角系の作図理論」を
支えています。