Coba jelasin Bilangan bulat dari Penambahan dong

Konsepsi bilangan bulat yang sederhana adalah ia terdiri dari nilai absolut (yang merupakan bilangan asli) dan tanda (umumnya positif atau negatif). Bilangan bulat nol adalah kasus ketiga khusus, yang bukan positif atau negatif. Definisi yang sesuai dari penambahan harus dilanjutkan dengan kasus:

Untuk bilangan bulat n, maka |n| menjadi nilai mutlaknya. Misalkan a dan b adalah bilangan bulat. Jika a atau b adalah nol, perlukan sebagai identitas. Jika a dan b keduanya positif, tentukan . Jika a dan b keduanya negatif, tentukan . Jika a dan b memiliki tanda yang berbeda, tentukan  sebagai selisih antara |a| dan |b|, dengan tanda suku yang nilai absolutnya lebih besar. Sebagai contoh, ; karena –6 dan 4 memiliki tanda yang berbeda, nilai absolutnya dikurangi, dan karena nilai absolut suku negatif lebih besar, jawabannya adalah negatif.

Meskipun definisi ini berguna untuk masalah konkret, jumlah kasus yang perlu dipertimbangkan memperumit pembuktian yang tidak perlu. Jadi metode berikut ini biasa digunakan untuk mendefinisikan bilangan bulat. Hal ini didasarkan pada pernyataan bahwa setiap bilangan bulat adalah selisih dari dua bilangan bulat asli dan bahwa dua selisih tersebut,  sama dengan  jika dan hanya jika .

Jadi, apabila mendefinisikan secara formal bilangan bulat sebagai kelas ekuivalensi dari pasangan terurut bilangan asli di bawah relasi ekuivalensi

jika dan hanya jika .

Kelas ekuivalensi dari  berisi  jika , atau . Jika  adalah bilangan asli, yang menyatakan  kelas ekuivalen dari , dan dengan  kelas ekuivalen dari . Hal ini memungkinkan mengidentifikasi bilangan asli  dengan kelas ekivalen .

Penambahan pasangan terurut dilakukan berdasarkan komponen:

Perhitungan langsung menunjukkan bahwa kelas ekuivalen dari hasil hanya bergantung pada kelas ekuivalen dari penyebut, dan dengan demikian ini mendefinisikan penambahan kelas ekuivalen, yaitu bilangan bulat. Perhitungan langsung lainnya menunjukkan bahwa penambahan ini sama dengan definisi kasus di atas.

Cara mendefinisikan bilangan bulat sebagai kelas ekuivalen dari pasangan bilangan asli, dapat digunakan untuk menyematkan ke dalam grup komutatif semigrup dengan sifat pembatalan. Di sini, semigrup dibentuk oleh bilangan asli dan grup adalah grup aditif bilangan bulat. Bilangan rasional dibangun dengan cara yang sama, dengan mengambil sebagai semigrup bilangan bulat bukan nol dengan perkalian.

Konstruksi ini juga telah digeneralisasikan dengan nama grup Grothendieck untuk kasus setiap semigrup komutatif. Tanpa sifat pembatalan homomorfisme semigrup dari semigrup ke grup ini adalah non-injektif. Awalnya, "grup Grothendieck", hasil konstruksi ini diterapkan pada kelas ekivalensi di bawah isomorfisme objek dari kategori Abelian, dengan jumlah langsung sebagai operasi semigrup.