PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
essential submodule (Definition)

Let $X$ be a submodule of a module $Y$ . We say that $X$ is an essential submodule of $Y$ , and that $Y$ is an essential extension of $X$ , if whenever $A$ is a nonzero submodule of $Y$ , then $A \cap X$ is also nonzero.

A monomorphism $f : X \to Y$ is an essential monomorphism if the image ${\rm im} f$ is an essential submodule of $Y$ .




"essential submodule" is owned by antizeus.
(view preamble | get metadata)

View style:

See Also: essential subgroup, essential monomorphism, complete ring of quotients of reduced commutative rings, epimorphic hull

Other names:  essential extension, essential monomorphism
Log in to rate this entry.
(view current ratings)

Cross-references: image, monomorphism, module, submodule
There are 6 references to this entry.

This is version 2 of essential submodule, born on 2002-01-05, modified 2003-09-20.
Object id is 1374, canonical name is EssentialSubmodule.
Accessed 6014 times total.

Classification:
AMS MSC16D80 (Associative rings and algebras :: Modules, bimodules and ideals :: Other classes of modules and ideals)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)