1

なぜ1は素数ではないのか

25
0
$$$$

導入

まず素数の定義は

素数の定義

正の約数の個数がちょうど 2 個である自然数

というものだ。
ではどうして1も素数として

1と自身以外の約数を持たない

という定義にしてはいけなかったのだろうか。
「そうすると都合が悪いから」ということが理由であるが、
具体的にどのような点で都合が悪かったのだろうか。

素因数分解の一意性

素因数分解とは1を除いた自然数を素数の積で表すことであり、
素因数分解の一意性がある。
もし1が素数なら

1が素数なら

$28 = 2^2・7・1,28 =2^2・7・1^5$

のように素因数分解が一通りに決まらなくなってしまう。
それどころか無数にパターンができてしまう。

素数の個数に関する定理

ゴールドバッハ予想や素数定理などの多くの素数の個数に関する定理は1を素数としない前提の予想なのでそれが崩れる。

最大公約数と最小公倍数

これらを求めるときに指数の最小値・最大値を取るが、 1 を素数にすると指数が無限に増えるので 「1 の指数をどう扱うか」という余計な規則が必要になる。

1の役割

そもそも1という数は乗法においての単位元であり、素数は素元なのでそもそも役割が全然違う。

単位元

$その演算において、他の要素を変化させずに保つ特別な要素$

単位元

$加法 ⇨ 0$
$乗法 ⇨ 1$

素元

$p が素元とは、p が a・b を割るとき、a または b を割ること。$

さらに1を素数にすると1はどんな数も割るため素元が無意味になってしまう。

まとめ

代数の体系の定義の根本が狂ってしまうため、1を素数とできなかった。

投稿日:6日前
数学の力で現場を変える アルゴリズムエンジニア募集 - Mathlog served by OptHub

この記事を高評価した人

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

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

バッジはありません。

投稿者

解析学が好きな高校生です。 問題を解くのは数論と組み合わせ論が好きです。 IMOに行くのが夢です。 大学生になったらVtuberをやってみたいです。 画像はたまに変更する可能性があります。 よろしくお願いします <(^〜^)>/

コメント

他の人のコメント

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