1

テスト期間中なので研究の進捗を生む

124
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{div}[0]{\mathrm{div}} \newcommand{division}[0]{÷} \newcommand{grad}[0]{\mathrm{grad}\ } \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rot}[0]{\mathrm{rot}\ } \newcommand{Z}[0]{\mathbb{Z}} $$

少し前の 記事 でLTEの補題を一般の環に一般化しました.でも多項式とかだと自明なところが多いのでもう少し違った一般化してみようと思いました.以下,$R$を環,$X$を順序アーベル群,$v:R\longrightarrow X\cup\{\infty\}$
$(1)\ v(xy)\ge v(x)+v(y)$
$(2)\ v(x+y)\ge \min(v(x),v(y))$
$(3)\ v(1)=v(-1)=0,v(0)=\infty$
$(4)\ n\in\mathbb Z\Longrightarrow v(nx)=v(x)+v(n)$
を満たすとし,さらに環$R'$,イデアル$I$$R'=\{x\in R|v(x)\ge0\},I=\{x\in R|v(x)>0\}$で定めたとき,
$(5)\ \overline x\in(R/I)^*\Longrightarrow v(xy)=v(yx)=v(y)$
が成り立つとする.

簡単な考察

以下では$X=\mathbb Z$と仮定して考える.

$P=v^{-1}(\infty)$はイデアルであり$P\cap\mathbb Z$は素イデアルである.

前半の主張は$(1),(2),(3)$から従う.後半は$(4)$より$v|_{\mathbb Z}$が付値であることから従う.

よって$P\cap \mathbb Z$の生成元を$p$とし付値$v'$$v_p$で定める.次の補題は自明である.

$v(x)\in P$とすると$v(x+y)=v(y),v(xy)=v(yx)=\infty$

LTEの補題

では昨日テストのやる気が失せて数学してたら見つけた定理を述べる.以下$v$
$(6)\ v(x^n)=nv(x)$
を満たすとする.

LTEの補題(?)

$P\cap \mathbb Z\neq(0)$とする.$x\in R$$v(x-1)>0$を満たすなら,$$v(x^n-1)=p^{v'(n)}v(x-1)$$

$P\cap \mathbb Z\neq(0)$とする.まず$v|_{\mathbb Z}$が付値であることから$I\cap\mathbb Z$($v$の定義の(4)参照)は素イデアルなので$P\cap\mathbb Z$と一致する.$k=v'(n)$に関する帰納法で示す.
$k=0$,つまり$n\not\in P$のとき イデアルにおけるLTEの補題 の定理3から$v(x^n-1)=v(x-1)$となり,示された.($I\cap\mathbb Z$が素イデアルであることから$v(n)=0$なら$n^{-1}\in R'/I$であることに注意.)
$k=i$までで示されたとする.$n=ap^{i+1}$ただし$(a,p)=1$とすると,$v(p)=\infty$であることから補題2から$v(x^{ap^{i+1}}-1)=v((x^{ap^i}-1)^p)=pv(x^{ap^i}-1)=p\ p^{i}v(x-1)$
となるので示された.

予想以上に簡潔になっちゃいました.

$x=1+t^2\in\mathbb F_p[t]$に対して$v$$t$で割り切れる回数とすると$v(x^{2p}-1)=2p(p\neq2$のとき$),8(p=2$のとき$)$.
実際$\mathbb F_2$において$(t^2+1)^4=t^8+1$なので定理が正しいことがわかる.

少し気になるのは 代数体のLTEの補題 $v(n)$が小さいときのものとこれが一致していることですね.何かまだ一般化が潜んでいそう...
そろそろLTEの補題を成立させる写像について書きたいなー.$p$進数が大活躍しますー.(多分)

投稿日:202134

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

整数が好きです

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中