Definition
Let R be a ring, and let M, P be modules over R. If i: P → M is injective then P is a pure submodule of M if, for any R-module X, the natural induced map on tensor products i⊗idX:P⊗X → M⊗X is injective.
Analogously, a short exact sequence
of R-modules is pure exact if the sequence stays exact when tensored with any R-module X. This is equivalent to saying that f(A) is a pure submodule of B.
Purity can also be expressed element-wise; it is really a statement about the solvability of certain systems of linear equations. Specifically, P is pure in M if and only if the following condition holds: for any m-by-n matrix (aij) with entries in R, and any set y1,...,ym of elements of P, if there exist elements x1,...,xn in M such that
then there also exist elements x1',..., xn' in P such that
Read more about this topic: Pure Submodule
Famous quotes containing the word definition:
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)