学中，唯一分解整环（）是一个整环，其中元素都可以表示成有限个不可约元素（或素元）之积，并且表示法在允许重排与相伴（associative）之下唯一，相当于满足算术基本定理的整环。唯一分解整环通常以英文缩写UFD表示。
定义.一个整环formula_1被称为唯一分解整环若且唯若formula_1中的每个非零元素formula_3皆可表示为一个可逆元素和若干个不可约元素（可以是0个）的乘积：其中formula_5是一个可逆元素，formula_6是不可约元素，formula_7是非负