Algebraically compact module

Last updated May 24, 2023

In mathematics, 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

Let $R$ be a ring, and $M$ a left $R$ -module. Consider a system of infinitely many linear equations

\sum _{j\in J}r_{i,j}x_{j}=m_{i},

where both sets $I$ and $J$ may be infinite, $m_{i}\in M,$ and for each $i$ the number of nonzero $r_{i,j}\in R$ is finite.

The goal is to decide whether such a system has a solution, that is whether there exist elements $x j$ of $M$ such that all the equations of the system are simultaneously satisfied. (It is not required that only finitely many $x j$ are non-zero.)

The module M is algebraically compact if, for all such systems, if every subsystem formed by a finite number of the equations has a solution, then the whole system has a solution. (The solutions to the various subsystems may be different.)

On the other hand, a module homomorphism $M \to K$ is a pure embedding if the induced homomorphism between the tensor products $C \otimes M \to C \otimes K$ $f\circ j=1_{M}$

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

Examples

All modules with finitely many elements are algebraically compact.

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, together with the fact that all finite modules are algebraically compact, 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). The ring of p-adic integers for each prime p is algebraically compact as both a module over itself and a module over Z. The rational numbers are algebraically compact as a Z-module. Together with the indecomposable finite modules over Z, this is a complete list of indecomposable algebraically compact 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 M^I → M (here M^(I) denotes the direct sum of copies of M, one for each element of I; M^I 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.

Every R-module is elementary equivalent to an algebraically compact R-module and to a direct sum of indecomposable algebraically compact R-modules.^[1]

Related Research Articles

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

In mathematics, the inverse limit is a construction that allows one to "glue together" several related objects, the precise gluing process being specified by morphisms between the objects. Thus, inverse limits can be defined in any category although their existence depends on the category that is considered. They are a special case of the concept of limit in category theory.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence $of left ideals has a largest element; that is, there exists an n such that:$

In mathematics, the endomorphisms of an abelian group X form a ring. This ring is called the endomorphism ring of X, denoted by End(X); the set of all homomorphisms of X into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map $as additive identity and the identity map as multiplicative identity.$

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

In mathematics, a direct limit is a way to construct a object from many objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms between those smaller objects. The direct limit of the objects $, where ranges over some directed set, is denoted by .$

In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers.

In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring.

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules over a ring, by keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below.

In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, then any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook.

In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion free modules. Formally, a module M over a ring R is flat if taking the tensor product over R with M preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact.

In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the rings, the monoids etc. According to Birkhoff's theorem, a class of algebraic structures of the same signature is a variety if and only if it is closed under the taking of homomorphic images, subalgebras, and (direct) products. In the context of category theory, a variety of algebras, together with its homomorphisms, forms a category; these are usually called finitary algebraic categories.

In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper.

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Richard Brauer and Cecil Nesbitt and were named after Georg Frobenius. Tadashi Nakayama discovered the beginnings of a rich duality theory, . Jean Dieudonné used this to characterize Frobenius algebras. Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

In mathematics, and more specifically in abstract algebra, a rng is an algebraic structure satisfying the same properties as a ring, but without assuming the existence of a multiplicative identity. The term rng is meant to suggest that it is a ring without i, that is, without the requirement for an identity element.

In mathematics, and more specifically in homological algebra, a resolution is an exact sequence of modules, which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions. However, a finite resolution is one where only finitely many of the objects in the sequence are non-zero; it is usually represented by a finite exact sequence in which the leftmost object or the rightmost object is the zero-object.

Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject.

This is a glossary of commutative algebra.

References

↑ Prest, Mike (1988). Model theory and modules. London Mathematical Society Lecture Note Series: Cambridge University Press, Cambridge. ISBN 0-521-34833-1.

C.U. Jensen and H. Lenzing: Model Theoretic Algebra, Gordon and Breach, 1989

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Prest, Mike (1988). Model theory and modules. London Mathematical Society Lecture Note Series: Cambridge University Press, Cambridge. ISBN 0-521-34833-1.

[1]