TOPICS
Search

Divisible Module


A module over a unit ring R is called divisible if, for all r in R which are not zero divisors, every element m of M can be "divided" by r, in the sense that there is an element m^' in M such that m=rm^'. This condition can be reformulated by saying that the multiplication by r defines a surjective map from M to M.

It can be shown that every injective R-module is divisible, but the converse only holds for particular classes of rings, e.g., for principal ideal domains. Since Q and Q/Z are evidently divisible Z-modules, this allows us to conclude that they are also injective.

An additive Abelian group is called divisible if it is so as a Z-module.


See also

Injective Module

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

References

Beachy, J. A. Introductory Lectures on Rings and Modules. Cambridge, England: Cambridge University Press, p. 97, 1999.Bruns, W. and Herzog, J. Cohen-Macaulay Rings, 2nd ed. Cambridge, England: Cambridge University Press, p. 90, 1998.Faith, C. Algebra: Rings, Modules and Categories, I. Berlin, Germany, pp. 158-159, 1973.Hilton, P. J. and Stammbach, U. A Course in Homological Algebra, 2nd ed. New York: Springer-Verlag, pp. 31-33, 1997.Rowen, L. H. Ring Theory, Vol. 1. San Diego, CA: Academic Press, pp. 263-266, 1988.

Referenced on Wolfram|Alpha

Divisible Module

Cite this as:

Barile, Margherita. "Divisible Module." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/DivisibleModule.html

Subject classifications