研究室で先輩といろいろ話をした。
うー。
今度の輪講の話だけど
素数で作られる体GF(p)が体であることを証明しなきゃいけないのですよ。
GF(p)の元は{0，1，2、…、p-1}とその四則演算のmod(p)なわけで
その四則演算に関してのmod(p)は閉じた集合であり元と一致するのはわかるんだけど
そもそも体ってなんすか？
というのを教えてもらった。
んで証明には写像の関係を探さなきゃいけないんだけどなんじゃこりゃー!!
しかも、これがわからんと論文なにも読めないらしいっすよ!?
やっぱレベルたけぇ!!!
よーし、俺もがんばるぞ!!
