和音のトポス.再びNollの論文へ,頑張って進めることに.
モノイドΤ=A({0,1,4})の作用 μ[m,n]:Τ×Z12→Z12 のsubactionで台集合がminimalであるもの,
要するにμ[m,n]の極小力学系が潰れずに3点からなるような組(m,n)を探す話で,
さらっと
m3n8-n8n3=5m+2n0 の指数 5m+2n∈{1,11,5,7,2,10} が必要十分条件だ,
なんてものが出てくる.これを理解するのにものすごく時間を費やした.
(というか一般にこれは何が起こっていることを表すのだろう.
何か面白いことが起こっている.ちょっと論文ネタになりそうな...)
気づけばゼミ開始から3時間.疲れた.