整数

数学における**整数**（せいすう、、、、）は、1 とそれに 1 ずつ加えて得られる自然数 (1, 2, 3, 4, …) 、これらに&minus;1を乗じて得られる負数 (&minus;1, &minus;2, &minus;3, &minus;4, …) 、および 0 の総称である。

整数の全体からなる集合は、一般に太字の \mathbf Z または黒板太字の \mathbb Z で表す。これはドイツ語""（ツァーレン。「数」の意・複数形）に由来する。

抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を**有理整数**  と呼ぶことがある。

## 素朴な説明
「もの」の個数という素朴な意味で理解される自然数の中では、足し算と掛け算は自由にできるが、引き算については「引かれる数が引く数よりも大きい」という前提を満たさねばならず、その意味では自由ではない。これを自由に行うために「負の整数」を導入して、数の範囲を拡張しようというのが整数の概念である。すなわち、

:a+x=b

の形の方程式は、a, b が整数ならば必ずただ一つの解を持つ。

自然数を「正の整数」とし、自然数 *n* に対して加法に関する逆元 &minus;*n* を導入し、これを「負の整数」とする。「正の整数」「0」「負の整数」をあわせた数の中で普通に足し算・引き算・かけ算ができるように、また、「正の整数」に対する演算はもともとの自然数としてのそれであるように加法と乗法を定義することができる（足し算引き算を包摂して「加法」と呼んでいる）。

:a-b=a+(-b)

しかし、例えば 2 \times x=1 となる整数 x が存在しないように、依然として一般に除法は不自由なままである（自由にできるようにするためには有理数にまで数の範囲を広げなければならない）。

## 概歴
負の数について論じた最古の文献は、紀元前1世紀から紀元後2世紀に成立した古代中国の『九章算術』であり、0および負数の加減演算が扱われている。また、インドの数学者アリヤバータによる今日『アーリヤバティーヤ』と呼ばれるテキストでは、負数の加法と減法の満たす規則が定められており、また負数は負債を表し、正数は収入を表すものとして表れている。数世紀のち、ペルシアの数学者アブル・ワファーは負数同士の積が正数であることを記しているが、しかし依然として数は何らかの物理的な量に結び付けられており、負数が実存のものとして市民権を得るのは困難な状態であった。例えばフワーリズミーは二次方程式を係数に負数が現れないように6種類に還元帰着することによって扱っている。

ヨーロッパで整数の概念が現れるのは遅く、よく知られた二整数の積に対する符号の規則は一般にステヴィンに帰せられる。またダランベールは、彼の百科全書において整数が危うい概念であると述べている。

自然数の成す同値類を用いた厳密な構成を行うことによる整数の概念の定式化が現れるのは、そこからさらに二つの世紀を待たねばならなかった。この重要な発展は、数学の基礎をより厳密に定義することを目指す19世紀後半の数学者たちによってもたらされた。この構成を成した一人であるデデキントは、整数全体の成す集合を表すのに *K* を用いたが、ブルバキによるドイツ語で「数」を意味する "Zahlen" の頭文字が普及するまで、ほかにもいくつかの規約が用いられていた。

## 代数構造

加法についての五性質は、整数の全体 **Z** が加法に対してアーベル群となることを主張するものである。また、任意の整数 *n* は
:n = \left\{\begin{align}[ll]
  &\underbrace{\,1 + 1 + \cdots + 1\,}_{n \text{ times}} & (n > 0) \\
  &0 & (n = 0) \\
  &\underbrace{\!(-1) + \cdots + (-1)\!}_{|n| \text{ times}} & (n 
なる形に書けるから、**Z** は 1 の生成する無限巡回群 &lang;1&rang; になる。特に **Z** は同型の違いを除いて唯一の無限巡回群である。

乗法についての四性質は、**Z** が乗法に関しては可換モノイドをなすことを言うものである。

零因子の非存在以外の全ての性質を合わせれば、整数の全体 **Z** は単位的可換環であることがわかる。整数全体の成す環は整数環と呼ばれる。例えば負の数同士の積が正となるという性質
: (&minus;*a*) &times; (&minus;*b*) = *a* &times; *b*
は、整数の全体が環であることを用いれば、*n* を任意の整数とするとき、逆元の一意性による &minus;(&minus;*n*) = *n* と 0 が吸収元すなわち *n* &times; 0 = 0 =  0 &times; *n* = 0 となることなどを使って証明できる。

整数環 **Z** は零因子を持たない単位的可換環ゆえに整域である。逆元を持つ整数は {&plusmn;1} の二つだけであり、**Z** から 0 を除いた集合は除法について閉じていないので、**Z** は体にならない。

乗法の逆演算としての通常の除法は **Z** 上で定義された演算とはならないけれども、しかし **Z** は除法の原理と呼ばれる性質「任意の整数*a* と任意の整数 *b* &ne; 0 に対して、*a* = *qb* + *r* かつ 0 ≦ *r* &lt; &#x7c;*b*&#x7c; を満たす二つの整数*q* と*r* が存在する」が成り立つので、「余りのある除法」を定義することができて、**Z** はユークリッド整域となる。特に *x* と *y* の最大公約数が *d* のとき、*ax* + *by* = *d* を満たす整数 *a*, *b* が存在することはユークリッドの互除法などにより保証され
: (*x*) + (*y*) = (*d*)
が成り立つから、**Z** が単項イデアル整域であることがわかる。ここから導かれる、任意の整数が単元を掛ける違いを除いて素数の積として一意に表されるという重要な事実は算術の基本定理と呼ばれ、**Z** が一意分解環であることを示す。

## 順序構造
\mathbf Z における通常の大小関係

\ldots 

は、上にも下にも有界でない全順序関係であり、
# a かつ c ならば a+c,
# a かつ 0 ならば ac
が成り立つという意味で \mathbf Z の環構造と両立し、\mathbf Z は順序環となる。0 より大きな元は「正」、0 より小さな元は「負」である。正の整数全体 \mathbf N は、加法と乗法について閉じており、任意の整数 x に対し x \in \mathbf N, x = 0, -x \in \mathbf N のいずれか一つのみが成り立つ。この性質により、\mathbf N を正の元の集合（正錐）と定めることで \mathbf Z に順序を入れることができる。

## 厳密な構成

自然数の全体 **N** は減法について閉じていないが、上ではそれを補完するものとして負整数を導入し、整数の全体 **Z** を構成した。それと本質的には変わらないが、よく知られる方法としてここでは、減法を陽に持ち出さずに、自然数の加法と乗法のみから同値関係や商集合といった道具を使って、整数が厳密に構成できることを記しておく。なお、以下の構成では、自然数には 0 を含まないとする。

まず、直積集合 **N**2 = **N** × **N** = {(*a*, *b*) | *a*, *b* は自然数} を考える。**N**2 に同値関係 &sim; を
: (*a*, *b*) &sim; (*c*, *d*) &hArr; *a* + *d* = *b* + *c*
と定義することができる。ここで、**N**2 を同値関係 &sim; で類別した集合（商集合）**N**2/&sim; を考える。これは、互いに同値なもの全体の集合（同値類）を元とするような集合であり、直観的には互いに同値であるようなものを同一視する操作である。(*a*, *b*) &isin; **N**2 の属する同値類を [*a*, *b*] &isin; **N**2/*R* と表すことにする。つまり、[*a*, *b*] は
: [*a*, *b*] = {(*c*, *d*) &isin; **N**2 | (*a*, *b*) &sim; (*c*, *d*)} 
となる集合である。同値類を [*a*, *b*] のように表すとき、(*a*, *b*) をこの同値類の代表元と呼ぶ。代表元は同値なものでありさえすれば、他のものに取り替えることができる。商集合 **N**2/&sim; に加法 + と乗法 &times; を
: [*a*, *b*] + [*c*, *d*] = [*a* + *c*, *b* + *d*]
: [*a*, *b*] &times; [*c*, *d*] = [*ac* + *bd*, *ad* + *bc*]
と定義すると、これらは代表元の取り方によらずに、同値類同士の演算としてうまく定義されていることが確かめられる。

このとき、[*a*, *b*] + [*m*, *m*] = [*a* + *m*, *b* + *m*] = [*a*, *b*] であるから、*R* = {(*m*, *m*) | *m* &isin; **N**} は **N**2/&sim; の加法に関する単位元である。

また、自然数 *m* に対して [*m* + 1, 1] を対応させる写像は単射で、
: [*m* + 1, 1] + [*n* + 1, 1] = [*m* + *n* + 2, 2] = [(*m* + *n*) + 1, 1],
: [*m* + 1, 1] × [*n* + 1, 1] = [(*m* + 1)(*n* + 1) + 1, (*m* + 1) + (*n* + 1)] = [*mn* + 1, 1]
を満たす（準同型）から、 **N** は **N**2/&sim; に演算まで込めて埋め込める
。

記号の濫用ではあるが、自然数 *m* を埋め込んだ先と同一視して *m* = [*m* + 1, 1] と書くことにし、これを（正の）整数 *m* と呼ぶ
。

同様の埋め込みは、自然数 *m* に対して [1, *m* + 1] を対応させることでも得られるが、和と積は
: [1, *m* + 1] + [1, *n* + 1] = [1, (*m* + *n*) + 1],
: [1, *m* + 1] × [1, *n* + 1] = [1 + (*m* + 1)(*n* + 1), (*m* + 1) + (*n* + 1)] = [*mn* + 1, 1]
となる。自然数 *m* に対し、新たな記号 &minus;*m* を [1, *m* + 1] を表すものとして導入し、これを負整数 &minus;*m* と呼ぶ
。

負整数同士の積が正整数になっていることが確認できる。

このとき、*m* + (&minus;*m*) = [*m* + 1, 1] + [1, *m* + 1] = [*m* + 2, *m* + 2] = *R* だから、負整数 &minus;*m* = [1, *m* + 1] は **N**2/&sim; においてはちょうど、正整数 *m* = [*m* + 1, 1] の加法に関する逆元になっている
。

*R* をあらためて 0 と書くことにして、**N**2/&sim; = {*m*, 0, &minus;*m* | *m* &isin; **N**} を整数全体の集合と呼び、改めて **Z** と書くことにしよう。

このようにして整数の全体 **Z** が厳密に定義されたが、なお定義に従えば **Z** において結合法則や分配法則などの環の公理が満たされることが証明できる。

## 一般化
* 二次の整数
** ガウス整数
** アイゼンシュタイン整数

## コンピュータにおける整数表現

コンピュータの内部では電気的な信号の有無を 1 と 0 に割り当て、2進法を用いて整数を表現するのが基本である。通常は、2 バイト（16 ビット）または 4 バイト（32 ビット）の範囲で表現できる範囲の数を扱う。負の値を扱う場合は、2の補数表現などが用いられる。通常は有限の範囲の整数しか扱うことができないが、処理速度を犠牲にして（記憶容量が許す限りの）任意長の整数を扱う方法もある。

事務処理などで金額などの桁数の大きな数や、利息計算などの10進表現による小数計算を正しく扱う必要がある場合には、二進化十進表現が用いられる。

## 脚注

### 注釈

### 出典

## 参考文献
*
*
*
*
**
*

## 関連項目

*自然数
*剰余類環
*整数型
*ユークリッド整域
*有理数

## 外部リンク
*
*