置換で作る打ち切り多項式の群の関係式を求める
A power-commutator presentation for the group of truncated polynomials under substitution
この論文をやさしく読む
ひとことで言うと
有限体上の多項式を互いに代入してできる群を、生成元とその間の関係式で記述する数学研究です。
何に役立つ？
次数15までの群を具体的に扱い、より低い次数の群の関係式をまとめて得るための基礎になります。要旨は実用上の応用を扱っていません。
この研究の面白いところ
次数15の場合の表示を求めるだけで、15未満の各次数の完全な表示と、15を超える場合の関係式の一部が同時に得られます。
どこまで分かった？
理論的な群の表示に関する結果です。15を超える任意の次数について完全な表示を得たという主張ではなく、対応する関係式の初期部分までです。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
素数pに対し、Nottingham群G(p)は、係数aᵢがZ/pZに属する形式的べき級数x+a₂x²+a₃x³+…を、置換を演算として考えた群である。n≥1に対して、Gₙ(p)を、G(p)の正規部分群Kₙ={x+aₙ₊₁xⁿ⁺¹+aₙ₊₂xⁿ⁺²+… | aᵢ∈Z/pZ}による商群とする。これはすなわち、置換を演算とする打ち切り多項式x+a₂x²+…+aₙxⁿ（aᵢ∈Z/pZ）の群であり、x+x²,…,x+xⁿを生成元とする位数pⁿ⁻¹のp群である。 本論文では、生成元x+x²,…,x+x¹⁵に関するG₁₅(p)のべき・交換子表示を決定する。これによって、任意の1≤n<15に対し、生成元x+x²,…,x+xⁿに関するGₙ(p)のべき・交換子表示も自動的に得られる。また、任意のn>15に対しては、Gₙ(p)においてx+x²,…,x+x¹⁵に対応するべき関係式と交換子関係式の初期部分も得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Given a prime $p$, the Nottingham group $G(p)$ is the group of formal power series $x+a_2x^2+a_3x^3+\cdots$, $a_i\in{\bf Z}/p{\bf Z}$, under substitution. For $n\geq 1$, we write $G_n(p)$ for the quotient of $G(p)$ by its normal subgroup $K_n=\{x+a_{n+1}x^{n+1}+a_{n+2}x^{n+2}+\cdots\,|\, a_i\in {\bf Z}/p{\bf Z}\}$, namely the group of truncated polynomials $x+a_2x^2+\cdots+a_nx^n$, $a_i\in {\bf Z}/p{\bf Z}$, under substitution, which is a $p$-group of order $p^{n-1}$ generated by $x+x^2,\dots,x+x^n$. In this paper, we determine the power-commutator presentation of $G_{15}(p)$ relative to $x+x^2,\dots,x+x^{15}$. This, in turn, automatically gives the power-commutator presentation of $G_{n}(p)$ relative to $x+x^2,\dots,x+x^{n}$ for any $1\leq n<15$, as well as the initial segments of the power and commutator relations in $G_{n}(p)$ corresponding to $x+x^2,\dots,x+x^{15}$ for any $n>15$.
arXiv ID: 2610.01469 ／ 要約の誤りについて