局所有限シュライアー多様体
Locally finite Schreier Varieties
この論文をやさしく読む
ひとことで言うと
自由代数の部分代数も自由になるという性質を持つ、局所有限な代数のクラスを分類しています。
何に役立つ？
代数の自由性が部分構造へ受け継がれる条件を整理する、普遍代数学の基礎研究です。
この研究の面白いところ
Tame Congruence Theoryの考え方から、有限代数の極小性と定数項の存在条件という2条件で必要十分な特徴づけを与えます。
どこまで分かった？
分類は局所有限な多様体に対するものです。1変数の定数値項がある場合に0変数の定数項も必要という条件を含み、任意の代数クラスへの無条件な拡張ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
多様体Vの自由代数のすべての部分代数がVの自由代数であるとき、Vをシュライアー多様体と呼ぶ。本研究では、テイム合同理論の考え方を用いて、局所有限シュライアー多様体を分類する。分類定理の一つの形は、局所有限多様体Vがシュライアー多様体であることと、次の条件が同値であると述べる。（i）Vに属するすべての有限代数が〈0,1〉-極小代数である。（ii）Vが1引数の定数項演算を持つならば、Vは0引数の定数項演算も持つ。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A variety $\mathcal{V}$ is called a Schreier variety if every subalgebra of a $\mathcal{V}$-free algebra is a $\mathcal{V}$-free algebra. We use ideas from Tame Congruence Theory to classify locally finite Schreier varieties. One version of the classification theorem states that a locally finite variety $\mathcal{V}$ is a Schreier variety if and only if (i) every finite algebra in $\mathcal{V}$ is a $\langle 0,1\rangle$-minimal algebra and (ii) if $\mathcal{V}$ has a constant $1$-ary term operation, then $\mathcal{V}$ also has a constant $0$-ary term operation.
著者のコメント
21 pages
arXiv ID: 2609.19651 ／ 要約の誤りについて