Computing crossed modules induced by an inclusion of a normal subgroup, with applications to homotopy 2-types.
In this paper, we show the existence of copure injective preenvelopes over noetherian rings and copure flat preenvelopes over commutative artinian rings. We use this to characterize -Gorenstein rings. As a consequence, if the full subcategory of strongly copure injective (respectively flat) modules over a left and right noetherian ring has cokernels (respectively kernels), then is -Gorenstein.
Let X be a separated scheme of finite type on a field k, the characteristic of k being assumed not equal to 2. We construct a duality for complexes of sheaves of Ox modules with maps differential operators of order ≤ 1. This theory is an extension of the theory built by R. Hartshorne for complexes with linear maps.
We study the relations between finitistic dimensions and restricted injective dimensions. Let be a ring and a left -module with . If is selforthogonal, then we show that . Moreover, if is a left noetherian ring and is a finitely generated left -module with finite injective dimension, then . Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.