今日は5月12日なので 512 の日ですね!
なので、2のべき乗で表せる数というわけです!嬉しいですね!(え、嬉しくないですか?)
楽しくなってきたので他にも面白い性質ないかなと、Wikipediaの「512」という項目を調べてみると、次のような性質を見つけました。
(
)で表せる24番目の数である。1つ前は500、次は625。(オンライン整数列大辞典の数列 A003592)
なるほど
と書けるので、 で表せる数ということですね。
・・・ 関係ないですやん。
この性質に何の意味があるんだろう・・・。このWikipediaの記事を書いた人は、どういう気持ちでこの性質を追加したのだろう・・・。
このままでは512がかわいそうなので(?)、 で表せる数に何か数学的な意味を見出してあげたいですね。
そこで私が思いついたのは
という分数についてです。
計算してみると
となりますが、これは小数点以下9桁でストップする小数となります。つまり、有限小数 というわけですね。
実際、筆算を計算してみると

となって、小数第9位を計算するとあまりが0になり、小数がそこでストップするというわけです。
これは小数点を取り払って

という割り算を計算していることに他なりません。
つまり
ということになりますね。
一般に、
ような が存在するときに、
は10進法で有限小数になります。
たいていの においては
は有限小数にはならず、循環する無限小数になります。
たとえば、 については
ですし、 についても
のように、循環しながら無限に続いていくわけです。
実は、(
)と表せるときに限り、
は10進法で有限小数となります。
も
と書けるので、有限小数となるわけですね。
そんなわけで、上の の性質に意味づけができました。
(もちろんこれは単なるこじつけであって、元々のWikipediaの執筆者さんの意図は違うものだと思います。)
有限小数と冪零性
さらに突っ込んで考えてみましょう。「 が10進法で有限小数になる」という理屈について考えたいと思います。
先ほどと同様に考えて
なる が存在するとき、
が10進法で有限小数になります。そうでないとき有限小数にはならない(循環小数になる)、ということになります。
ここで
という条件は、合同式を用いて
と言い換えられます。
環論的にいうと についての環
において、
という元に対して
なる が存在する、ということです。このような性質を持つ
のような元のことを冪零元(べきれいげん)といいます。
より一般に冪零元は次のように定義されます。
を満たす が存在するとき、
は冪零元であるという。
つまり、 が有限小数かどうかという問題は、可換環
において、
が冪零元かどうかで決まる、ということになりますね。
ここで、 において、
が冪零元になるのは簡単にわかります。
として
と
のうち大きい方をとれば
となり、これが で割り切れるからです。
一般に、 が「
を割り切る素数すべてによって割り切れる」のであれば、
は冪零元ということになります。
逆に、 を割り切る素数
であって、
を割り切らない
が一つでも存在するのであれば、
は冪零ではなくなってしまうというわけですね。
を割り切る素数は
と
だけですから、
が10進法で有限小数になるのは
という形に限られるということになります。
冪零根基との関係
以上で、 が有限小数になる
の必要十分条件が得られましたので、ここで終わりにしてもいいぐらいです。しかし、せっかく可換環論的な話題になりましたので、もう一つ別の見方が与えられそうだと思いました。
可換環 のイデアル
があったときに
で定義される集合 をイデアル
の根基といいます。特に
に対する根基
を冪零根基といいます。
冪零根基は、要するに 内の冪零元全体の集合ということになります。よって「
が有限小数か」という問題は「
において
か」という問題に言い換えられます。
実は 自身は、単なる集合ではなく
のイデアルでもあることがわかります。
- ①
- ②
実際イデアルの条件①について、 とすると、ある
が存在して
ということになります。ここで二項定理により
となりますが、 か
のどちらかは
または
で割り切れるので、全体として
です。つまり
です。
こんなところで二項定理が使えるというのが面白いですね。
また、イデアルの条件②については、 とすると、ある
が存在して
ということになり、 はイデアルより
ですから
ということになります。
さらに、 は、
のすべての素イデアルの交叉を用いて
のように表せることが知られています。
であることは簡単に示せますので、ここでやってみましょう。
であるとすると、
なる
が存在するということになります。
一方、 を
の任意の素イデアルとすると
となります。つまり
ということですね。
素イデアルの定義より ならば
ということになりますから、
が示されます。
逆の も環の局所化を使って証明できるそうなのですが、まだちゃんと理解できていないのでここでは省略させてください。(参考文献の3番目の動画参照)
結局何が言いたいかというと、冪零元全体は素イデアルの共通部分をとることで特定できるということですね。
ここで、 の素イデアル全体を考えたいと思います。
自身は、
のイデアル
による剰余環
に他なりません。
剰余環 の素イデアルは、
における
を含む素イデアル全体と1対1に対応します。
の素イデアルは
または素数
を用いて
と表せますから、結局
を割り切る素数に対する
が
の素イデアル全体ということになります。
したがって、 の冪零根基は
と表せることになります。
ということは、上の等式から
ということですから、「
が
を割り切るすべての素数で割り切れる」という条件が得られますね。逆も言えます。
そんなわけで、 の冪零根基を考えても、
が10進法で有限小数になる必要十分条件がちゃんと出てくるというわけです!面白いですね!!
これまで可換環論は抽象的でとっつきにくいなと思っていたのですが、「 が有限小数であるか」のような素朴な問題と結びついたことで、身近に感じられそうな気がしてきました。
それでは今日はこの辺で!
参考文献

- 作者:雪江 明彦
- 発売日: 2010/12/07
- メディア: 単行本(ソフトカバー)
冪零元のいくつかの性質については、たとえば龍孫江さんの以下の動画が参考になるかと思います。このような動画が上がっているのは大変ありがたいことですね。
www.youtube.com