本日、スタート代数という勉強会に参加しました。私からは、タイトルの通り(p:素数)が、体であることの証明をつけたいと思います。まずは、、、 整数の最大公約数をとすると、 をみたす整数が存在する 証明の細かい部分はここでは述べないですけれど、Euclid…

今日、スタート代数という勉強会に参加予定ですが、ちょっと予習＋αの準備ということでノートしときます。えー、タイトルの通り「Zornの補題」ですね。 選択公理(axiom of choice)や整列可能定理と同値な定理ですが、どういった定理なのか、必要最低限な言葉…