Identifikasi Basis Gröbner Dalam Ideal Ring Polinomial

Dalam suatu ring atau lapangan, dapat didefinisikan suatu polinomial yang koefisien-koefisiennya merupakan elemen dari ring atau lapangan tersebut. [] dan [] merupakan suatu ring yang disebut ring polinomial. Misalkan =〈1,2,…〉⊆[], dengan ≠0 untuk setiap ={1,2,3,…,}. Suatu polinomial ∈[] merupakan elemen di jika dapat ditulis sebagai kombinasi linier dari yaitu =11+22+⋯+ dengan ∈[]. Untuk mengubah menjadi kombinasi linier, maka dapat digunakan algoritma pembagian polinomial bervariabel banyak tetapi dengan syarat sisa pembagian adalah nol. Pada polinomial bervariabel banyak, sisa pembagiannya tidak tunggal tergantung pada urutan 1,2,…,. Dikatakan tidak tunggal karena jika sisa pembagiannya nol, tetapi setelah merubah urutan 1,2,…, akan dihasilkan sisa pembagian yang bukan nol. Oleh karena itu, untuk menyelesaian masalah keanggotaan ideal tersebut, maka harus dicari himpunan pembangun yang lain dari yang disebut basis Gröbner. Basis Gröbner pada adalah himpunan semua polinomial {1,2,…,} dalam sedemikian sehingga untuk sebarang ∈ terdapat () habis membagi () dengan =1,2,…,. Dari hasil penelitian dapat disimpulkan bahwa setiap ideal yang merupakan ideal polinomial dalam [] mempunyai basis Gröbner. Untuk mengetahui apakah suatu basis merupakan basis Gröbner maka digunakan kriteria Buchberger. Sedangkan untuk mendapatkan basis Gröbner dari suatu ideal polinomial digunakan algoritma Buchberger