16.13. Definíció
Prímtulajdonságú elem
Egy kommutatív gyűrű valamely elemét prímtulajdonságú elemnek (vagy egyszerűen csak prímnek) nevezzük, ha nem a nullelem, nem egység, és csak úgy lehet osztója két elem szorzatának, ha legalább az egyik tényezőnek osztója.
Azaz ha valamely és elemekre teljesül a oszthatóság, akkor az alábbi oszthatóságok közül legalább az egyik ugyancsak teljesül:
♣