16.11. Definíció
Felbonthatatlan elem
Legyenek , és egy kommutatív gyűrű elemei. Ha ezekre az elemekre teljesül, akkor a szorzatot az elem felbontásának nevezzük.
Azokat a felbontásokat, amelyekben és közül az egyik egység, a másik pedig asszociáltja, triviális felbontásoknak nevezzük. Bármilyen ettől eltérő felbontást nemtriviális felbontásnak nevezünk.
Ha egy elem saját maga nem egység és nem létezik nemtriviális felbontása – azaz vagy egyáltalán nem létezik felbontása, vagy ha létezik is, az csak triviális lehet –, akkor őt felbonthatatlannak vagy irreducibilisnek nevezzük. Ha egy elem nem felbonthatatlan és nem egység, akkor őt összetett vagy felbontható elemnek nevezzük. Az egységeket nem tekintjük sem felbonthatatlannak, sem pedig összetettnek.
♣