Tamlık bölgelerinde indirgenemez eleman:
0 veya birimsel (tersinir) olmayan ve ikisi de birimsel olmayan elemanların çarpımı şeklinde yazılamayan eleman olarak tanımlanır.
İndirgenemez polinom ise sabit olmayan ve daha küçük dereceli iki polinomun çarpımı olarak yazılamayan polinom olarak tanımlanır.
Demek ki $\mathbb{Z}[x]$ de (ve $R$ bir tamlık bölgesi olmak üzere $R[x]$ de) iki farklı indirgenemezlik tanımı var.
$\mathbb{Z}[x]$ de birinci tanıma göre indirgenebilir ama ikinci tanıma göre indirgenemez (veya tersi) bir eleman var mıdır? Yani bu iki tanım eşdeğer midir?
(Ama, $F$ bir cisim ise, $F[x]$ halkasında bu iki tanım eşdeğer oluyor)
(http://matkafasi.com/62/uzerine-indirgenemez-mathbb-uzerine-indirgenebilir-polinom sorusuna verilen bir cevap ve ona yapılan bir yorum ile de ilgili)