Definition:Trivial Factorization/Non-Trivial Factorization

From ProofWiki
Jump to navigation Jump to search


Let $\struct {D, +, \circ}$ be an integral domain.

Let $\struct {U_D, \circ}$ be the group of units of $\struct {D, +, \circ}$.

A factorization in $\struct {D, +, \circ}$ of the form $x = z \circ y$, where neither $y$ nor $z$ is a unit of $D$, is called a non-trivial factorization.

Linguistic Note

The spelling factorization is the US English version.

The UK English spelling is factorisation.