Jump to content

Essential monomorphism

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Citation bot (talk | contribs) at 23:33, 26 August 2024 (Altered url. URLs might have been anonymized. | Use this bot. Report bugs. | #UCB_CommandLine). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In mathematics, specifically category theory, an essential monomorphism is a monomorphism i in an abelian category C such that for a morphism f in C, the composition is a monomorphism only when f is a monomorphism.[1] Essential monomorphisms in a category of modules are those whose image is an essential submodule of the codomain. An injective hull of an object A is an essential monomorphism from A to an injective object.[1]

References

[edit]
  1. ^ a b Hashimoto, Mitsuyasu (November 2, 2000). Auslander-Buchweitz Approximations of Equivariant Modules. Cambridge University Press. p. 19. ISBN 9780521796965. Retrieved February 3, 2024 – via Google Books.