# Pure submodule

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

in the sense of Cohn

A submodule of a right -module such that for any left -module the natural homomorphism of Abelian groups is injective. This is equivalent to the following condition: If the system of equations has a solution in , then it has a solution in (cf. Flat module). Any direct summand is a pure submodule. All submodules of a right -module are pure if and only if is a regular ring (in the sense of von Neumann).

In the case of Abelian groups (that is, ), the following assertions are equivalent: 1) is a pure (or serving) subgroup of (cf. Pure subgroup); 2) for every natural number ; 3) is a direct summand of for every natural number ; 4) if and is a finitely-generated group, then is a direct summand of ; 5) every residue class in the quotient group contains an element of the same order as the residue class; and 6) if and is finitely generated, then is a direct summand of . If property 2) is required to hold only for prime numbers , then is called a weakly-pure subgroup.

The axiomatic approach to the notion of purity is based on the consideration of a class of monomorphism subject to the following conditions (here means that is a submodule of and that the natural imbedding belongs to ): P0') if is a direct summand of , then ; P1') if and , then ; P2') if and , then ; P3') if and , then ; and P4') if , and , then . Taking the class instead of the class of all monomorphisms leads to relative homological algebra. For example, a module is called -injective if implies that any homomorphism from into can be extended to a homomorphism from into (cf. Injective module). A pure injective Abelian group is called algebraically compact. The following conditions on an Abelian group are equivalent: ) is algebraically compact; ) splits as a direct summand of any group that contains it as a pure subgroup; ) is a direct summand of a group that admits a compact topology; and ) a system of equations over is solvable if every finite subsystem of it is solvable.

How to Cite This Entry:
Pure submodule. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pure_submodule&oldid=18846
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article