>>27
いいんじゃね？

　>>21-25で言いたいことは
１．時枝の可算無限数列 は、それを係数とする形式的冪級数として捉えることができる
２．シッポの同値類で、同じ同値類に属する形式的冪級数FpとFp'の差を取って、
　多項式 p'=Fp-Fp' で、p'∈R[X] （多項式環）で、n0-1次多項式 ができる
３．Fpを同値類の代表とする
　時枝のいう決定番号dは、d=n0です

（参考）
スレ20 https://rio2016.5ch.net/test/read.cgi/math/1466279209/3
3 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:51:43.66 ID:suG/dCz5 [3/23]
(抜粋)
各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
(引用終り)

４．このように考えると
　決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
　非常に考え役成るのです

５．私は、一つの同値類には、固有のシッポが存在すると考えています。同値類内の形式的冪級数たちは、その固有のシッポを共有する
　証明はしません。時枝では得に使いませんから。証明など、横道にそれるだけ
　でも、一般に同値類には、そういう”不変量”みたいなのが、あることが多いことだけを指摘しておきます（下記）

（参考）
https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E
同値類
(抜粋)
不変量
〜 が X 上の同値関係で P(x) が，x 〜 y であるときにはいつでも，P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，性質 P は 〜 の不変量，あるいは関係 〜 のもとで well-defined であるといわれる．