代数
平方剰余の相互法則のなるべく代数的な証明を紹介します．
複素係数の正方行列の空間の中で対角化可能なものは第二類集合になることを示します．
定数ではない多項式の零点全体の集合は内点を持たないことを証明します．
有限素体において平方根を求めるアルゴリズムを紹介します．
van der Waerdenの定理とRamseyの定理を紹介します．
なんとなく書きました。
なんか変な名前の補題です。ヤバイ補題という名前だとでも言うのか
体の話です。
ブログを開設してみました
