In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, especially in the area of
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
known as
module theory
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 mod ...
, an injective module is a
module
Module, modular and modularity may refer to the concept of modularity. They may also refer to:
Computing and engineering
* Modular design, the engineering discipline of designing complex devices using separately designed sub-components
* Modul ...
''Q'' that shares certain desirable properties with the Z-module Q of all
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
s. Specifically, if ''Q'' is a
submodule
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 mod ...
of some other module, then it is already a
direct summand
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more ...
of that module; also, given a submodule of a module ''Y'', then any
module homomorphism In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if ''M'' and ''N'' are left modules over a ring ''R'', then a function f: M \to N is called an ''R''-''module homomorphism'' or an ''R' ...
from this submodule to ''Q'' can be extended to a homomorphism from all of ''Y'' to ''Q''. This concept is
dual
Dual or Duals may refer to:
Paired/two things
* Dual (mathematics), a notion of paired concepts that mirror one another
** Dual (category theory), a formalization of mathematical duality
*** see more cases in :Duality theories
* Dual (grammatical ...
to that of
projective module
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characterizati ...
s. Injective modules were introduced in and are discussed in some detail in the textbook .
Injective modules have been heavily studied, and a variety of additional notions are defined in terms of them:
Injective cogenerators are injective modules that faithfully represent the entire category of modules. Injective resolutions measure how far from injective a module is in terms of the
injective dimension
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 ...
and represent modules in the
derived category
In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction proce ...
.
Injective hull
In mathematics, particularly in algebra, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in .
Definition
...
s are maximal
essential extension In mathematics, specifically module theory, given a ring ''R'' and an ''R''-module ''M'' with a submodule ''N'', the module ''M'' is said to be an essential extension of ''N'' (or ''N'' is said to be an essential submodule or large submodule of ''M' ...
s, and turn out to be minimal injective extensions. Over a
Noetherian ring
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-Noether ...
, every injective module is uniquely a direct sum of
indecomposable modules, and their structure is well understood. An injective module over one ring, may not be injective over another, but there are well-understood methods of changing rings which handle special cases. Rings which are themselves injective modules have a number of interesting properties and include rings such as
group ring
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 give ...
s of
finite group
Finite is the opposite of infinite. It may refer to:
* Finite number (disambiguation)
* Finite set, a set whose cardinality (number of elements) is some natural number
* Finite verb, a verb form that has a subject, usually being inflected or marked ...
s over
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
s. Injective modules include
divisible group In mathematics, especially in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an ''n''th multiple for each positive in ...
s and are generalized by the notion of
injective object
In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in cohomology, in homotopy theory and in the theory of model categories. ...
s in
category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...
.
Definition
A left module ''Q'' over the
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
''R'' is injective if it satisfies one (and therefore all) of the following equivalent conditions:
* If ''Q'' is a submodule of some other left ''R''-module ''M'', then there exists another submodule ''K'' of ''M'' such that ''M'' is the
internal direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...
of ''Q'' and ''K'', i.e. ''Q'' + ''K'' = ''M'' and ''Q'' ∩ ''K'' = .
* Any
short exact sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next.
Definition
In the context o ...
0 →''Q'' → ''M'' → ''K'' → 0 of left ''R''-modules
splits
A split (commonly referred to as splits or the splits) is a physical position in which the legs are in line with each other and extended in opposite directions. Splits are commonly performed in various athletic activities, including dance, figu ...
.
* If ''X'' and ''Y'' are left ''R''-modules, ''f'' : ''X'' → ''Y'' is an
injective
In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
module homomorphism and ''g'' : ''X'' → ''Q'' is an arbitrary module homomorphism, then there exists a module homomorphism ''h'' : ''Y'' → ''Q'' such that ''hf'' = ''g'', i.e. such that the following diagram
commutes:
::
* The
contravariant Hom functor
In mathematics, specifically in category theory, hom-sets (i.e. sets of morphisms between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and ...
Hom(-,''Q'') from the
category
Category, plural categories, may refer to:
Philosophy and general uses
* Categorization, categories in cognitive science, information science and generally
*Category of being
* ''Categories'' (Aristotle)
*Category (Kant)
*Categories (Peirce)
* ...
of left ''R''-modules to the category of
abelian group
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 commut ...
s is
exact
Exact may refer to:
* Exaction, a concept in real property law
* ''Ex'Act'', 2016 studio album by Exo
* Schooner Exact, the ship which carried the founders of Seattle
Companies
* Exact (company), a Dutch software company
* Exact Change, an Ameri ...
.
Injective right ''R''-modules are defined in complete analogy.
Examples
First examples
Trivially, the zero module is injective.
Given a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
''k'', every ''k''-
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
''Q'' is an injective ''k''-module. Reason: if ''Q'' is a subspace of ''V'', we can find a
basis
Basis may refer to:
Finance and accounting
* Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
* Basis trading, a trading strategy consisting ...
of ''Q'' and extend it to a basis of ''V''. The new extending basis vectors
span
Span may refer to:
Science, technology and engineering
* Span (unit), the width of a human hand
* Span (engineering), a section between two intermediate supports
* Wingspan, the distance between the wingtips of a bird or aircraft
* Sorbitan ester ...
a subspace ''K'' of ''V'' and ''V'' is the internal direct sum of ''Q'' and ''K''. Note that the direct complement ''K'' of ''Q'' is not uniquely determined by ''Q'', and likewise the extending map ''h'' in the above definition is typically not unique.
The rationals Q (with addition) form an injective abelian group (i.e. an injective Z-module). The
factor group
Factor, a Latin word meaning "who/which acts", may refer to:
Commerce
* Factor (agent), a person who acts for, notably a mercantile and colonial agent
* Factor (Scotland), a person or firm managing a Scottish estate
* Factors of production, suc ...
Q/Z and the
circle group
In mathematics, the circle group, denoted by \mathbb T or \mathbb S^1, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers.
\mathbb T = \ ...
are also injective Z-modules. The factor group Z/''n''Z for ''n'' > 1 is injective as a Z/''n''Z-module, but ''not'' injective as an abelian group.
Commutative examples
More generally, for any
integral domain
In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural set ...
''R'' with field of fractions ''K'', the ''R''-module ''K'' is an injective ''R''-module, and indeed the smallest injective ''R''-module containing ''R''. For any
Dedekind domain
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily ...
, the
quotient module
In algebra, given a module and a submodule, one can construct their quotient module. This construction, described below, is very similar to that of a quotient vector space. It differs from analogous quotient constructions of rings and groups by t ...
''K''/''R'' is also injective, and its
indecomposable summands are the
localizations for the nonzero
prime ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with ...
s
. The
zero ideal
In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities
An additive identi ...
is also prime and corresponds to the injective ''K''. In this way there is a 1-1 correspondence between prime ideals and indecomposable injective modules.
A particularly rich theory is available for
commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
noetherian ring
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-Noether ...
s due to
Eben Matlis Eben Matlis (August 28, 1923 - March 27, 2015) was a mathematician known for his contributions to the theory of rings and modules, especially for his work with injective modules over commutative Noetherian rings, and his introduction of Matlis duali ...
, . Every injective module is uniquely a direct sum of indecomposable injective modules, and the indecomposable injective modules are uniquely identified as the injective hulls of the quotients ''R''/''P'' where ''P'' varies over the
prime spectrum
In commutative algebra, the prime spectrum (or simply the spectrum) of a ring ''R'' is the set of all prime ideals of ''R'', and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with the ...
of the ring. The injective hull of ''R''/''P'' as an ''R''-module is canonically an ''R''
''P'' module, and is the ''R''
''P''-injective hull of ''R''/''P''. In other words, it suffices to consider
local ring In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic num ...
s. The
endomorphism ring
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 p ...
of the injective hull of ''R''/''P'' is the
completion of ''R'' at ''P''.
Two examples are the injective hull of the Z-module Z/''p''Z (the
Prüfer group
In mathematics, specifically in group theory, the Prüfer ''p''-group or the ''p''-quasicyclic group or ''p''∞-group, Z(''p''∞), for a prime number ''p'' is the unique ''p''-group in which every element has ''p'' different ''p''-th roots.
...
), and the injective hull of the ''k''
'x''module ''k'' (the ring of inverse polynomials). The latter is easily described as ''k''
−1">'x'',''x''−1''xk''
'x'' This module has a basis consisting of "inverse monomials", that is ''x''
−''n'' for ''n'' = 0, 1, 2, …. Multiplication by scalars is as expected, and multiplication by ''x'' behaves normally except that ''x''·1 = 0. The endomorphism ring is simply the ring of
formal power series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sum ...
.
Artinian examples
If ''G'' is a
finite group
Finite is the opposite of infinite. It may refer to:
* Finite number (disambiguation)
* Finite set, a set whose cardinality (number of elements) is some natural number
* Finite verb, a verb form that has a subject, usually being inflected or marked ...
and ''k'' a field with
characteristic 0, then one shows in the theory of
group representation
In the mathematical field of representation theory, group representations describe abstract groups in terms of bijective linear transformations of a vector space to itself (i.e. vector space automorphisms); in particular, they can be used to re ...
s that any subrepresentation of a given one is already a direct summand of the given one. Translated into module language, this means that all modules over the
group algebra ''kG'' are injective. If the characteristic of ''k'' is not zero, the following example may help.
If ''A'' is a unital
associative algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplic ...
over the field ''k'' with finite
dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
over ''k'', then Hom
''k''(−, ''k'') is a
duality between finitely generated left ''A''-modules and finitely generated right ''A''-modules. Therefore, the finitely generated injective left ''A''-modules are precisely the modules of the form Hom
''k''(''P'', ''k'') where ''P'' is a finitely generated projective right ''A''-module. For
symmetric algebras, the duality is particularly well-behaved and projective modules and injective modules coincide.
For any
Artinian ring In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are na ...
, just as for
commutative ring
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 sp ...
s, there is a 1-1 correspondence between prime ideals and indecomposable injective modules. The correspondence in this case is perhaps even simpler: a prime ideal is an annihilator of a unique simple module, and the corresponding indecomposable injective module is its
injective hull
In mathematics, particularly in algebra, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in .
Definition
...
. For finite-dimensional algebras over fields, these injective hulls are
finitely-generated module
In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring ''R'' may also be called a finite ''R''-module, finite over ''R'', or a module of finite type.
Related concepts inclu ...
s .
Computing injective hulls
If
is a Noetherian ring and
is a prime ideal, set
as the injective hull. The injective hull of
over the Artinian ring
can be computed as the module
. It is a module of the same length as
.
In particular, for the standard graded ring
and
,
is an injective module, giving the tools for computing the indecomposable injective modules for artinian rings over
.
Self-injectivity
An Artin local ring
is injective over itself if and only if
is a 1-dimensional vector space over
. This implies every local Gorenstein ring which is also Artin is injective over itself since has a 1-dimensional socle. A simple non-example is the ring
which has maximal ideal
and residue field
. Its socle is
, which is 2-dimensional. The residue field has the injective hull
.
Modules over Lie algebras
For a Lie algebra
over a field
of characteristic 0, the category of modules
has a relatively straightforward description of its injective modules. Using the universal enveloping algebra any injective
-module can be constructed from the
-module
for some
-vector space
. Note this vector space has a
-module structure from the injection
In fact, every
-module has an injection into some
and every injective
-module is a direct summand of some
.
Theory
Structure theorem for commutative Noetherian rings
Over a commutative
Noetherian ring
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-Noether ...
, every injective module is a direct sum of indecomposable injective modules and every indecomposable injective module is the injective hull of the residue field at a prime
. That is, for an injective
, there is an isomorphism
where
are the injective hulls of the modules
. In addition, if
is the injective hull of some module
then the
are the associated primes of
.
Submodules, quotients, products, and sums
Any
product
Product may refer to:
Business
* Product (business), an item that serves as a solution to a specific consumer problem.
* Product (project management), a deliverable or set of deliverables that contribute to a business solution
Mathematics
* Produ ...
of (even infinitely many) injective modules is injective; conversely, if a direct product of modules is injective, then each module is injective . Every direct sum of finitely many injective modules is injective. In general, submodules, factor modules, or infinite
direct sums of injective modules need not be injective. Every submodule of every injective module is injective if and only if the ring is
Artinian semisimple
In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of ''sim ...
; every factor module of every injective module is injective if and only if the ring is
hereditary
Heredity, also called inheritance or biological inheritance, is the passing on of traits from parents to their offspring; either through asexual reproduction or sexual reproduction, the offspring cells or organisms acquire the genetic inform ...
, ; every infinite direct sum of injective modules is injective if and only if the ring is
Noetherian In mathematics, the adjective Noetherian is used to describe Category_theory#Categories.2C_objects.2C_and_morphisms, objects that satisfy an ascending chain condition, ascending or descending chain condition on certain kinds of subobjects, meaning t ...
, .
Baer's criterion
In Baer's original paper, he proved a useful result, usually known as Baer's Criterion, for checking whether a module is injective: a left ''R''-module ''Q'' is injective if and only if any homomorphism ''g'' : ''I'' → ''Q'' defined on a
left ideal
In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers pre ...
''I'' of ''R'' can be extended to all of ''R''.
Using this criterion, one can show that Q is an injective
abelian group
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 commut ...
(i.e. an injective module over Z). More generally, an abelian group is injective if and only if it is
divisible
In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
. More generally still: a module over a
principal ideal domain
In mathematics, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element. More generally, a principal ideal ring is a nonzero commutative ring whose ideals are principal, ...
is injective if and only if it is divisible (the case of vector spaces is an example of this theorem, as every field is a principal ideal domain and every vector space is divisible). Over a general integral domain, we still have one implication: every injective module over an integral domain is divisible.
Baer's criterion has been refined in many ways , including a result of and that for a commutative Noetherian ring, it suffices to consider only
prime ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with ...
s ''I''. The dual of Baer's criterion, which would give a test for projectivity, is false in general. For instance, the Z-module Q satisfies the dual of Baer's criterion but is not projective.
Injective cogenerators
Maybe the most important injective module is the abelian group Q/Z. It is an
injective cogenerator in the
category of abelian groups In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category can be embedded in Ab.
Properties
The zero object of Ab is ...
, which means that it is injective and any other module is contained in a suitably large product of copies of Q/Z. So in particular, every abelian group is a subgroup of an injective one. It is quite significant that this is also true over any ring: every module is a submodule of an injective one, or "the category of left ''R''-modules has enough injectives." To prove this, one uses the peculiar properties of the abelian group Q/Z to construct an injective cogenerator in the category of left ''R''-modules.
For a left ''R''-module ''M'', the so-called "character module" ''M''
+ = Hom
Z(''M'',Q/Z) is a right ''R''-module that exhibits an interesting duality, not between injective modules and
projective module
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characterizati ...
s, but between injective modules and
flat module
In algebra, a flat module over a ring ''R'' is an ''R''-module ''M'' such that 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 seq ...
s . For any ring ''R'', a left ''R''-module is flat if and only if its character module is injective. If ''R'' is left noetherian, then a left ''R''-module is injective if and only if its character module is flat.
Injective hulls
The
injective hull
In mathematics, particularly in algebra, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in .
Definition
...
of a module is the smallest injective module containing the given one and was described in .
One can use injective hulls to define a minimal injective resolution (see below). If each term of the injective resolution is the injective hull of the cokernel of the previous map, then the injective resolution has minimal length.
Injective resolutions
Every module ''M'' also has an injective
resolution
Resolution(s) may refer to:
Common meanings
* Resolution (debate), the statement which is debated in policy debate
* Resolution (law), a written motion adopted by a deliberative body
* New Year's resolution, a commitment that an individual mak ...
: an
exact sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next.
Definition
In the context o ...
of the form
:0 → ''M'' → ''I''
0 → ''I''
1 → ''I''
2 → ...
where the ''I''
''j'' are injective modules. Injective resolutions can be used to define
derived functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics.
Motivation
It was noted in vari ...
s such as the
Ext functor
In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic stru ...
.
The ''length'' of a finite injective resolution is the first index ''n'' such that ''I''
''n'' is nonzero and ''I''
''i'' = 0 for ''i'' greater than ''n''. If a module ''M'' admits a finite injective resolution, the minimal length among all finite injective resolutions of ''M'' is called its injective dimension and denoted id(''M''). If ''M'' does not admit a finite injective resolution, then by convention the injective dimension is said to be infinite. As an example, consider a module ''M'' such that id(''M'') = 0. In this situation, the exactness of the sequence 0 → ''M'' → ''I''
0 → 0 indicates that the arrow in the center is an isomorphism, and hence ''M'' itself is injective.
[A module isomorphic to an injective module is of course injective.]
Equivalently, the injective dimension of ''M'' is the minimal integer (if there is such, otherwise ∞) ''n'' such that Ext(–,''M'') = 0 for all ''N'' > ''n''.
Indecomposables
Every injective submodule of an injective module is a direct summand, so it is important to understand
indecomposable injective modules, .
Every indecomposable injective module has a
local
Local may refer to:
Geography and transportation
* Local (train), a train serving local traffic demand
* Local, Missouri, a community in the United States
* Local government, a form of public administration, usually the lowest tier of administrat ...
endomorphism ring
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 p ...
. A module is called a ''
uniform module In abstract algebra, a module is called a uniform module if the intersection of any two nonzero submodules is nonzero. This is equivalent to saying that every nonzero submodule of ''M'' is an essential submodule. A ring may be called a right (left ...
'' if every two nonzero submodules have nonzero intersection. For an injective module ''M'' the following are equivalent:
* ''M'' is indecomposable
* ''M'' is nonzero and is the injective hull of every nonzero submodule
* ''M'' is uniform
* ''M'' is the injective hull of a uniform module
* ''M'' is the injective hull of a uniform
cyclic module In mathematics, more specifically in ring theory, a cyclic module or monogenous module is a module over a ring that is generated by one element. The concept is a generalization of the notion of a cyclic group, that is, an Abelian group (i.e. Z-mod ...
* ''M'' has a local endomorphism ring
Over a Noetherian ring, every injective module is the direct sum of (uniquely determined) indecomposable injective modules. Over a commutative Noetherian ring, this gives a particularly nice understanding of all injective modules, described in . The indecomposable injective modules are the injective hulls of the modules ''R''/''p'' for ''p'' a prime ideal of the ring ''R''. Moreover, the injective hull ''M'' of ''R''/''p'' has an increasing filtration by modules ''M''
''n'' given by the annihilators of the ideals ''p''
''n'', and ''M''
''n''+1/''M''
''n'' is isomorphic as finite-dimensional vector space over the quotient field ''k''(''p'') of ''R''/''p'' to Hom
''R''/''p''(''p''
''n''/''p''
''n''+1, ''k''(''p'')).
Change of rings
It is important to be able to consider modules over
subring
In mathematics, a subring of ''R'' is a subset of a ring that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and which shares the same multiplicative identity as ''R''. For those wh ...
s or
quotient ring
In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. ...
s, especially for instance
polynomial ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) ...
s. In general, this is difficult, but a number of results are known, .
Let ''S'' and ''R'' be rings, and ''P'' be a left-''R'', right-''S''
bimodule In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in t ...
that is
flat
Flat or flats may refer to:
Architecture
* Flat (housing), an apartment in the United Kingdom, Ireland, Australia and other Commonwealth countries
Arts and entertainment
* Flat (music), a symbol () which denotes a lower pitch
* Flat (soldier), ...
as a left-''R'' module. For any injective right ''S''-module ''M'', the set of
module homomorphism In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if ''M'' and ''N'' are left modules over a ring ''R'', then a function f: M \to N is called an ''R''-''module homomorphism'' or an ''R' ...
s Hom
''S''( ''P'', ''M'' ) is an injective right ''R''-module. The same statement holds of course after interchanging left- and right- attributes.
For instance, if ''R'' is a subring of ''S'' such that ''S'' is a flat ''R''-module, then every injective ''S''-module is an injective ''R''-module. In particular, if ''R'' is an integral domain and ''S'' its
field of fractions
In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field ...
, then every vector space over ''S'' is an injective ''R''-module. Similarly, every injective ''R''
'x''module is an injective ''R''-module.
In the opposite direction, a ring homomorphism
makes ''R'' into a left-''R'', right-''S'' bimodule, by left and right multiplication. Being
free
Free may refer to:
Concept
* Freedom, having the ability to do something, without having to obey anyone/anything
* Freethought, a position that beliefs should be formed only on the basis of logic, reason, and empiricism
* Emancipate, to procur ...
over itself ''R'' is also
flat
Flat or flats may refer to:
Architecture
* Flat (housing), an apartment in the United Kingdom, Ireland, Australia and other Commonwealth countries
Arts and entertainment
* Flat (music), a symbol () which denotes a lower pitch
* Flat (soldier), ...
as a left ''R''-module. Specializing the above statement for ''P = R'', it says that when ''M'' is an injective right ''S''-module the
coinduced module is an injective right ''R''-module. Thus, coinduction over ''f'' produces injective ''R''-modules from injective ''S''-modules.
For quotient rings ''R''/''I'', the change of rings is also very clear. An ''R''-module is an ''R''/''I''-module precisely when it is annihilated by ''I''. The submodule ann
''I''(''M'') = is a left submodule of the left ''R''-module ''M'', and is the largest submodule of ''M'' that is an ''R''/''I''-module. If ''M'' is an injective left ''R''-module, then ann
''I''(''M'') is an injective left ''R''/''I''-module. Applying this to ''R''=Z, ''I''=''n''Z and ''M''=Q/Z, one gets the familiar fact that Z/''n''Z is injective as a module over itself. While it is easy to convert injective ''R''-modules into injective ''R''/''I''-modules, this process does not convert injective ''R''-resolutions into injective ''R''/''I''-resolutions, and the homology of the resulting complex is one of the early and fundamental areas of study of relative homological algebra.
The textbook has an erroneous proof that
localization
Localization or localisation may refer to:
Biology
* Localization of function, locating psychological functions in the brain or nervous system; see Linguistic intelligence
* Localization of sensation, ability to tell what part of the body is a ...
preserves injectives, but a counterexample was given in .
Self-injective rings
Every ring with unity is a
free module
In mathematics, a free module is a module that has a basis – that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coefficients is not a division ring (not a field in t ...
and hence is a
projective as a module over itself, but it is rarer for a ring to be injective as a module over itself, . If a ring is injective over itself as a right module, then it is called a right self-injective ring. Every
Frobenius algebra
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 dualit ...
is self-injective, but no
integral domain
In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural set ...
that is not a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
is self-injective. Every proper
quotient
In arithmetic, a quotient (from lat, quotiens 'how many times', pronounced ) is a quantity produced by the division of two numbers. The quotient has widespread use throughout mathematics, and is commonly referred to as the integer part of a ...
of a
Dedekind domain
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily ...
is self-injective.
A right
Noetherian In mathematics, the adjective Noetherian is used to describe Category_theory#Categories.2C_objects.2C_and_morphisms, objects that satisfy an ascending chain condition, ascending or descending chain condition on certain kinds of subobjects, meaning t ...
, right self-injective ring is called a
quasi-Frobenius ring In mathematics, especially ring theory, the class of Frobenius rings and their generalizations are the extension of work done on Frobenius algebras. Perhaps the most important generalization is that of quasi-Frobenius rings (QF rings), which are in ...
, and is two-sided
Artinian and two-sided injective, . An important module theoretic property of quasi-Frobenius rings is that the projective modules are exactly the injective modules.
Generalizations and specializations
Injective objects
One also talks about
injective object
In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in cohomology, in homotopy theory and in the theory of model categories. ...
s in
categories
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
*Category of being
*Categories (Aristotle), ''Categories'' (Aristotle)
*Category (Kant)
...
more general than module categories, for instance in
functor categories or in categories of
sheaves of O
''X''-modules over some
ringed space
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of ...
(''X'',O
''X''). The following general definition is used: an object ''Q'' of the category ''C'' is injective if for any
monomorphism
In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from to is often denoted with the notation X\hookrightarrow Y.
In the more general setting of category theory, a monomorphism ...
''f'' : ''X'' → ''Y'' in ''C'' and any morphism ''g'' : ''X'' → ''Q'' there exists a morphism ''h'' : ''Y'' → ''Q'' with ''hf'' = ''g''.
Divisible groups
The notion of injective object in the category of abelian groups was studied somewhat independently of injective modules under the term
divisible group In mathematics, especially in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an ''n''th multiple for each positive in ...
. Here a Z-module ''M'' is injective if and only if ''n''⋅''M'' = ''M'' for every nonzero integer ''n''. Here the relationships between
flat module
In algebra, a flat module over a ring ''R'' is an ''R''-module ''M'' such that 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 seq ...
s,
pure submodule In mathematics, especially in the field of module theory, the concept of pure submodule provides a generalization of direct summand, a type of particularly well-behaved piece of a module. Pure modules are complementary to flat modules and generali ...
s, and injective modules is more clear, as it simply refers to certain divisibility properties of module elements by integers.
Pure injectives
In relative homological algebra, the extension property of homomorphisms may be required only for certain submodules, rather than for all. For instance, a
pure injective module
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 s ...
is a module in which a homomorphism from a
pure submodule In mathematics, especially in the field of module theory, the concept of pure submodule provides a generalization of direct summand, a type of particularly well-behaved piece of a module. Pure modules are complementary to flat modules and generali ...
can be extended to the whole module.
References
Notes
Textbooks
*
*
*
*
*
Primary sources
*
*
*
*
*
*
*
*
*
*
*
{{DEFAULTSORT:Injective Module
Homological algebra
Module theory