「(再録) 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
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