ゼミの風景

おそらくお気楽はしのすけゼミの諸風景

Top | ゼミ2024卒 | ゼミ2023卒 | ゼミ2022卒 | ゼミ2021卒 | ゼミ2020卒 | ゼミ2019卒 |
ゼミ2018卒 | ゼミ2017卒 | ゼミ2016卒 | ゼミ2015卒 | ゼミ2014卒 | イベント | About

完全数(4年ゼミ)



完全数.Z[i]での完全数探しなのだが,よくよく見るとたとえば
 2=(1+i)(1-i)=-i(1+i)^2
なので,約数和をとるときの任意性の問題が生まれることに気づく.
で,それを避けようと約数は常に偏角が-\pi/2~\pi/4に移動させて和を取る,などとやってみたのだが,そうすると約数和関数の数論的性質が消えてしまう.積が分解できないからだ.
あれこれ議論して,もう仕方ないから約数和でなく,例えばノルム和にしてはどうか,となった.つまり,
\displaystyle\Gamma(a)=\sum_{k|a,\text{互いに同伴でない}}N(k)
といった具合だ.それでも2だけは互いに同伴な(1+i),(1-i)で構成されるため,ノルム和が
\Gamma(2)=N(1)+N(1+i)+N(2)=7
などとなり,(1-i)由来の項が消え,その結果a,bいずれかが偶数であれば,
\Gamma(ab)=\Gamma(a)\Gamma(b)
が成り立たなくなってしまうのが痛い.さて,どうしようか.