superfluous submodule

Let $X$ be a submodule of a module $Y$. We say that $X$ is a superfluous submodule of $Y$ if whenever $A$ is a submodule of $Y$ such that $A+X=Y$, then $A=Y$.

Title	superfluous submodule
Canonical name	SuperfluousSubmodule
Date of creation	2013-03-22 12:10:02
Last modified on	2013-03-22 12:10:02
Owner	antizeus (11)
Last modified by	antizeus (11)
Numerical id	6
Author	antizeus (11)
Entry type	Definition
Classification	msc 16D80