A prime element in a ring is an element that, whenever it divides a product, must divide at least one of the factors of the product. It is a generalization of prime numbers in the integers and plays a crucial role in ring theory and algebraic number theory.