A generalization by Kronecker of Kummer's theory of Prime Ideal factors. A divisor on a full subcategory of mod() is an additive mapping on with values in a Semigroup of Ideals on .
See also Ideal, Ideal Number, Prime Ideal, Semigroup
References
Edwards, H. M. Divisor Theory. Boston, MA: Birkhäuser, 1989.
Vasconcelos, W. V. Divisor Theory in Module Categories. Amsterdam, Netherlands:
North-Holland, pp. 63-64, 1974.