FoldUnfold Table of Contents The Inclusion Chart for Special Types of Integral Domains The Inclusion Chart for Special Types of Integral Domains Below is an inclusion chart showing the various inclusions of the algebraic structures of: commutative rings, integral domains, unique factorization domains, principal ideal domains, Euclidean domains, and … [Read more...]

## Unique Factorization Domains (UFDs)

FoldUnfold Table of Contents Unique Factorization Domains (UFDs) Unique Factorization Domains (UFDs) Definition: Let $(R, +, \cdot)$ be an integral domain. Then $R$ is a Unique Factorization Domain if the following properties are satisfied: 1) Every element $a \in R$ that is nonzero and that is not a unit can be expressed as a product of irreducible elements in $R$. 2) … [Read more...]

## Irreducible Elements in a Commutative Ring

FoldUnfold Table of Contents Irreducible Elements in a Commutative Ring Irreducible Elements in a Commutative Ring Recall from The Greatest Common Divisor of Elements in a Commutative Ring page that if $(R, +, \cdot)$ is a commutative ring and $a_1, a_2, ..., a_n \in R$ then a greatest common divisor of these elements is an element $d \in R$ which satisfies the following … [Read more...]

## The Greatest Common Divisor of Elements in a Commutative Ring

FoldUnfold Table of Contents The Greatest Common Divisor of Elements in a Commutative Ring The Greatest Common Divisor of Elements in a Commutative Ring Recall from the Divisors and Associates of Commutative Rings page that if $(R, +, \cdot)$ is a commutative ring then for $a, b \in R$ we said that $b$ is a divisor of $a$ written $b | a$ if there exists an element $q \in … [Read more...]

## Associates of Elements in Commutative Rings

FoldUnfold Table of Contents Associates of Elements in Commutative Rings Associates of Elements in Commutative Rings Definition: Let $(R, +, \cdot)$ be a commutative ring and let $a, b \in R$. Then $a$ is said to be an Associate of $b$ denoted $a \sim b$ if there exists a unit $u \in R$ such that $a = bu$. Theorem 1: If $(R, +, \cdot)$ is an integral domain and $a … [Read more...]