# image ideal of divisor

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

$$\U0001d51e\mapsto [\U0001d51e]$$ |

from the set $\U0001d507$ of divisors into the set of ideals of $\mathcal{O}$ is injective and maps any principal divisor $(\alpha )$ to the principal ideal^{} $(\alpha )$.

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

$$(\lambda \alpha )=(\lambda )(\alpha )=(\lambda )\U0001d51e\U0001d520,$$ |

and therefore the element $\lambda \alpha $ is divisible by $\U0001d51e$, i.e. $\lambda \alpha \in [\U0001d51e]$. Thus, $[\U0001d51e]$ is an ideal of $\mathcal{O}$.

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

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

Remark. There are integral domains $\mathcal{O}$ having a divisor theory but also having ideals which are not of the form $[\U0001d51e]$ (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.

## References

- 1 М. М. Постников: Введение в теорию алгебраических чисел. Издательство ‘‘Наука’’. Москва (1982).

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 |