整数（せいすう、Integer）とは、0 とそれに 1 ずつ加えていって得られる数 (1, 2, 3, …) および 1 ずつ引いていって得られる数 (-1, -2, -3, …) の総称である。整数の全体からなる集合は普通、太字の Z または黒板太字の で表す。これはドイツ語 Zahlen（数・複数形）による。
代数的整数と対比させるために、有理数の中で整なものであるという意味で有理整数と呼ぶこともある。
目次
1 素朴な説明
1.1 整数の分類
1.2 整数化
2 形式的な構成
3 整数環のイデアル
4 アーベル群への作用
5 コンピュータにおける整数表現
6 脚注
7 参考文献
8 関連項目
9 外部リンク
//
自然数 n に対して加法における逆元 -n を導入し、これを負の整数とする。負の整数に対しても結合法則、分配法則等が成り立つように加法ならびに乗法を定義すると、整数は加法に対してアーベル群（可換な群）をなし、乗法に関しては可換なモノイドをなす。
つまり、整数は可換環である。くだいていえば、普通に足し算、引き算、それにかけ算ができるということである。この環は代表的なユークリッド整域である。
例えば次のことは、整数が環であることを用いれば証明できる。(-a) × (-b) = a × b
証明
-a と -a' を a の逆元とすると、-a = -a + 0 = -a + {a + (-a' )} = (-a + a) + (-a' ) = 0 + (-a' ) = -a' 。
∴ -a = -a' つまり逆元は一つだけである。 ここから -(-a) = a も言える。さらに、a × 0 = a × 0 + 0 = a × 0 + [a × 0 + {-(a × 0)}] = (a × 0 + a × 0) + {-(a × 0)} = a × (0 + 0) + {-(a × 0)} = a × 0 + {-(a × 0)} = 0 。
∴ a × 0 = 0 全く同様にして 0 × a = 0 も言える。a × b + (-a) × b = {a + (-a)} × b = 0 × b = 0 。
∴ -(a × b) = (-a) × b 。(-a) × (-b) + {-(a × b)} = (-a) × (-b) + (-a) × b = (-a) × {(-b) + b} = (-a) × 0 = 0 。
∴ a × b = (-a) × (-b) 。
Q.E.D.
整数の分類
正整数
1 以上の整数のこと。自然数を 1 から始めると定義している場合には自然数と同じ集合となる（自然数に0を含める流儀もある）。
負整数
負の整数を参照。
非負整数
負整数の補集合。つまり、0 以上の整数のこと。自然数を 0 から始めると定義している場合には自然数と同じ集合となる。自然数を 1 から始めると定義している場合、0 を加える際に、しばしばこの表現が用いられる。自然数を 0 から始めるか、1 から始めるかの議論を避けたい場合にも用いられる。
非正整数
正整数の補集合。つまり、0 以下の整数のこと。
自然数の全体 N は減法について閉じていないが、上ではそれを補完するものとして負の整数を導入し、整数の全体 Z を構成した。それと本質的には変わらないが、よく知られる方法としてここでは、減法を陽に持ち出さずに、自然数の加法と乗法のみから同値関係や商集合といった道具を使って、整数が形式的かつ厳密に構成できることを記しておく。[1]
まず、直積集合 N2 = N × N = {(a, b) | a, b は自然数} を考えよう。[2]
N2 に加法 + を(a, b) + (c, d) = (a + c, b + d)
と成分ごとの和で定義する。当然 N2 はこの加法 + について閉じている。さらに少し恣意的ながら、乗法 × を(a, b) × (c, d) = (ac + bd, ad + bc)
で定める。また、N2 の部分集合 R = {(m, m) | m ∈ N} を用いて、N2 に同値関係 ? を(a, b) ? (c, d) ⇒ (a, b) + (d, c) ∈ R
と定義することができる。ここで、互いに同値であるようなものを同一視する。厳密には N2 を同値関係 ? で類別した集合（商集合）N2/R を考えるのである。これは、互いに同値なもの全体の集合（同値類）を元とするような集合である。(a, b) ∈ N2 の属する同値類を [a, b] ∈ N2/R と表すことにする。つまり、[a, b] は[a, b] = {(c, d) ∈ N2 | (a, b) ? (c, d)} = {(a, b)} ∪ {(a, b) + (m, m) | m ∈ N}
となる集合である。同値類を [a, b] のように表したとき、(a, b) をこの同値類の代表元と呼ぶ。代表元は同値なものでありさえすれば他のものに取り替えることができる。
商集合 N2/R に加法 + と乗法 × を[a, b] + [c, d] = [(a, b) + (c, d)] = [a + c, b + d][a, b] × [c, d] = [(a, b) × (c, d)] = [ac + bd, ad + bc]
と定義すると、これらは代表元の取り方によらずに、同値類同士の演算としてうまく定義されていることが確かめられる。
このとき、[a, b] + [m, m] = [a + m, b + m] = [a, b] だから、R は N2/R の加法に関する単位元である。また、自然数 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 は N2/R に演算まで込めて埋め込める。記号の濫用ではあるが、自然数 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 に対し、新たな記号 -m を [1, m + 1] を表すものとして導入し、これを負の整数 -m と呼ぼう。負の整数同士の積が正の整数になっていることが確認できる。
このとき、m + (-m) = [m + 1, 1] + [1, m + 1] = [m + 2, m + 2] = R だから、負の整数 -m = [1, m + 1] は N2/R においてはちょうど、正の整数 m = [m + 1, 1] の加法に関する逆元になっている。R をあらためて 0 と書くことにして、N2/R = {m, 0, -m | m ∈ N} を整数全体の集合とよび、あらためて Z と書くことにしよう。
このようにして整数の全体 Z が厳密に定義されが、なお定義に従えば Z において結合法則や分配法則などの環の公理が満たされることがきちんと証明できる。
互いに素な二つの整数 x, y に対して、ax + by = 1 を満たす整数 a, b が存在することはユークリッドの互除法などにより保証される。