Pemahaman akan pengertian abstrak sepertinya masih dianggap sebagai suatu yang sulit bahkan tak teraplikasi. Bagi orang di pinggir jalan, boleh jadi menganggap orang yang belajar matematika abstrak sebagai orang sinting.

     Saatnya kita harus menguak apa yang dimaksud abstrak dalam matematika? Apakah suatu yang tidak real? Hanyakah ngoyoworo ataukah hanyakah khayalan orang? Apakah seperti aljabar abstrak itu suatu yang mengada-ada saja ataukah memang harus menuju ke situ?

    Berikut semoga bisa memberi gambaran akan pemahaman tersebut. Sebagai langkah-langkah sebelum ke abstrak, kita berkecimpung dengan aritmatika yang di dalamnya ada proses seperti penjumlahan, perkalian, dan ada penggunaan variabel. Pengenalan abstrak di SMA biasanya dimulai dengan pelajaran induksi matematik dimana harus membuktikan keteraturan sampai tak hingga dengan membuktikan implikasi  P_k--->P_k+1 dan membuktikan P₀ benar.
     Waktu kita melangkah dari perhitungan dasar ke penggunaan variabel, kita meluaskan orientasi kepada cakupan perhitungan yang lebih luas. Kita bisa mengoperasikan bilangan-bilangan tanpa mengetahui berapa bilangannya, cukup dengan variabel. Nah ini, dari aritmatika menuju abstrak yang banyak membuat kepala para mahasiswa sakit, sebenarnya juga merupakan perluasan orientasi menuju semakin beragam dan semakin luas. Kita mulai dengan mempelajari sekelompok obyek, lalu interaksi antar obyek, yang lalu kita namakan operasi biner, mempelajari keteraturannya, mempelajari ciri-cirinya, lalu memformulasikannya menjadi aksioma-aksioma.

     Contoh di bawah mungkin bisa menjadi bayangan akan langkah tersebut, kita mulai dengan PENGANTAR TEORI BILANGAN.

Subgroup bilangan bulat
Kita perhatikan perhatikan himpunan bilangan bulat (integer), yaitu {...,-3,-2,-1,0,1,2,3,...} yang lalu biasa dinotasikan dengan Z. < huruf Z ini adalah diambil dari singkatan Zahl=bilangan dari Bhs Jerman>
Diberikan suatu himpunan bagian dari Z, katakanlah himpunan S. Himpunan S disebut subgroup dari Z jika memenuhi :
(i) x+y anggota dari S untuk setiap x dan y anggota dari S,
(ii) 0 anggota dari S,
(iii) -x anggota dari S untuk setiap x anggota dari S.

< catatan : Kalau pernah mempelajari tentang teori group, maka syarat-syarat di atas tidak lain sifat tertutup(i), ada elemen identitas(ii), dan untuk setiap anggota dari S yang bukan 0 punya invers. Di kasus bilangan bulat ini sifat asosiatif bisa dirunut dg mudah dari sifat tertutup >

Suatu himpunan bagian tak kosong S dari Z adalah subgroup jika dan hanya jika x - y anggota dari S untuk setiap x dan y anggota dari S.
Bukti :
S subgroup dari Z ==> x - y anggota S untuk setiap x,y anggota S
Karena y anggota dari S, maka -y anggota dari S
Karena x dan -y anggota dari S, maka x+(-y)=x-y anggota dari S
x - y anggota S untuk setiap x,y anggota S ==> S subgroup dari Z
Karena S tak kososng maka ada anggotanya, misalkan x anggota dari S, maka x-x=0 adalah anggota dari S , jadi 0 dan x anggota dari S sehingga 0-x=-x anggota dari S , lalu jika x dan y anggota dari S, sehingga -y anggota dari S, lalu x-(-y)=x+y anggota dari S . Terbukti.

Taruhlah m adalah bilangan bulat, dan kita buat notasi mZ={mn|n anggota Z}. Maka mZ adalah subgroup dari Z.

Teorema I
Jika S adalah saubgroup dari Z, maka S = mZ untuk suatu bilngan bulat tak negatif m. < dengan kata lain, teorema ini mengatakan bahwa kalau S adalah subgroup dari Z, maka pasti berbentuk himpunan kelipatan dari suatu bilangan bulat tak negatif {0,1,2,3,...} >
Bukti :
Kita buat dua kemungkinan, yaitu :
pertama --> jika S = {0}, maka dapat ditulis S=mZ dengan m=0.
kedua --> jika S tidak sama dengan {0}, atau S memuat bilangan bulat tak nol. Maka tentunya S memuat bilangan bulat positif < karena jika x anggota S maka -x juga anggota S >. Kita ambil misalnya m adalah bilangan bulat positif yang terkecil di S. Lalu suatu bilangan bulat positif n di S akan dapat ditulis dalam bentuk n=qm+r, dimana q adalah suatu bilangan bulat positif dan r suatu bilangan bulat yang memenuhi 0<=r. Dengan demikian r juga anggota S, karena r=n-qm. Karena diasumsikan m adalah yang terkecil, maka haruslah r=0. Jadi n=qm, dengan demikian n anggota mZ, yang berarti S=mZ. Terbukti.

Teorema tersebut mengatakan bahwa kalau sebuah himpunan yang anggotanya bilangan-bilangan bulat serta memenuhi tiga aksioma untuk subgroup di atas, maka tentulah anggota-anggota himpunan tersebut berbentuk kelipatan dari suatu bilangan bulat positif.

Faktor Persekutuan Terbesar
Definisi :
Taruhlah a₁,a₂,...,a_r adalah bilangan bulat, yang tidak semuanya nol. Faktor persekutuan dari a₁,a₂,...,a_r adalah suatu bilangan bulat yang membagi habis setiap a₁,a₂,...,a_r. Faktor persekutuan terbesar dari a₁,a₂,...,a_r adalah bilangan bulat positif terbesar yang membagi habis setiap a₁,a₂,...,a_r. Faktor persekutuan terbesar dari a₁,a₂,...,a_r dinaotasikan dengan (a₁,a₂,...,a_r).

Teorema II
Taruhlah a₁,a₂,...,a_r adalah bilangan bulat, yang tidak semuanya nol. Maka ada bilangan-bilangan bulat sebutlah u₁,u₂,...,u_r sedemikian hingga
(a₁,a₂,...,a_r)=a₁u₁ + a₂u₂ + . . . +a_ru_r
dimana (a₁,a₂,...,a_r) adalah Faktor Persekutuan Terbesar dari a₁,a₂,...,a_r.
Bukti :
Pembuktian teorema ini, pertama kita harus menunjukkan bahwa suatu himpunan S yang anggota-anggotanya berbentuk n₁a₁+ n₂a₂ + . . . +n_ra_r dimana n_1, n_2,..., n_r bilangan-bilangan bulat merupakan subgroup dari Z dengan menunjukkan terpenuhinya  3 aksioma di atas. Lalu setelah terbukti, maka karena
S subgroup Z, akan berbentuk mZ. Dengan kata lain bahwa setiap anggota S merupakan kelipatan dari m. Dengan demikian m adalah faktor persekutuan dari a₁,a₂,...,a_r. Karena FPB adalah faktor persekutuan, maka otomatis ada u₁,u₂,...,u_r sehingga (a₁,a₂,...,a_r)=a₁u₁ + a₂u₂ + . . . +a_ru_r. Terbukti.

    Kiranya, ini bisa menjadi gambaran bahwa yang namanya abstrak bukan suatu yang tidak aplikatif, melainkan adalah perluasan orientasi kita dalam memandang. Memang terlihat lebih sulit, karena kita mencoba menengok yang disebalik dari yang nampak.

     Semoga bermanfaat bagi semuanya.