標数2の2行2列行列が満たす多重線形恒等式
On multilinear polynomial identities for $2\times2$ matrices in characteristic $2$
この論文をやさしく読む
ひとことで言うと
標数2の体上の2行2列行列で、次数7以下の多重線形恒等式を作るために必要な三つの式を示した研究。
何に役立つ？
行列代数の多項式恒等式を分類する理論研究に役立つ。
この研究の面白いところ
次数5の式二つと次数4の標準多項式で次数7以下をすべて生成でき、三つとも省けないと証明した。
どこまで分かった？
結合代数M₂(K)の恒等式全体に有限基底があるかどうかは未解決のままで、今回の結論は多重線形恒等式の次数7以下についてである。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Kを標数2の無限体とする。すべての2行2列行列からなるリー代数gl₂(K)＝M₂(K)⁽⁻⁾が、多項式恒等式の有限基底を持たないことはよく知られている。同様に、結合代数M₂(K)について有限基底が存在するかという問題は未解決である。 本稿では、M₂(K)について次数5の多重線形恒等式を二つ得て、それらと次数4の標準多項式を合わせると、次数7以下のすべての多重線形恒等式を生成することを証明する。さらに、この三つの生成元のどれも省略できないことを証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $K$ be an infinite field of characteristic $2$. It is well known that the Lie algebra $\mathfrak{gl}_2(K)=M_2(K)^{(-)}$ of all $2\times 2$ matrices does not admit a finite basis of polynomial identities. Similarly, the finite basis problem for the associative algebra $M_2(K)$ remains open. In this note, we obtain two multilinear identities of degree $5$ for $M_2(K)$ and prove that, together with the standard polynomial of degree $4$, they generate all multilinear identities of degree up to $7$. Moreover, we prove that none of the three generators can be omitted.
著者のコメント
9 pages
arXiv ID: 2609.25362 ／ 要約の誤りについて