image ideal of divisor

Theorem.  If an integral domain $𝒪$ has a divisor theory  ${𝒪}^{*}\to 𝔇$,  then the subset $[𝔞]$ of $𝒪$, consisting of 0 and all elements divisible by a divisor $𝔞$, is an ideal of $𝒪$.  The mapping

$$𝔞\mapsto [𝔞]$$

from the set $𝔇$ of divisors into the set of ideals of $𝒪$ is injective and maps any principal divisor $(\alpha )$ to the principal ideal $(\alpha )$.

Proof.  Let  $\alpha ,\beta \in [𝔞]$  and  $\lambda \in 𝒪$.  Then, by the postulate 2 of divisor theory (http://planetmath.org/DivisorTheory), $\alpha -\beta$ is divisible by $𝔞$ or is 0, and in both cases belongs to $[𝔞]$.  When  $\lambda \alpha \ne 0$,  we can write  $(\alpha )=𝔞𝔠$  with $𝔠$ a divisor.  According to the homomorphicity of the mapping  ${𝒪}^{*}\to 𝔇$,  we have

$$(\lambda \alpha )=(\lambda )(\alpha )=(\lambda )𝔞𝔠,$$

and therefore the element $\lambda \alpha$ is divisible by $𝔞$, i.e. $\lambda \alpha \in [𝔞]$.  Thus, $[𝔞]$ is an ideal of $𝒪$.

The injectivity of the mapping  $𝔞\mapsto [𝔞]$  follows from the postulate 3 of divisor theory (http://planetmath.org/DivisorTheory).

The ideal $[𝔞]$ may be called the image ideal of $𝔞$ or the ideal determined by the divisor $𝔞$.

Remark.  There are integral domains $𝒪$ having a divisor theory but also having ideals which are not of the form $[𝔞]$ (for example a polynomial ring in two indeterminates and its ideal formed by the polynomials without constant term).  Such rings have ‘‘too many ideals’’.  On the other hand, in some integral domains the monoid of principal ideals cannot be embedded into a free monoid; thus those rings cannot have a divisor theory.

Title	image ideal of divisor
Canonical name	ImageIdealOfDivisor
Date of creation	2013-03-22 18:02:40
Last modified on	2013-03-22 18:02:40
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	9
Author	pahio (2872)
Entry type	Theorem
Classification	msc 13A15
Classification	msc 13A05
Classification	msc 11A51
Defines	image ideal
Defines	ideal determined by the divisor