プロ有限群の定義可能な集合の測度
On the measure of definable sets in profinite groups
この論文をやさしく読む
ひとことで言うと
プロ有限群で、方程式の形で記述される集合が群の中でどの程度の割合を占めるかを調べた。
何に役立つ？
群の語や論理式で定義した集合の大きさを評価する数学的な基礎になる。
この研究の面白いところ
正だが1未満の測度を持つ語集合を見つける一方、特定の存在量化で定義可能な集合には0か1しかないことを示した。
どこまで分かった？
0か1という結論は、要旨で述べる有限階数の自由プロ有限群の特定の集合に関するもの。一般の定義可能集合すべてへの主張ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
プロ有限群、とりわけ自由プロ有限群における語集合のハール測度を調べる。語集合の測度を対応する語の幅と関連づけることで、測度が正でありながら1ではない語集合を見いだす。有限階数の自由プロ有限群で語集合の測度が0となる十分条件を証明し、そこから、そのような群における特定の存在量化で定義可能な集合の測度は0か1に限られることを導く。最後に、ねじれのない有限生成アーベル群の定義可能な集合の測度を計算する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the (Haar) measure of verbal sets in profinite groups, and especially in free profinite groups. Relating the measure of a verbal set with the width of the corresponding word, we find verbal sets of positive measure different from one. We prove a sufficient condition for the measure of a verbal set to be zero in a free profinite group of finite rank, from which we deduce that certain existentially definable sets in free profinite groups of finite rank can only have measure zero or one. Finally, we compute the measure of definable sets in torsion-free finitely generated abelian groups.
著者のコメント
33 pages. Comments welcome!
arXiv ID: 2609.25448 ／ 要約の誤りについて