TOPICS
Search

Inverse System

For {M_i}_(i in I) a family of R-modules indexed by a directed set I, let

sigma_(ji):M_j->M_i i<=j

be an R-module homomorphism. Call (M_i,sigma_(ji)) an inverse system over I when

1. sigma_(ii)(m)=m for all m in M_i.

2. When i<=j<=k, sigma_(ki)=sigma_(ji) degreessigma_(kj).

See also

Direct System, Directed Set, Module, Module Homomorphism

This entry contributed by Bart Snapp

Explore with Wolfram|Alpha

References

Atiyah, M. F. and Macdonald, I. G. Introduction to Commutative Algebra. Menlo Park, CA: Addison-Wesley, 1969.Matsumura, H. Commutative Ring Theory. New York: Cambridge University Press, 1986.

Referenced on Wolfram|Alpha

Inverse System

Cite this as:

Weisstein, Eric W., with contributions by Bart Snapp. "Inverse System." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/InverseSystem.html

Subject classifications