Escolar Documentos
Profissional Documentos
Cultura Documentos
menguji tugas akhir penulis, bahwa ( K [ x ]) [ y ] dengan K [ x, y ] tidak sama, melainkan isomorfis. Akan tetapi pada bab-bab berikutnya, penulis akan menggunakan notasi
K [ x, y ] untuk merujuk kepada ring polinomial dengan dua peubah, x dan y serta
koefisiennya merupakan elemen di lapangan K. Karena jumlah peubah bisa lebih dari satu maka digunakan notasi K [ x ] untuk merujuk kepada ring polinomial dengan peubah
Pada bab ini akan dibahas mengenai suatu ring khusus yang disebut dengan ring polinomial. Polinomial yang selama ini dikenal dalam kalkulus akan dipandang sebagai suatu elemen dari sebuah ring. Pada bab ini juga akan dibahas mengenai sifat-sifat suatu ring polinomial terkait dengan koefisiennya yang merupakan elemen dari lapangan.
Diketahui
v f = ai x1v1i x22 i i =0
v xnni
dan g = b j x1 1 j x2 2 j
w w j =0
xn nj
untuk setiap
berikut:
z (i). f + g = ci x1z1i x22 i i =0 r z xnni , dengan ci = ai + bi
dan
dengan
untuk
setiap 0 i s dan 0 j t .
Menurut definisi penjumlahan dan perkalian polinomial peubah banyak tersebut, dapat diperoleh lemma berikut.
Lemma 7.2
Ring polinomial K [ x ] merupakan ring terhadap operasi penjumlahan dan perkalian polinomial peubah banyak. Lebih lanjut K [ x ] merupakan daerah integral.
Contoh 7.3
[ x1 , x2 ] .
[ x, y ] .
Contoh 7.5
[ x, y , z ] .
Ada beberapa sifat pada K [ x ] yang tidak berlaku seperti pada K [ x ] . Sifat-sifat tersebut menyangkut algoritma pembagian dan ideal.
Sifat 7.6
Algoritma pembagian pada K [ x ] tidak berlaku secara umum. Yaitu untuk setiap
f , g K [ x ] terdapat s1 , s2 , r1 , r2 K [ x ] sehingga f = s1 g + r1 = s2 g + r2 dengan s1 s2
atau r1 r2 .
Bukti.
Pembuktian
x 2 + 1, x + y
dengan
menujukkan
counter-example,
misalkan
diketahui
[ x, y ] . Diperhatikan bahwa:
Sifat 7.7
Misalkan diketahui
[ x, y ] , ideal
Sumber:
Becker T. and Weispfenning V., 1993, Grbner Bases: A Computational Approach to Commutative Algebra, Springer-Verlag New York inc., New York. Cox D., Little J. and OShea D., 1992, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, SpringerVerlag New York inc., New York. Fraleigh J. B., 1994, A First Course in Abstract Algebra, Addison-Wesley Publishing Company inc., United States.