15/03/04 15:59:37.56 +ZGYKspj.net
>>279
(>>350-351のCase1の続き)
従って、n^2≡0(mod m)から、m|n^2。
単項イデアルについて、(n^2)＝(n)(n)⊂(n)だから、n≡0(mod m)。
従って、nに対して或るc∈Z＼{0}が存在して、n＝cm。
ns-mt≠0だから、cms-mt≠0から、cs-t≠0。
故にc∈Qに注意すると、cs、t∈R＼Q。ここで、T(cs)⊂T(s)＝T(t)
だから、csに対して或るj∈Z＼{0}が存在してe^{i(csπ)}＝e^{i(jtπ)}、
よって、偏角の不定性に注意して両辺に主値を取って考えれば、e^{i(cnsπ)}＝e^{i(jntπ)}。
一方偏角の不定性に注意して①の両辺に主値を取って考えれば、e^{i(jms－jnt)π}＝1、
つまり、e^{i(jmsπ)}＝e^{i(jntπ)}。故に、e^{i(cnsπ)}＝e^{i(jmsπ)}。
よって、偏角の範囲を(-π,π]として両辺に主値を取れば、i(cn－jm)sπ＝0、
つまりcn－jm＝0から、cn＝jmであって、cmn＝jm^2。ここで、nにcmを代入すれば、
c^2m^2＝jm^2だから、j＝c^2≧1。また、cmをnで置換すれば、n^2＝jm^2。
従って、n^2≧m^2。一方、1∈Z＼{0}だから、1に対して或るa_1∈Z＼{0}が定まって、
a_1＝n^2/m。故に、n^2＝a_1・m≧m^2、つまり|a_1|・|m|≧|m|^2だから、
|m|＞0から|a_1|≧|m|。n^2≧m^2から、|n|^2≧|m|^2だから、|m|、|n|＞0から
|n|≧|m|。a_1＝n^2/mから、|n|^2＝|a_1|・|m|…④だから、|n|、|a_1|≧|m|から
|a_1|≧|n|≧|m|。ここで、④から|n|^2/(|a_1|・|m|)＝1。故に、
|a_1|＞|n|＞|m| または |a_1|＝|n|＝|m|。