アルティン・ハッセの指数関数とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > アルティン・ハッセの指数関数の意味・解説 

アルティン・ハッセの指数関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/09/04 09:29 UTC 版)

アルティン・ハッセの指数関数は、1928年にアルティンハッセによって、下の級数によって与えられた。

歴史

この級数を指数関数によって表す一つの動機は、無限積に由来する。 形式的冪級数Q{{Nowiki|[[}}x{{Nowiki]]}}において、この恒等式が成り立つ。

ここでμ(n)はメビウス関数である。これは両辺の対数微分を行うことで示すことができる。同様にして、アルティン・ハッセの指数関数の無限積は:

So passing from 積 over 全てのn to a product over only n 素数p, これは典型的なp進解析での操作であり、ex から Ep(x) を導く。

The coefficients of Ep(x) are rational. We can use either formula for Ep(x) to prove that, unlike ex, all of its coefficients are p-integral; in other words, the denominators of the coefficients of Ep(x) are not divisible by p. A first proof uses the definition of Ep(x) and Dwork's lemma, which says that a power series f(x) = 1 + ... with rational coefficients has p-integral coefficients if and only if f(xp)/f(x)p ≡ 1 mod pZp[[x]]. When f(x) = Ep(x), we have f(xp)/f(x)p = epx, whose constant term is 1 and all higher coefficients are in pZp. A second proof comes from the infinite product for Ep(x): each exponent -μ(n)/n for n not divisible by p is a p-integral, and when a rational number a is p-integral all coefficients in the binomial expansion of (1 - xn)a are p-integral by p-adic continuity of the binomial coefficient polynomials t(t-1)...(t-k+1)/k! in t together with their obvious integrality when t is a nonnegative integer (a is a p-adic limit of nonnegative integers) . Thus each factor in the product of Ep(x) has p-integral coefficients, so Ep(x) itself has p-integral coefficients.

Combinatorial interpretation

The Artin–Hasse exponential is the generating function for the probability a uniformly randomly selected element of Sn (the symmetric group with n elements) has p-power order (the number of which is denoted by tp,n):

This gives a third proof that the coefficients of Ep(x) are p-integral, using the theorem of Frobenius that in a finite group of order divisible by d the number of elements of order dividing d is also divisible by d. Apply this theorem to the nth symmetric group with d equal to the highest power of p dividing n!.

More generally, for any topologically finitely generated profinite group G there is an identity

where H runs over open subgroups of G with finite index (there are finitely many of each index since G is topologically finitely generated) and aG,n is the number of continuous homomorphisms from G to Sn. Two special cases are worth noting. (1) If G is the p-adic integers, it has exactly one open subgroup of each p-power index and a continuous homomorphism from G to Sn is essentially the same thing as choosing an element of p-power order in Sn, so we have recovered the above combinatorial interpretation of the Taylor coefficients in the Artin–Hasse exponential series. (2) If G is a finite group then the sum in the exponential is a finite sum running over all subgroups of G, and continuous homomorphisms from G to Sn are simply homomorphisms from G to Sn. The result in this case is due to Wohlfahrt (1977). The special case when G is a finite cyclic group is due to Chowla, Herstein, and Scott (1952), and takes the form

where am,n is the number of solutions to gm = 1 in Sn.

David Roberts provided a natural combinatorial link between the Artin–Hasse exponential and the regular exponential in the spirit of the ergodic perspective (linking the p-adic and regular norms over the rationals) by showing that the Artin–Hasse exponential is also the generating function for the probability that an element of the symmetric group is unipotent in characteristic p, whereas the regular exponential is the probability that an element of the same group is unipotent in characteristic zero.[要出典]

Conjectures

At the 2002 PROMYS program, Keith Conrad conjectured that the coefficients of are uniformly distributed in the p-adic integers with respect to the normalized Haar measure, with supporting computational evidence. The problem is still open.

Dinesh Thakur has also posed the problem of whether the Artin–Hasse exponential reduced mod p is transcendental over .

See also

  • Witt vector
  • Formal group

References

  • Artin, E.; Hasse, H. (1928), “Die beiden Ergänzungssätze zum Reziprozitätsgesetz der ln-ten Potenzreste im Körper der ln-ten Einheitswurzeln”, Abhandlungen Hamburg 6: 146–162, JFM 54.0191.05 
  • A course in p-adic analysis, by Alain M. Robert
  • Fesenko, Ivan B.; Vostokov, Sergei V. (2002), Local fields and their extensions, Translations of Mathematical Monographs, 121 (Second ed.), Providence, RI: American Mathematical Society, ISBN 978-0-8218-3259-2, MR1915966 



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「アルティン・ハッセの指数関数」の関連用語

アルティン・ハッセの指数関数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



アルティン・ハッセの指数関数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのアルティン・ハッセの指数関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS