素数階乗（そすうかいじょう）は n# という記号で表わされる演算もしくは自然数 n の関数であり、2以上n以下の素数の総乗をとったものである（ただしn≧2）。例えば10以下の素数は7,5,3,2であるので、10#=7×5×3×2=210 となる。このように計算された210のような素数階乗数をユークリッド数ともよぶ。またn番目の素数 pn の素数階乗を pn# で表わす。例：3番目の素数は5であるので、p3# = 5# = 5×3×2=30
数学的性質
5# 以上の素数階乗数は全て一の位が0であり、十の位は1,3,7,9のいずれかに限られる。
5#=30以上の数に、7以上の素数（1の位に5を含まない奇数）を掛けても、10の位が5や偶数になることは無い。
素数は無限にあるかという命題を証明するのに素数階乗が使われることがある。
略解例：最大の素数の存在を仮定し、それをpmaxとおくと pmax#+1 は pmax以下の約数をもたない。したがって pmax#+1 は pmax より大きな整数で素因数分解されることになるが、これはpmaxを最大の素数とした仮定に反するので最大の素数は存在しない。このように背理法を用いて最大の素数の存在を否定する方法は紀元前から知られていた。以下は、簡単に説明するために便宜的に13を最大の素数とした例pmax = 13pmax#+1 = 13#+1 = 30031 = 59 × 509上記のように 13#+1（pmax#+1） は59と509で素因数分解されるが、59も509も13（pmax）以下の数ではなく、13（pmax）を最大の素数とした仮定に反する。
全ての高度合成数は素数階乗数の累乗数の積で表わされる。例：720 = 22×61×301
p1#=2#=2
p2#=3#=6
p3#=5#=30
p4#=7#=210
p5#=11#=2310
p6#=13#=30030
p7#=17#=510510
p8#=19#=9699690
p9#=23#=223092870
p10#=29#=6469693230
p11#=31#=200560490130
p12#=37#=7420738134810
p13#=41#=304250263527210
p14#=43#=13082761331670030
p15#=47#=614889782588491410
p16#=53#=32589158477190044730
p17#=59#=1922760350154212639070
p18#=61#=117288381359406970983270
p19#=67#=7858321551080267055879090
p20#=71#=557940830126698960967415390
関連項目
階乗
カテゴリ: 数論 | 数学に関する記事
更新日時:2008年5月15日(木)19:24
取得日時:2008/09/24 13:15