integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ τ(n) integers.hatenablog.comにおいて、が奇素数となるようなものをサーチしました。その際、「の乗法性から絶対値が素数になるようなをサーチするにはが素数冪のときだけを考えれば十分である。」と述べました。これは値だけをサーチしたい場合には正しい主張ですが、そのような全てのを調べたいという目的の場合には間違いとなります。というのも、もしとなるようなが存在すれば(しかも仮にと互いに素だったと仮定すると)、も素数となるにも関わらずは素数冪ではないからです。というわけで、厳密には次の補題が必要です：補題 ならば、である。証明. 乗法性からが素数冪のときに考えれば十分である(は記号の乱用)。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2016%2F05%2F25%2F221635" title="Ramanujanのτ関数に関するLygeros-Rozierの定理 - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2016-05-25 22:16:35 rich https://integers.hatenablog.com/entry/2016/05/25/221635 1.0 100%