素因数分解の一意性を要求しないならば、さらに一般の整域''R''に対しても、単項イデアルの包含関係により約数の概念を拡張することができる.
''R''