Xem mã nguồn của Số nguyên

{{Thanh bên lý thuyết nhóm}}
{{about||tin học|Số nguyên (khoa học máy tính)}}

Trong [[toán học]], '''số nguyên''' được định nghĩa một cách thông dụng là một [[số]] có thể được viết mà không có [[Phân số|thành phần phân số]]. Ví dụ: 21; 4; 0 và −2 048 là các số nguyên, trong khi 9,75, {{Sfrac|5|1|2}} và <math>\sqrt 2</math> không phải là số nguyên.

[[Tập hợp (toán học)|Tập hợp]] các số nguyên bao gồm 0, các [[số tự nhiên]] dương ({{Num|1}}, {{Num|2}}, {{Num|3}},...), còn được gọi là ''số đếm'',<ref name="MathWorld_CountingNumber">{{MathWorld}}</ref><ref name="MathWorld_CountingNumber"/> và các [[Nghịch đảo phép cộng|nghịch đảo phép cộng của chúng]] (là các '''số nguyên âm''', tức là, [[-1|−1]], −2, −3,&nbsp;...). Tập hợp các số nguyên thường được biểu thị bằng chữ in đậm ({{Math|'''Z'''}}) hoặc chữ lớn có viền <math>(\mathbb{Z})</math> với chữ cái "Z" bắt nguồn từ [[tiếng Đức]] ''[[wiktionary:Zahlen|Zahlen]]'' (nghĩa là "số").<ref name=":02">{{Chú thích web|url=https://mathvault.ca/hub/higher-math/math-symbols/|tựa đề=Compendium of Mathematical Symbols|ngày=2020-03-01|website=Math Vault|ngôn ngữ=en-US|ngày truy cập=2020-08-11}}</ref><ref>{{Chú thích web|url=https://mathworld.wolfram.com/Integer.html|tựa đề=Integer|tác giả=Weisstein|tên=Eric W.|website=mathworld.wolfram.com|ngôn ngữ=en|ngày truy cập=2020-08-11}}</ref><ref>{{Chú thích web|url=http://jeff560.tripod.com/nth.html|tựa đề=Earliest Uses of Symbols of Number Theory|tác giả=Miller|tên=Jeff|ngày=2010-08-29|url lưu trữ=https://web.archive.org/web/20100131022510/http://jeff560.tripod.com/nth.html|ngày lưu trữ=2010-01-31|url-status=dead|ngày truy cập=2010-09-20}}</ref><ref name="Cameron1998">{{Chú thích sách|url=https://books.google.com/books?id=syYYl-NVM5IC&pg=PA4|title=Introduction to Algebra|last=Peter Jephson Cameron|publisher=Oxford University Press|year=1998|isbn=978-0-19-850195-4|page=4|access-date = ngày 15 tháng 2 năm 2016 |archive-url=https://web.archive.org/web/20161208142220/https://books.google.com/books?id=syYYl-NVM5IC&pg=PA4|archive-date = ngày 8 tháng 12 năm 2016}}</ref>
<math>\mathbb{Z}</math> là một [[tập hợp con]] của tập hợp các [[Số hữu tỉ|số hữu tỷ]] <math>\mathbb{Q}</math>, đến lượt nó là một tập hợp con của tập hợp các [[số thực]] <math>\mathbb{R}</math>. Giống như tập hợp các số tự nhiên, <math>\mathbb{Z}</math> là tập hợp [[Tập hợp đếm được|vô hạn đếm được]].

Các số nguyên tạo thành [[Nhóm (toán học)|nhóm]] nhỏ nhất và [[vành]] nhỏ nhất chứa các [[số tự nhiên]]. Trong [[lý thuyết số đại số]], các số nguyên đôi khi được coi là '''số nguyên hữu tỉ''' để phân biệt chúng với các [[Số đại số nguyên|số nguyên đại số]] tổng quát hơn. Trên thực tế, số nguyên (hữu tỉ) là số nguyên đại số mà cũng là [[số hữu tỉ]].

== Ký hiệu ==
Biểu tượng <math>\mathbb{Z}</math> có thể được dùng để biểu thị các tập hợp khác nhau, với cách sử dụng khác nhau giữa các tác giả khác nhau: <math>\mathbb{Z}^+</math>,<ref name=":02"/> <math>\mathbb{Z}_+</math> hoặc <math>\mathbb{Z}^{>}</math> đối với các số nguyên dương, <math>\mathbb{Z}^{0+}</math> hoặc <math>\mathbb{Z}^{\geq}</math> cho các số nguyên không âm và <math>\mathbb{Z}^{\neq}</math> cho các số nguyên khác 0. Một số tác giả sử dụng ký hiệu <math>\mathbb{Z}^{*}</math> cho các số nguyên khác 0, trong khi những người khác sử dụng nó cho các số nguyên không âm hoặc cho {{Math|{–1, 1}{{void}}}}. Ngoài ra, <math>\mathbb{Z}_{p}</math> được sử dụng để biểu thị tập các [[Số học mô đun|số nguyên modulo {{Math|''p''}}]]<ref name=":02" /> (tức là tập các [[Quan hệ đồng dư|lớp đồng dư]] của các số nguyên) hoặc tập các [[Số p-adic|số nguyên {{Math|''p''}}]] -adic.<ref name="MathWorld_CountingNumber"/><ref name="edexcelc1">Keith Pledger and Dave Wilkins, "Edexcel AS and A Level Modular Mathematics: Core Mathematics 1" Pearson 2008</ref><ref>LK Turner, FJ BUdden, D Knighton, "Advanced Mathematics", Book 2, Longman 1975.</ref>. vì vậy nếu muốn sử dụng ký hiệu <math>\mathbb{Z}^{\neq}</math> hoặc ký hiệu <math>\mathbb{Z}^{*}</math> thì phải định nghĩa lại trên đề kiểm tra, nếu trên đề không có định nghĩa thì xem như đề đó là sai. Có một số bài bài toán chứng minh quy nạp thường hay sử dụng để loại đi trường hợp khác không.Chúng ta phải căn cứ vào sách giáo khoa lớp 6 làm căn cứ, trong sách lớp 6 tập hợp số nguyên chỉ có kí hiệu là Z nên khi chúng ta cho đề mà có sử  <math>\mathbb{Z}^{*}</math>  <math>\mathbb{Z}^{*}</math>

== Tính chất ==
[[Tập tin:Number-line.svg|phải|nhỏ|300x300px|Các số nguyên có thể được coi là các điểm rời rạc, cách đều nhau trên một [[trục số]] dài vô hạn. Ở hình trên, các [[Dấu (toán học)|số nguyên không âm]] được hiển thị bằng màu xanh lam và số nguyên âm màu đỏ.]]
Giống như các [[số tự nhiên]], <math>\mathbb{Z}</math> là tập hợp [[Đóng (phép toán)|đóng]] với các [[Phép toán hai ngôi|phép toán]] cộng và [[Phép nhân|nhân]], tức là tổng và tích của hai số nguyên bất kỳ là một số nguyên. Tuy nhiên, với việc bao gồm cả các số nguyên âm (và quan trọng là [[0 (số)|0]]), <math>\mathbb{Z}</math>, không giống như các số tự nhiên, cũng là tập hợp đóng với [[phép trừ]].<ref>{{Chú thích web|url=https://www.britannica.com/science/integer|tựa đề=Integer {{!}} mathematics|website=Encyclopedia Britannica|ngôn ngữ=en|ngày truy cập=2020-08-11}}</ref>

Các số nguyên tạo thành một [[vành]] đơn vị, vốn là vành cơ bản nhất, theo nghĩa sau: đối với bất kỳ vành đơn vị nào, đều có một  [[phép đồng cấu]] duy nhất từ các số nguyên vào vành này. [[Thuộc tính phổ quát|Thuộc tính phổ quát này]], cụ thể là một [[Đối tượng đầu và đối tượng cuối|đối tượng ban đầu]] trong loại vành, là đặc trưng cho vành <math>\mathbb{Z}</math>.

<math>\mathbb{Z}</math> không đóng với phép [[Phép chia|chia]], vì thương của hai số nguyên (ví dụ: 1 chia cho 2) có thể không là số nguyên. Mặc dù các số tự nhiên là đóng với [[Lũy thừa|phép lũy thừa]], nhưng các số nguyên thì không (vì kết quả có thể là một phân số khi số mũ là âm).

Bảng sau liệt kê một số tính chất cơ bản của phép cộng và phép nhân đối với bất kỳ số nguyên {{Math|''a''}}, {{Math|''b''}} và {{Math|''c''}}:
{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+Tính chất của phép cộng và phép nhân trên số nguyên
!
! scope="col" |Phép cộng
! scope="col" |Phép nhân
|-
! scope="row" |[[Đóng (phép toán)|Tính đóng]]:
|{{math|''a'' + ''b''}} là số nguyên
|{{math|''a'' × ''b''}} là số nguyên
|-
! scope="row" |[[Tính kết hợp]]:
|{{math|''a'' + (''b'' + ''c'') {{=}} (''a'' + ''b'') + ''c''}}
|{{math|''a'' × (''b'' × ''c'') {{=}} (''a'' × ''b'') × ''c''}}
|-
! scope="row" |[[Tính giao hoán]]:
|{{math|''a'' + ''b'' {{=}} ''b'' + ''a''}}
|{{math|''a'' × ''b'' {{=}} ''b'' × ''a''}}
|-
! scope="row" |Tồn tại [[phần tử đơn vị]]:
|{{math|''a'' + 0 {{=}} ''a''}}
|{{math|''a'' × 1 {{=}} ''a''}}
|-
! scope="row" |Tồn tại [[phần tử nghịch đảo]]:
|{{math|''a'' + (−''a'') {{=}} 0}}
|Số nguyên duy nhất có phần tử nghịch đảo (gọi là đơn vị) là {{math|−1}}  và {{math|1}}.
|-
! scope="row" |[[Thuộc tính phân phối]]:
| colspan="2" align="center" |{{math|''a'' × (''b'' + ''c'') {{=}} (''a'' × ''b'') + (''a'' × ''c'')}}{{pad|1em}}và{{pad|1em}}{{math|(''a'' + ''b'') × ''c'' {{=}} (''a'' × ''c'') + (''b'' × ''c'')}}
|-
! scope="row" |Không có ước số của 0:
|
|Nếu {{math|''a'' × ''b'' {{=}} 0}}, thì {{math|''a'' {{=}} 0}} hoặc {{math|''b'' {{=}} 0}} (hoặc cả hai)
|}
Trong ngôn ngữ của [[đại số trừu tượng]], năm thuộc tính đầu tiên được liệt kê ở trên khẳng định rằng <math>\mathbb{Z}</math> là một [[Nhóm giao hoán|nhóm abel]] với phép cộng. Nó cũng là một [[nhóm cyclic]], vì mọi số nguyên khác 0 đều có thể được viết dưới dạng tổng hữu hạn {{Nowrap|1 + 1 +... + 1}} hoặc {{Nowrap|(−1) + (−1) +... + (−1)}}. Trên thực tế, <math>\mathbb{Z}</math> với phép cộng là ''nhóm tuần hoàn vô hạn duy nhất'' — theo nghĩa là bất kỳ nhóm tuần hoàn vô hạn nào đều là [[Đẳng cấu nhóm|đẳng cấu]] với <math>\mathbb{Z}</math>.

Bốn thuộc tính đầu tiên được liệt kê ở trên cho phép nhân nói rằng <math>\mathbb{Z}</math> cùng với phép nhân là một [[Monoid|monoid giao hoán]]. Tuy nhiên, không phải mọi số nguyên đều có nghịch đảo nhân (như trường hợp của số 2), có nghĩa là <math>\mathbb{Z}</math> với phép nhân không phải là một [[Nhóm (toán học)|nhóm]].

Tất cả các quy tắc từ bảng thuộc tính trên (ngoại trừ quy tắc cuối cùng), khi được kết hợp với nhau, nói rằng <math>\mathbb{Z}</math> cùng với phép cộng và phép nhân là một [[vành giao hoán]] có [[phần tử đơn vị]]. Nó là nguyên mẫu của tất cả các đối tượng của [[cấu trúc đại số]] như vậy. Chỉ những [[đẳng thức]] của [[Biểu thức đại số|biểu thức]] là đúng trong <math>\mathbb{Z}</math> cho tất cả các giá trị của biến, thì cũng là đúng trong bất kỳ vành giao hoán có đơn vị nào. Một số số nguyên khác 0 ánh xạ tới [[Đơn vị cộng|0]] trong một số vành nhất định.

Việc thiếu các [[ước số của 0]] trong các số nguyên (thuộc tính cuối cùng trong bảng) có nghĩa là vành giao hoán <math>\mathbb{Z}</math> là một [[miền nguyên]].

Việc thiếu các phép nghịch đảo của phép nhân, tương đương với thực tế là <math>\mathbb{Z}</math> không phải là đóng với phép chia, có nghĩa là <math>\mathbb{Z}</math> ''không phải'' là một [[Trường (đại số)|trường]]. Trường nhỏ nhất chứa các số nguyên dưới dạng một [[vành con]] là trường các [[số hữu tỉ]]. Quá trình xây dựng các số hữu tỉ từ các số nguyên có thể được bắt chước để tạo thành [[trường phân số]] của bất kỳ miền nguyên nào. Và ngược lại, bắt đầu từ [[trường số đại số]] (phần mở rộng của số hữu tỉ), [[vành số nguyên]] của nó có thể được trích xuất, bao gồm <math>\mathbb{Z}</math> như là [[vành con]] của nó.

Mặc dù phép chia thông thường không được định nghĩa trên <math>\mathbb{Z}</math>, phép chia "với phần dư" được xác định trên chúng. Nó được gọi là [[Phép chia có dư|phép chia Euclid]], và có tính chất quan trọng sau: cho hai số nguyên {{Math|''a''}} và {{Math|''b''}} với {{Math|''b'' ≠ 0}}, tồn tại các số nguyên {{Math|''q''}} và {{Math|''r''}} duy nhất sao cho {{Math|''a'' {{=}} ''q'' × ''b'' + ''r''}} và {{Math|0 ≤ ''r'' < {{!}}''b''{{!}}}}, ở đâu {{Math|{{!}}''b''{{!}}}} biểu thị [[giá trị tuyệt đối]] của {{Math|''b''}}.<ref>{{Chú thích web|url=https://mathvault.ca/long-division/#Euclidean_Division_%E2%80%94_Terminology|tựa đề=The Definitive Higher Math Guide to Long Division and Its Variants — for Integers|ngày=2019-02-24|website=Math Vault|ngôn ngữ=en-US|ngày truy cập=2020-08-11}}</ref> Số nguyên {{Math|''q''}} được gọi là ''thương'' và {{Math|''r''}} được gọi là ''[[Số dư|phần dư]]'' của phép chia {{Math|''a''}} cho {{Math|''b''}}. [[Giải thuật Euclid|Thuật toán Euclid]] để tính [[ước số chung lớn nhất]] hoạt động với một chuỗi các phép chia Euclid.

Một lần nữa, trong ngôn ngữ của đại số trừu tượng, phần trên nói rằng <math>\mathbb{Z}</math> là một [[vành Euclid]]. Điều này ngụ ý rằng <math>\mathbb{Z}</math> là một [[Vành chính|vành ideal chính]] và bất kỳ số nguyên dương nào cũng có thể được viết dưới dạng tích của các [[số nguyên tố]] theo một cách [[cơ bản duy nhất]].<ref>{{Chú thích sách|title=Algebra|last=Serge|first=Lang|publisher=Addison-Wesley|year=1993|isbn=978-0-201-55540-0|edition=3rd|pages=86–87|author-link=Serge Lang}}</ref> Đây là [[định lý cơ bản của số học]].

== Thuộc tính lý thuyết thứ tự ==
<math>\mathbb{Z}</math> là một tập hợp có thứ tự hoàn toàn không có [[Giới hạn trên và giới hạn dưới|giới hạn trên hoặc dưới]]. Thứ tự của <math>\mathbb{Z}</math> được định nghĩa là: {{Math|:... −3 < −2 < −1 < 0 < 1 < 2 < 3 <...}}   Một số nguyên là ''dương'' nếu nó lớn hơn [[0 (số)|0]] và ''âm'' nếu nó nhỏ hơn 0. [[0 (số)|Số không (0)]] được định nghĩa là không âm cũng không dương.

Thứ tự của các số nguyên tương thích với các phép toán đại số theo cách sau:

# Nếu {{math|''a'' < ''b''}} và {{math|''c'' < ''d''}}, thì {{math|''a'' + ''c'' < ''b'' + ''d''}}
# Nếu {{math|''a'' < ''b''}} và {{math|0 < ''c''}}, thì {{math|''ac'' < ''bc''}}.

Vì vậy, ta kết luận rằng <math>\mathbb{Z}</math> cùng với thứ tự trên là một vành có thứ tự.

Các số nguyên là [[Nhóm giao hoán|nhóm abel]] có thứ tự hoàn toàn không tầm thường duy nhất có các phần tử dương được [[Thứ tự tốt|sắp xếp theo thứ tự hợp lý]].<ref>{{Chú thích sách|url=https://books.google.com/books?id=TqHDAgAAQBAJ&pg=PA185|title=Modern Algebra|last=Warner|first=Seth|publisher=Courier Corporation|year=2012|isbn=978-0-486-13709-4|series=Dover Books on Mathematics|at=Theorem 20.14, p.&nbsp;185|access-date = ngày 29 tháng 4 năm 2015 |archive-url=https://web.archive.org/web/20150906083836/https://books.google.com/books?id=TqHDAgAAQBAJ&pg=PA185|archive-date = ngày 6 tháng 9 năm 2015}}</ref> Điều này tương đương với tuyên bố rằng bất kỳ vành đánh giá Noether nào cũng là một [[Trường (đại số)|trường]] — hoặc một vành định giá vô cùng quan trọng.

== Xây dựng ==
[[Tập tin:Relative_numbers_representation.svg|thế=Representation of equivalence classes for the numbers −5 to 5|nhỏ|Các điểm màu đỏ thể hiện các cặp số [[Số tự nhiên|tự nhiên có thứ tự]]. Các điểm màu đỏ được liên kết là các lớp tương đương đại diện cho các số nguyên màu xanh lam ở cuối dòng.]]
Trong quá trình dạy học ở [[trường tiểu học]], các số nguyên thường được định nghĩa một cách trực quan là các số tự nhiên (dương), [[0 (số)|số 0]] và các số đối của các số tự nhiên. Tuy nhiên, kiểu định nghĩa này dẫn đến nhiều trường hợp khác nhau (mỗi phép toán số học cần được xác định trên mỗi tổ hợp các kiểu số nguyên) và khiến việc chứng minh rằng các số nguyên tuân theo các định luật số học khác nhau trở nên tẻ nhạt.<ref>{{Chú thích sách|url=https://books.google.com/books?id=3domViIV7HMC&pg=PA86|title=Number Systems and the Foundations of Analysis|last=Mendelson|first=Elliott|publisher=Courier Dover Publications|year=2008|isbn=978-0-486-45792-5|series=Dover Books on Mathematics|page=86|access-date = ngày 15 tháng 2 năm 2016 |archive-url=https://web.archive.org/web/20161208233040/https://books.google.com/books?id=3domViIV7HMC&pg=PA86|archive-date = ngày 8 tháng 12 năm 2016}}</ref> Do đó, trong toán học lý thuyết tập hợp hiện đại, một cấu trúc trừu tượng hơn<ref>Ivorra Castillo: ''Álgebra''</ref> cho phép người ta xác định các phép toán số học mà không có bất kỳ phân biệt trường hợp nào thường được sử dụng để thay thế.<ref>{{Chú thích sách|url=https://books.google.com/books?id=KwJQIt4jQHUC&pg=PA126|title=Learning to Teach Number: A Handbook for Students and Teachers in the Primary School|last=Frobisher|first=Len|publisher=Nelson Thornes|year=1999|isbn=978-0-7487-3515-0|series=The Stanley Thornes Teaching Primary Maths Series|page=126|access-date = ngày 15 tháng 2 năm 2016 |archive-url=https://web.archive.org/web/20161208121843/https://books.google.com/books?id=KwJQIt4jQHUC&pg=PA126|archive-date = ngày 8 tháng 12 năm 2016}}</ref> Do đó, các số nguyên có thể được xây dựng chính thức như các [[lớp tương đương]] của các [[Cặp được sắp|cặp]] [[Số tự nhiên|số tự nhiên có thứ tự]] {{Math|(''a'',''b'')}}.<ref name="Campbell-1970-p833">{{Chú thích sách|url=https://archive.org/details/structureofarith00camp/page/83|title=The structure of arithmetic|last=Campbell, Howard E.|publisher=Appleton-Century-Crofts|year=1970|isbn=978-0-390-16895-5|page=[https://archive.org/details/structureofarith00camp/page/83 83]|url-access=registration}}</ref>

Trực giác là {{Math|(''a'',''b'')}} là viết tắt của kết quả của phép trừ  {{Math|''a''}}-{{Math|''b''}}.<ref name="Campbell-1970-p833"/> Để xác nhận kỳ vọng của chúng ta rằng {{Nowrap|1 − 2}} và {{Nowrap|4 − 5}} biểu thị cùng một số, chúng ta xác định [[Tập hợp tương đương|quan hệ tương đương]] {{Math|~}} trên các cặp này với quy tắc sau:

<math>(a,b) \sim (c,d) </math>

chỉ khi

<math>a + d = b + c. </math>

Phép cộng và phép nhân các số nguyên có thể được định nghĩa theo các phép toán tương đương trên các số tự nhiên;<ref name="Campbell-1970-p833"/> bằng cách sử dụng {{Math|[(''a'',''b'')]}} để biểu thị lớp tương đương có {{Math|(''a'',''b'')}} là thành viên, lớp này có:

: <math>[(a,b)] + [(c,d)] := [(a+c,b+d)].</math>
: <math>[(a,b)]\cdot[(c,d)] := [(ac+bd,ad+bc)].</math>

Số đối (hoặc phép nghịch đảo của phép cộng) của một số nguyên có được bằng cách đảo ngược thứ tự của cặp:

<math>-[(a,b)] := [(b,a)].</math>

Do đó phép trừ có thể được định nghĩa là phép cộng với nghịch đảo của phép cộng:

<math>[(a,b)] - [(c,d)] := [(a+d,b+c)].</math>

Thứ tự tiêu chuẩn trên các số nguyên được đưa ra với bất đẳng thức:

<math>[(a,b)] < [(c,d)]</math> [[Tương đương logic|khi và chỉ khi]] <math>a+d < b+c.</math>

Dễ dàng xác minh rằng các định nghĩa này không phụ thuộc vào việc lựa chọn đại diện của các lớp tương đương.

Mọi lớp tương đương có một thành viên duy nhất có dạng {{Math|(''n'',0)}} hoặc {{Math|(0,''n'')}} (hoặc cả hai cùng một lúc). Số tự nhiên {{Math|''n''}} được xác định với lớp {{Math|[(''n'',0)]}} (nghĩa là, các số tự nhiên được [[Phép nhúng (toán học)|nhúng]] vào các số nguyên bằng cách ánh xạ gửi {{Math|''n''}} tới {{Math|[(''n'',0)]}}) và lớp {{Math|[(0,''n'')]}} được ký hiệu {{Math|−''n''}} (điều này bao gồm tất cả các lớp còn lại và cho lớp {{Math|[(0,0)]}} 2 lần do {{Math|−0 {{=}} 0.}}

Do đó, {{Math|[(''a'',''b'')]}} được ký hiệu là

<math>\begin{cases} a - b, & \mbox{nếu }  a \ge b  \\ -(b - a),  & \mbox{nếu } a < b. \end{cases}</math>

Nếu các số tự nhiên được xác định với các số nguyên tương ứng (sử dụng phép nhúng được đề cập ở trên), thì quy ước này không tạo ra sự mơ hồ.

Ký hiệu này phục hồi [[Biểu diễn nhóm|biểu diễn]] quen thuộc của các số nguyên là {{Math|{..., −2, −1, 0, 1, 2,...}}} {{Math|{..., −2, −1, 0, 1, 2,...}}} {{Math|{..., −2, −1, 0, 1, 2,...}}} {{Math|{..., −2, −1, 0, 1, 2,...}}}.

Một số ví dụ:

<math>\begin{align}
 0 &= [(0,0)] &= [(1,1)] &= \cdots & &= [(k,k)] \\
 1 &= [(1,0)] &= [(2,1)] &= \cdots & &= [(k+1,k)] \\
-1 &= [(0,1)] &= [(1,2)] &= \cdots & &= [(k,k+1)] \\
 2 &= [(2,0)] &= [(3,1)] &= \cdots & &= [(k+2,k)] \\
-2 &= [(0,2)] &= [(1,3)] &= \cdots & &= [(k,k+2)].
\end{align}</math>

Trong khoa học máy tính lý thuyết, các cách tiếp cận khác để xây dựng các số nguyên được sử dụng bởi các [[Chứng minh định lý tự động|máy dò định lý tự động]] và các [[Viết lại|công cụ viết lại thuật ngữ]]. Số nguyên được biểu diễn dưới dạng [[Đại số thuật ngữ|các thuật ngữ đại số]] được xây dựng bằng cách sử dụng một vài phép toán cơ bản (ví dụ: '''zero''', '''succ''', '''pred''') và, có thể, sử dụng [[Số tự nhiên|các số tự nhiên]], được giả định là đã được xây dựng (sử dụng phương pháp Peano).

Tồn tại ít nhất mười cách xây dựng các số nguyên có dấu.<ref>{{cite conference|last=Garavel|first=Hubert|title=On the Most Suitable Axiomatization of Signed Integers|conference=Post-proceedings of the 23rd International Workshop on Algebraic Development Techniques (WADT'2016)|year=2017|publisher=Springer|series=Lecture Notes in Computer Science|volume=10644|pages=120–134|doi=10.1007/978-3-319-72044-9_9|url=https://hal.inria.fr/hal-01667321|access-date = ngày 25 tháng 1 năm 2018 |archive-url=https://web.archive.org/web/20180126125528/https://hal.inria.fr/hal-01667321|archive-date = ngày 26 tháng 1 năm 2018 |url-status=live}}</ref> Các cấu trúc này khác nhau theo một số cách: số lượng các phép toán cơ bản được sử dụng cho cấu trúc, số lượng (thường là từ 0 đến 2) và các loại đối số được các phép toán này chấp nhận; sự hiện diện hay vắng mặt của các số tự nhiên làm đối số của một số phép toán này và thực tế là các phép toán này có phải là hàm tạo tự do hay không, tức là cùng một số nguyên có thể được biểu diễn chỉ bằng một hoặc nhiều số hạng đại số.

Kỹ thuật xây dựng các số nguyên được trình bày ở trên trong phần này tương ứng với trường hợp cụ thể trong đó có một '''cặp phép toán cơ bản duy nhất''' <math>(x,y)</math> nhận đối số là hai số tự nhiên <math>x</math> và <math>y</math> và trả về một số nguyên (bằng <math>x-y</math>). Thao tác này không tự do vì số nguyên 0 có thể được viết là '''cặp''' (0,0), hoặc '''cặp''' (1,1) hoặc '''cặp''' (2,2), v.v. Kỹ thuật xây dựng này được sử dụng bởi [[trợ lý chứng minh]] [[Isabelle (trợ lý bằng chứng)|Isabelle]]; tuy nhiên, nhiều công cụ khác sử dụng các kỹ thuật xây dựng thay thế, đáng chú ý là những kỹ thuật dựa trên các cấu trúc tự do, đơn giản hơn và có thể được thực hiện hiệu quả hơn trong máy tính.

== Máy tính ==
{{main|Số nguyên (khoa học máy tính)}}
Một số nguyên thường là một kiểu [[Kiểu dữ liệu|dữ liệu]] nguyên thủy trong [[Ngôn ngữ máy tính|các ngôn ngữ máy tính]]. Tuy nhiên, kiểu dữ liệu số nguyên chỉ có thể đại diện cho một [[tập hợp con]] của tất cả các số nguyên, vì máy tính thực tế có dung lượng hữu hạn. Ngoài ra, trong [[Bù 2|biểu diễn phép bù hai]] phổ biến, định nghĩa cố hữu của [[Dấu (toán học)|dấu]] phân biệt giữa "âm" và "không âm" thay vì "âm, dương và&nbsp;0 ". (Tuy nhiên, chắc chắn máy tính có thể xác định được liệu một giá trị số nguyên có thực sự là số dương hay không.) Các kiểu dữ liệu xấp xỉ số nguyên có độ dài cố định (hoặc tập hợp con) được ký hiệu là ''int'' hoặc Integer trong một số ngôn ngữ lập trình (chẳng hạn như [[ALGOL 68|Algol68]], [[C (ngôn ngữ lập trình)|C]], [[Java (ngôn ngữ lập trình)|Java]], [[Object Pascal|Delphi]], v.v..).

Các biểu diễn số nguyên có độ dài thay đổi, chẳng hạn như bignum, có thể lưu trữ bất kỳ số nguyên nào vừa với bộ nhớ của máy tính. Các kiểu dữ liệu số nguyên khác được triển khai với kích thước cố định, thường là một số bit là lũy thừa của&nbsp;2 (4, 8, 16, v.v.) hoặc một số chữ số thập phân (ví dụ: 9 hoặc 10).

== Lực lượng ==
[[Lực lượng (tập hợp)|Lực lượng]] của tập hợp các số nguyên bằng {{Math|ℵ{{sub|0}}}} ([[Số Aleph|aleph-null]]). Điều được dễ dàng chứng minh bằng việc xây dựng một [[song ánh]], đó là một hàm [[đơn ánh]] và [[toàn ánh]] từ <math>\mathbb{Z}</math> đến <math>\mathbb{N}</math>. Nếu như <math>\mathbb{N}_0 \equiv \{0, 1, 2,...\}</math> sau đó xem xét hàm sau:

<math>f(x) = \begin{cases} 2|x|,  & \mbox{if } x \leq 0\\ 2x-1, & \mbox{if }  x > 0. \end{cases} </math>

{{math|{... (−4,8) (−3,6) (−2,4) (−1,2) (0,0) (1,1) (2,3) (3,5)...}}}

Nếu như <math>\mathbb{N} \equiv \{0, 1, 2, 3,...\}</math> thì ta xem xét hàm sau:

<math>g(x) = \begin{cases} 2|x|,  & \mbox{if } x < 0 \\ 2x+1, & \mbox{if }  x \ge 0. \end{cases} </math>

{{math|{... (−4,8) (−3,6) (−2,4) (−1,2) (0,1) (1,3) (2,5) (3,7)...}}}

Nếu miền bị hạn chế trong <math>\mathbb{Z}</math> vậy thì mỗi và mọi phần tử của <math>\mathbb{Z}</math> có một và chỉ một phần tử tương ứng của <math>\mathbb{N}</math> và theo định nghĩa của bình đẳng lực lượng thì hai tập hợp này có lực lượng bằng nhau.

== Xem thêm ==
* [[Số vô tỉ]]
* [[Số hữu tỉ]]
* [[Số nguyên tố]]
* [[Số tự nhiên]]
* [[Số đại số]]
* [[Số siêu việt]]
* [[Số thực]]
* [[Số phức]]
* [[Số siêu phức]]

==Tham khảo==
{{tham khảo}}
== Liên kết ngoài ==
{{thể loại Commons|Integers}}
* [http://mathworld.wolfram.com/Integer.html Số nguyên] tại MathWorld.
{{Kiểm soát tính nhất quán}}

{{sơ khai toán học}}
{{Hệ thống số}}
{{Số nguyên}}

[[Thể loại:Lý thuyết nhóm Abel]]
[[Thể loại:Lý thuyết vành]]
[[Thể loại:Lý thuyết số sơ cấp]]
[[Thể loại:Lý thuyết tập hợp]]
[[Thể loại:Toán học sơ cấp]]
[[Thể loại:Lý thuyết nhóm giao hoán]]