Definition 10.120.1. Let $R$ be a domain.

1. Elements $x, y \in R$ are called associates if there exists a unit $u \in R^*$ such that $x = uy$.

2. An element $x \in R$ is called irreducible if it is nonzero, not a unit and whenever $x = yz$, $y, z \in R$, then $y$ is either a unit or an associate of $x$.

3. An element $x \in R$ is called prime if the ideal generated by $x$ is a prime ideal.

There are also:

• 9 comment(s) on Section 10.120: Factorization

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).