夏休み(2021)38日目

9/13(月)　晴れ

10時過ぎに起きた。午前中はゲームしてたけどなんか気が乗らなくて数学をした。結局昨日わからないって書いていたところが寝る直前にわかったのでその続きから。割れてほしいものでそれぞれ割り切れてあとはその係数を比較すればよかった。

Witt環を定義するためにまずはp-ringというクラスにおいて丁度いい代表系が取れることを示した。それを用いて標数pの完全環の上にstrict p-ringが同型を除いて唯一つ構成できることを示した。とても良い。なんか記号もこれがWitt環になるんだろうなあという感じになってきた。こういう普遍性で定義されるとわかりやすい。証明もそんな難しくなかった。

バイトに行って帰ってきてから今までゆっくり過ごしていた。このあとはまた続きをやる。あと少しで良い感じのところまで読めそう。明日は午後にゼミがあるから午前中はその準備をして少し早めにリングフィットをしていく。ということで今日の日記はここまで。