 Prime element

A nonzero nonunit $p$ in an integral domain is prime when $p\mid ab$ implies $p\mid a$ or $p\mid b$.

In the context of mathematics, particularly in number theory and abstract algebra, a **prime element** (or simply a prime) is an element of an integral domain (a type of ring) that satisfies certain properties.