2

任意の整数は素数である(数学ジョーク)

301
1
$$\newcommand{Z}[0]{\mathbb{Z}} $$

はじめに

皆さん知っていますか?任意の整数は素数なんですよ?(ただし$0$$\pm1$は除く)
もっとも簡単な合成数である$6$も実は素数なんです。
え?どういうことかって?
それはこれからお見せしましょう。

環のすり替えトリック

そもそも素数ってなんでしたっけ?

\begin{eqnarray} \mbox{環$\;R\;$の元$\;p\;$が素数(素元)である}&\mathrel{\overset{\text{def}}{\iff}}&\mbox{剰余環$\;R/pR\;$が整域である} \\&\iff&\mbox{任意の$\;a,b\in R\;$について$\;ab\in pR\;$ならば$\;a\in pR\;$または$\;b\in pR\;$である} \end{eqnarray}

なるほど、じゃあ同型$R\simeq R'$があるとき$R$の素数$p$から次のようにして$R'$の素数を構成できますね。

$R,R'$に同型射$f:R\to R'$があるとき$R$の素数$p$に対して$f(p)$$R'$の素数となる。

では任意の整数$n$に対してその素因数$p$を一つ取り、$n=pn'$とすると
$\Z\simeq n'\Z\quad(a\leftrightarrow n'a)$
であるから$\Z$の素数$p$に対して$pn'=n$$n'\Z$の素数になるじゃあないか。なんてこった。

とまあ、そんなジョークというか小ネタでした。
つまり、例えば$6$は整数環$\Z$の素数ではないけど$2\Z$$3\Z$の素数ではあるよねという話です。
ちなみに誤解の無いように言っておくと$n\Z$上の掛け算$\otimes$
$a\otimes b=a\times b\div n\quad$(ただし$\times,\div$は通常の($\Z$上の)掛け算および割り算)
と定義されています。

また同様の議論によって任意の素数$p$$\frac1p\Z$上の合成数($\frac1p\Z$上の$p$$\Z$上の$p^2$に対応する)となるので、任意の整数は合成数であるとも言えますね。

投稿日:2021113

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
874
161837
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中