Misalkan daerah integral dan . Kita katakan bahwa membagi () jika . Unsur disebut sekawan jika dengan (ekuivalen dengan ). Unsur yang tak nol dan bukan unit disebut:
- tak tereduksi jika memaksa atau ;
- prima jika memaksa atau (yakni ideal prima).
Contoh
Contoh 2.20 (Sebuah ring tanpa faktorisasi tunggal)
Tidak satu pun implikasi Euclid DIU DFT merupakan kesetaraan, dan kegagalan pada implikasi terakhir layak dilihat sekali secara lengkap. Di dalam
normanya multiplikatif dan jika dan hanya jika . Tinjau
Keempat faktornya tak tereduksi: normanya , dan faktorisasi sejati akan memaksa — padahal tak pernah sama dengan atau ( menyisakan yang bukan kuadrat; memberikan ). Namun tidak sekawan dengan (normanya ): jadi ada dua faktorisasi atas unsur tak tereduksi yang benar-benar berbeda. Setara dengan itu, di sini tak tereduksi prima: membagi hasil kali tetapi tidak membagi satu pun faktornya (lihat normanya lagi). Perbaikan kegagalan ini secara ideal — memfaktorkan ideal alih-alih unsur — adalah kelahiran teori bilangan aljabar; pada tingkat kita, contoh ini mengukur betapa istimewanya ring Euclid , , pada bab ini.
Contoh 2.26
tak tereduksi atas untuk setiap bilangan prima dan (Eisenstein pada ): jadi ada polinomial tak tereduksi berderajat berapa pun atas — sangat berbeda dengan (hanya derajat , menurut d’Alembert–Gauss, yang dibuktikan pada Bab 16) dan (derajat ). Muslihat penggeseran memperluas jangkauan Eisenstein: polinomial siklotomik ke-, yaitu , mempunyai
yang memenuhi Eisenstein pada (sebab untuk , dan ): jadi , dan karenanya , tak tereduksi atas . Inilah jantung aljabar dari kisah segi- yang dituturkan pada Bab 4.