A nonzero nonunit in an integral domain is irreducible when every factorization has at least one unit factor.
The multiplicative field norm is an integer. Units have field norm one and are exactly . A nontrivial factorization of 2 would force both factors to have field norm two, which the displayed quadratic form cannot represent. Thus 2 is an irreducible element. It is not a prime element, since it divides but neither factor. This is an example in a nonmaximal quadratic order, rather than the full ring of integers of ; the precise ring matters for factorization.
Articles by others on the same topic
In the context of abstract algebra, particularly in the study of partially ordered sets and rings, an **irreducible element** has a specific definition: 1. **In a Partially Ordered Set**: An element \( x \) in a partially ordered set \( P \) is called irreducible if it cannot be expressed as the meet (greatest lower bound) of two elements from \( P \) unless one of those elements is \( x \) itself.