Kommutative Ringtheorie/Teilbarkeitslehre/Primelement/Definition

Primelement

Eine Nichteinheit in einem kommutativen Ring heißt prim (oder ein Primelement), wenn folgendes gilt: Teilt ein Produkt  mit , so teilt einen der Faktoren.