素数冪

数学において、素数冪（そすうべき）または素冪（そべき）（テンプレート:Lang-en-short）とは、単一素数の正の整数乗になっている数をいう。例えば、テンプレート:Nowrap, テンプレート:Nowrap や テンプレート:Nowrap は素数冪だが、テンプレート:Nowrap, テンプレート:Nowrap や テンプレート:Nowrap は素数冪ではない（この定義では、1は素数冪には含まない）。

素数冪は小さいものから

2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17, 19, 23, 25, 27, 29, 31, 32, 37, 41, 43, 47, 49, 53, 59, 61, 64, 67, 71, 73, 79, 81, 83, 89, 97, 101, 103, 107, 109, 113, 121, 125, 127, 128, 131, 137, 139, 149, 151, 157, 163, 167, 169, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 243, 251, 256, ... （テンプレート:OEIS）

と続くが、この並びには素数自体の項が多分に含まれており、それを除いたものは

4, 8, 9, 16, 25, 27, 32, 49, 64, 81, 121, 125, 128, 169, 243, 256, ... （テンプレート:OEIS2C）

となる。

素数冪は、一つの素数でしか割り切れない正整数である。素数冪は準素分解（テンプレート:En）になぞらえて準素数テンプレート:訳語疑問点（テンプレート:En）とも呼ばれる。

性質

素数冪は素数の冪乗である。

代数的性質

p を奇素数とすればその冪 pⁿ には必ず原始根があり、したがって、pⁿ を法とする整数の乗法群（もしくは環 Z/pⁿZ の単数群を考えることと同等）は巡回的である。一方で2の冪は一般には原始根を持たない。Z/2ⁿZ の単数群は n = 1, 2 では巡回的だが、n が3以上なら巡回的ではなく、2つの巡回群の直積 C₂×C_2^n-2 に同型である。

有限体の要素の個数は必ず素数冪であり、逆に、どの素数冪も（同型を除いてただ一つの）有限体の要素数として現れる。この体は F(pⁿ) などと書く。

組み合わせ的性質

解析的整数論で頻繁に使われる素数冪の性質に、素数を除いた素数冪全体の集合はその逆数の無限和が収束するという意味でsmall setであるというものがある（素数全体はlarge setである）。

約数の性質

素数冪のトーシェント関数 φ とシグマ関数 σ₀, σ₁ の値は次式で計算される。

$\phi (p^n)=p^{n-1}\phi (p)=p^{n-1}(p-1)=p^n-p^{n-1}=p^n(1-\frac{1}{p}),$

${\sigma }_0(p^n)=\sum _{j=0}^n{p}^{0\cdot j}=\sum _{j=0}^{n}1=n+1,$

${\sigma }_1(p^n)=\sum _{j=0}^n{p}^{1\cdot j}=\sum _{j=0}^n{p}^j=\frac{p^{n+1}-1}{p-1}.$

素数冪は全て不足数である。

素数冪 pⁿ は n-概素数である。

友愛数となる素数冪 pⁿ があるかどうかは不明である。もしあるとしたら、その pⁿ は10¹⁵⁰⁰より大きく、n は1400より大きい必要がある。

その他

1997年の映画『キューブ』では、迷路のような立方体構造の中にひそむ致命的な危険を見分ける手掛かりとして、素数冪が着目されるシーンがある。

関連項目

• フォン・マンゴルト関数
• 概素数
• 累乗数
• 半素数

参考文献

• Elementary Number Theory. Jones, Gareth A. and Jones, J. Mary. Springer-Verlag London Limited. 1998.