Definition:Irreducible Element of Ring/Definition 1
Jump to navigation
Jump to search
Definition
Let $\struct {D, +, \circ}$ be an integral domain whose zero is $0_D$.
Let $\struct {U_D, \circ}$ be the group of units of $\struct {D, +, \circ}$.
Let $x \in D: x \notin U_D, x \ne 0_D$, that is, $x$ is non-zero and not a unit.
$x$ is defined as irreducible if and only if it has no non-trivial factorization in $D$.
That is, if and only if $x$ cannot be written as a product of two non-units.
Also defined as
Some sources define the concept of an irreducible element only on an integral domain $\struct {D, +, \circ}$ which is also Euclidean.
Also known as
An irreducible element of a ring is also known as an atom of a ring, hence described as atomic.
Some sources refer to such an element as a prime element of the ring in question.
Also see
Sources
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 62$. Factorization in an integral domain
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): prime: 3.
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): irreducible