nLab
injective envelope

Contents

Context

Category theory

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Homology theories

Theorems

Contents

Idea

In a concrete category, an injective hull of an object AA is an extension AmBA \stackrel{m}{\longrightarrow} B of AA such that BB is injective and mm is an essential embedding. It is the dual concept to projective cover.

Beware that, in general, there is no way of making the assignment of the injective hull to an object into a functor such that there is a natural transformation from the identity functor to that functor.

Examples

  • In Vect every object AA has an injective hull, Aid AAA \stackrel{id_A}{\longrightarrow} A. In other words, every vector space is already an injective object.
  • In Pos every object has an injective hull, its MacNeille completion.
  • In Ab every object has an injective hull. The embedding \mathbb{Z} \hookrightarrow \mathbb{Q} is an example.
  • In the category of fields and algebraic field extensions, every object has an injective hull, its algebraic closure.
  • In the category of metric spaces and short maps, the injective hull is a standard construction also known as the tight span? (see Wikipedia).

Generalization

Given a class \mathcal{E} of objects in a category, an \mathcal{E}-hull (or \mathcal{E}-envelope) of an object AA is a map h:AEh\colon A\longrightarrow E such that the following two conditions hold:

  1. Any map k:AEk\colon A\longrightarrow E' to an object in \mathcal{E} factors through hh via some map f:EEf: E\longrightarrow E'.

  2. Whenever a map f:EEf\colon E\longrightarrow E satisfies fh=hf\circ h = h then it must be an automorphism.

On the other hand, given a class \mathcal{H} of morphisms in a category, an \mathcal{H}-injective hull of an object AA is a map h:AEh:A\to E in \mathcal{H} such that:

  1. EE is a \mathcal{H}-injective object and

  2. hh is \mathcal{H}-essential, i.e. if khk\circ h \in \mathcal{H} then kk\in\mathcal{H}.

References

Discussion in homological algebra:

Discussion in general concrete categories:

See also:

  • Adámek, Herrlich, Rosický, Tholen; 2002; Injective hulls are not natural
  • Jinzhog Xu; 1996; Flat Covers of Modules, SLNM 1634.
  • Walter Tholen, “Essential weak factorization systems”. Contributions to General Algebra 13 (2001) 321-333. ps.

Last revised on September 27, 2020 at 07:33:59. See the history of this page for a list of all contributions to it.