別の整数の因数となる整数
キュイズネール棒で表した10の約数: 1、2、5、10
数学において、整数の約数はの因数とも呼ばれ、ある整数を掛けてを生成できる整数です。この場合、 はの倍数であるとも言います。 が の約数である場合、その整数は別の整数で割り切れる、または割り切れます。つまり、で割ると余りが残りません。











意味
整数が 非ゼロ整数で割り切れるとは、次のような整数が存在する場合である。これは次のように表される。





これは、が を割り切るか、が の因数であるか、の倍数であるかと読むことができる。 が割り切れない場合、表記は







ゼロが許可される
かどうかによって区別される 2 つの規則があります。
- 追加の制約のない慣例により、すべての整数


- が非ゼロであるという規則のもと、すべての非ゼロ整数



一般的な
約数は正だけでなく負の数にもなり得ますが、多くの場合、この用語は正の約数に限定されます。たとえば、4 の約数は 1、2、4、-1、-2、-4 の 6 種類ありますが、通常は正の数 (1、2、4) のみについて言及します。
1 と -1 はすべての整数を割り切れます(すべての整数の約数です)。すべての整数(およびその否定)は、それ自身の約数です。2 で割り切れる整数は偶数、2 で割り切れない整数は奇数と呼ばれます。
1、−1、はの自明な約数として知られています。の約数で自明でないものは非自明な約数(または厳密な約数[6])として知られています。 少なくとも1つの非自明な約数を持つ非ゼロの整数は合成数として知られていますが、単位-1 と 1 および素数には非自明な約数は存在しません。




数字の桁からその数字の特定の約数を認識できるようにする
割り算の規則があります。
例
1 から 1000 までの整数の約数のプロット。素数にはちょうど 2 つの約数があり、合成数が多い数は太字で表示されます。
- 7 は 42 の約数なので、42 は 7 で割り切れる、42 は7 の倍数である、7 は 42 を割り切る、7 は 42 の因数である、とも言えます。


- 6 の非自明な約数は 2、-2、3、-3 です。
- 42 の正の約数は 1、2、3、6、7、14、21、42 です。
- 60 のすべての正の約数を部分的に割り切れる順に並べた集合には、ハッセ図があります。
さらなる概念と事実
基本的なルールがいくつかあります:
- かつ の場合、つまり の場合、割り切れるかどうかは推移的な関係です。



- または




- およびが成り立つ場合、 [a]も成り立ちます。ただし、およびが常に成り立つとは限りません(たとえば、およびですが、5 は 6 を割り切れません)。









ならば[b]これをユークリッドの補題と呼ぶ。



が素数である場合、または


の正の約数で、異なるものは
真約数または6の約数(例えば、6の真約数は1、2、3)である。割り切れないが余りが残る数は、
一部
唯一の適切な約数が 1 である整数は、素数と呼ばれます。同様に、素数は、1 とそれ自身という 2 つの正の因数を持つ正の整数です。

の任意の正の約数は、ある指数で累乗されたの素約数の積です。これは算術の基本定理の結果です。


ある数がその約数の合計に等しい場合、その数は完全数であると言われ、その約数の合計がそれより小さい場合、その数は不足数であり、その合計がそれを超える場合、その数は過剰数であると言われる。

の正の約数の総数は乗法関数であり、2 つの数とが互いに素である場合、たとえば; 42 の 8 つの約数は、1、2、3、6、7、14、21、42 です。ただし、正の約数の数は完全に乗法関数ではありません。2 つの数と が共通の約数を共有する場合、 は真ではない可能性があります。の正の約数の合計は、別の乗法関数です(たとえば)。これらの関数は両方とも、約数関数の例です。











の素因数分解が次のように与えられると
すると

の正の約数の数は


そして、それぞれの約数は、

それぞれについて
あらゆる自然
また、

ここで、はオイラー・マスケローニ定数です。この結果の 1 つの解釈は、ランダムに選択された正の整数nの平均約数の数は約 であるということです。ただし、これは「異常に多い」約数 を持つ数の寄与による結果です。


抽象代数学では
リング理論
分割格子
約数が 0 になることを許容する定義では、割り切れる関係により、非負整数の集合は、完全分配格子である半順序集合に変換されます。この格子の最大の要素は 0 で、最小の要素は 1 です。会う操作∧ は最大公約数によって与えられ、結合操作∨ は最小公倍数によって与えられます。この格子は、無限巡回群Z
の部分群の格子の双対に同型です。
参照
注記
- ^ 同様に、

- ^ は 最大公約数を表します。
引用
- ^ 「FoCaLiZe と Dedukti が証明の相互運用性を救う」Raphael Cauderlier と Catherine Dubois 著(PDF)。
参考文献
- ダービン、ジョン・R. (2009)。現代代数学入門(第6版)。ニューヨーク:ワイリー。ISBN 978-0470-38443-5。
- ガイ、リチャード K. (2004)、数論における未解決問題(第 3 版)、Springer Verlag、ISBN 0-387-20860-7; セクション B
- ハーディ、GH ; ライト、EM (1960)。数論入門(第4版)。オックスフォード大学出版局。
- Herstein, IN (1986)、Abstract Algebra、ニューヨーク:Macmillan Publishing Company、ISBN 0-02-353820-1
- ニーヴン、イヴァン、ザッカーマン、ハーバート・S、モンゴメリー、ヒュー・L (1991)。数論入門(第5版)。ジョン・ワイリー・アンド・サンズ。ISBN 0-471-62546-9。
- Øystein Ore、「数論とその歴史」、McGraw–Hill、NY、1944年(およびDoverの再版)。
- シムズ、チャールズ C. (1984)、抽象代数: 計算アプローチ、ニューヨーク: John Wiley & Sons、ISBN 0-471-09846-9
- タントン、ジェームズ (2005)。数学百科事典。ニューヨーク: Facts on File。ISBN 0-8160-5124-0. OCLC 56057904.