素数階乗

From Wikipedia, the free encyclopedia

階乗(黄色)と素数階乗(赤)の値の推移

素数階乗(そすうかいじょう、: Primorial)とは、2 以上の自然数に対してそれ以下の素数全ての総乗のことである。自然数 n の素数階乗は、記号では n# で表す。

2# = 2
3# = 3 × 2 = 6
4# = 3# = 6
5# = 5 × 3# = 30
6# = 5# = 30

これらから分かるように n# は、 n 以下の最大の素数を p として、p# に等しい。p に素数の値を小さい順に代入していくことより、素数階乗の値は小さい順に[1]

2, 6, 30, 210, 2310, 30030, 510510, 9699690, 223092870, 6469693230, …
証明:最大の素数の存在を仮定し、それを pmax とおくと、pmax# + 1pmax 以下の素数で割り切れない。仮定より pmax# + 1 未満の素数は以上で全てなので pmax# + 1 は 1 と自分自身以外の因数を持たないことが言える。したがって pmax# + 1 は素数でなければならないことになるが、これは pmax を最大の素数とした仮定に反する。したがって最大の素数は存在しない。(証明終)
実際には、素数 p に対する p# + 1 は素数であることもあれば、合成数であることもある。素数である例としては 11# + 1 = 2311 などが、合成数である例としては 13# + 1 = 30031 = 59 × 509 などがある。いずれにせよ、p# + 1 の素因子は全て p よりも大きい。
720 = 22 × 61 × 301

素数階乗数の一覧

脚注

関連項目

Related Articles

Wikiwand AI