有理整数環

ウィキペディア

整数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/25 09:06 UTC 版)

整数（ $\mathbb {Z}$

整数は数直線上の格子点として視覚化される

整数の全体からなる集合は、一般に太字の $\mathbf {Z}$

格子点と整数との対応

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

まず、直積集合 N² = N × N = {(a, b) | a, b は自然数} を考える。N² に同値関係 ∼ を

(a, b) ∼ (c, d) ⇔ a + d = b + c

と定義することができる。ここで、N² を同値関係 ∼ で類別した集合（商集合）N²/∼ を考える。これは、互いに同値なもの全体の集合（同値類）を元とするような集合であり、直観的には互いに同値であるようなものを同一視する操作である。(a, b) ∈ N² の属する同値類を [a, b] ∈ N²/R と表すことにする。つまり、[a, b] は

[a, b] = {(c, d) ∈ N² | (a, b) ∼ (c, d)}

となる集合である。同値類を [a, b] のように表すとき、(a, b) をこの同値類の代表元と呼ぶ。代表元は同値なものでありさえすれば、他のものに取り替えることができる。商集合 N²/∼ に加法 + と乗法 × を

[a, b] + [c, d] = [a + c, b + d]

[a, b] × [c, d] = [ac + bd, ad + bc]

と定義すると、これらは代表元の取り方によらずに、同値類同士の演算としてうまく定義されていることが確かめられる。

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

また、自然数 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²/∼ に演算まで込めて埋め込める 。

記号の濫用ではあるが、自然数 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] は N²/∼ においてはちょうど、正整数 m = [m + 1, 1] の加法に関する逆元になっている 。

R をあらためて 0 と書くことにして、N²/∼ = {m, 0, −m | m ∈ N} を整数全体の集合と呼び、改めて Z と書くことにしよう。

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

一般化

• 二次の整数
  • ガウス整数
  • アイゼンシュタイン整数

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

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

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

参考文献

• 足立恒雄『数の発明』岩波書店、2013年12月20日。ISBN 978-4-00-029619-9。 
• 彌永昌吉『数の体系』 (下)、岩波書店〈岩波新書 黄版 43〉、1978年4月20日。 ISBN 978-4-00-420043-7。 
• H.‐D.エビングハウス他 著、成木 勇夫 訳『数』 (上)（新装版）、丸善出版〈シュプリンガー数学リーディングス 6〉、2004年11月。 ISBN 978-4-621-06411-5。 
• 高木貞治『数の概念』（改版）岩波書店、1970年9月19日。 ISBN 978-4-00-005153-8。 
  • 高木貞治『数の概念』講談社〈ブルーバックス B-2114〉、2019年10月20日。 ISBN 978-4-06-517067-0。 
• 保江邦夫『数の論理　マイナスかけるマイナスはなぜプラスか？』講談社〈ブルーバックス B-1397〉、2002年12月。 ISBN 978-4-06-257397-9。 

関連項目

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

外部リンク

• 『整数』 - コトバンク
• Weisstein, Eric W. "Integer". mathworld.wolfram.com (英語).