# Algebraically compact module

Algebraically compact module

In mathematics, especially in the area of abstract algebra known as module theory, algebraically compact modules, also called pure-injective modules, are modules that have a certain "nice" property which allows the solution of infinite systems of equations in the module by finitary means. The solutions to these systems allow the extension of certain kinds of module homomorphisms. These algebraically compact modules are analogous to injective modules, where one can extend all module homomorphisms. All injective modules are algebraically compact, and the analogy between the two is made quite precise by a category embedding.

Definitions

Suppose "R" is a ring and "M" is a left "R"-module. Take two sets "I" and "J", and for every "i" in "I" and "j" in "J", an element "r""ij" of "R" such that, for every "i" in "I", only finitely many "r""ij" are non-zero. Furthermore, take an element "mi" of "M" for every "i" in "I". These data describe a "system of linear equations" in "M":

:$sum_\left\{jin J\right\} r_\left\{ij\right\}x_j = m_i$ for every "i"∈"I".

The goal is to decide whether this system has a "solution", i.e. whether there exist elements "x""j" of "M" for every "j" in "J" such that all the equations of the system are simultaneously satisfied. (Note that we do not require that only finitely many of the "xj" are non-zero here.)

Now consider such a system of linear system, and assume that any subsystem consisting of only "finitely many" equations is solvable. (The solutions to the various subsystems may be different.) If every such "finitely-solvable" system is itself solvable, then we call the module "M" algebraically compact.

A module homomorphism "M" → "K" is called "pure injective" if the induced homomorphism between the tensor products "C" ⊗ "M" → "C" ⊗ "K" is injective for every right "R"-module "C". The module "M" is pure-injective if any pure injective homomorphism "j" : "M" → "K" splits (i.e. there exists "f" : "K" → "M" with "fj" = 1"M").

It turns out that a module is algebraically compact if and only if it is pure-injective.

Examples

Every vector space is algebraically compact (since it is pure-injective). More generally, every injective module is algebraically compact, for the same reason.

If "R" is an associative algebra with 1 over some field "k", then every "R"-module with finite "k"-dimension is algebraically compact. This gives rise to the intuition that algebraically compact modules are those (possibly "large") modules which share the nice properties of "small" modules.

The Prüfer groups are algebraically compact abelian groups (i.e. Z-modules).

Many algebraically compact modules can be produced using the injective cogenerator Q/Z of abelian groups. If "H" is a "right" module over the ring "R", one forms the (algebraic) character module "H"* consisting of all group homomorphisms from "H" to Q/Z. This is then a left "R"-module, and the *-operation yields a faithful contravariant functor from right "R"-modules to left "R"-modules. Every module of the form "H"* is algebraically compact. Furthermore, there are pure injective homomorphisms "H" → "H"**, natural in "H". One can often simplify a problem by first applying the *-functor, since algebraically compact modules are easier to deal with.

Facts

The following condition is equivalent to "M" being algebraically compact:
* For every index set "I", the addition map "M(I)" → "M" can be extended to a module homomorphism "MI" → "M" (here "M(I)" denotes the direct sum of copies of "M", one for each element of "I"; "MI" denotes the product of copies of "M", one for each element of "I").

Every indecomposable algebraically compact module has a local endomorphism ring.

Algebraically compact modules share many other properties with injective objects because of the following: there exists an embedding of "R"-Mod into a Grothendieck category "G" under which the algebraically compact "R"-modules precisely correspond to the injective objects in "G".

ee also

* Table of mathematical symbols

References

* C.U. Jenzen and H. Lenzing: "Model Theoretic Algebra", Gordon and Breach, 1989

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

• List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

• Abelian group — For other uses, see Abelian (disambiguation). Abelian group is also an archaic name for the symplectic group Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product,… …   Wikipedia

• Injective cogenerator — In category theory, the concept of an injective cogenerator is drawn from examples such as Pontryagin duality. Generators are objects which cover other objects as an approximation, and (dually) cogenerators are objects which envelope other… …   Wikipedia

• Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

• Representation theory — This article is about the theory of representations of algebraic structures by linear transformations and matrices. For the more general notion of representations throughout mathematics, see representation (mathematics). Representation theory is… …   Wikipedia

• Spectrum of a C*-algebra — The spectrum of a C* algebra or dual of a C* algebra A, denoted Â, is the set of unitary equivalence classes of irreducible * representations of A. A * representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed… …   Wikipedia

• Von Neumann algebra — In mathematics, a von Neumann algebra or W* algebra is a * algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. They were originally introduced by John von Neumann,… …   Wikipedia

• Dynkin diagram — See also: Coxeter–Dynkin diagram Finite Dynkin diagrams Affine (extended) Dynkin diagrams …   Wikipedia