# 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**