koba-e964 https://blog.hatena.ne.jp/koba-e964/ koba-e964の日記 https://koba-e964.hatenablog.com/ 数学 Cohen の Alg. 3.4.6 や Prop. 3.4.7 について考えていた。U = T + T^2 + T^4 + ... というのは T のトレースに対応していて、T^{2^d} - T = U(U + 1) というのはトレースは F_2 の元で 0 か 1 のどちらかというのに対応している。それに対し奇素数 p に対するアルゴリズムでは T^{(p^d-1)/2} = (N T)^{(p-1)/2} を考えていて、ノルム写像は (乗法群の間の) 全射準同型なので、T (に対応する F_p(theta) の数) (であって 0 でないもの) について N T が平方剰余となる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2021%2F04%2F20%2F001614" title="2021-04-18 (日) - koba-e964の日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-04-20 00:16:14 rich https://koba-e964.hatenablog.com/entry/2021/04/20/001614 1.0 100%