Kelompok 5
Ahmad Ali Fikri 190312617621
Muhammad Farhan Athif 190312617690
Prisha Putri Delya 190312617651
Suaidah 170312612102
Definisi Daerah Faktorisasi Tunggal
Sebuah daerah integral D merupakan daerah faktorisasi tunggal
jika:
BUKTI
Misalkan 𝐼1 ⊂ 𝐼2 ⊂ ⋯ adalah rantai ideal yang meningkat secara ketat dalam
domain integral 𝐷, dan misalkan 𝐼 adalah gabungan dari semua ideal dalam rantai ini.
Ditinggalkan sebagai Latihan (Latihan 3) untuk membuktikan bahwa 𝐼 adalah ideal dari
𝐷.
Maka, karena 𝐷 adalah daerah ideal utama, terdapat suatu elemen 𝑎 pada
𝐷 sedemikian hingga 𝐼 = 𝑎 . Karena 𝑎 ∈ 𝐼 dan 𝐼 = ∪ 𝐼𝑘 , 𝑎 milik beberapa anggota
rantai, katakanlah 𝑎 ∈ 𝐼𝑛 . Jadi, jelaslah, untuk setiap anggota 𝐼𝑖 dari rantai, kita memiliki
𝐼𝑖 ⊆ 𝐼 = 𝑎 ⊆ 𝐼𝑛, sehingga 𝐼𝑛 harus menjadi anggota rantai terakhir
Teorema 18.3 PID menyiratkan UFD
Setiap daerah ideal utama adalah daerah faktorisasi tunggal
BUKTI
Misal 𝐷 adalah daerah ideal utama dan 𝑎0 sebarang bukan nol yang
bukan unit di 𝐷. Akan ditunjukkan bahwa 𝑎0 adalah hasil perkalian dari irreducible
(hasil kali dapat terdiri dari hanya satu faktor).
BUKTI
Dengan teorema 16.3, 𝐹[𝑥] adalah daerah ideal utama. Jadi, 𝐹 𝑥 juga
merupakan daerah faktorisasi tunggal.
Contoh
Misalkan
𝑓 𝑥 = 𝑎𝑛 𝑥 𝑛 + 𝑎𝑛−1 𝑋 𝑛−1 + ⋯ + 𝑎0 ∈ ℤ 𝑥