Schanuel's lemma for extriangulated categories

Hangyu Yin

2023-10-11

Abstract:In the context of extriangulated categories, we establish the injective version of Schanuel's lemma in homological algebra.

Representation Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish an injective version of the **Schanuel Lemma** in **extriangulated categories**. Specifically, the author hopes to generalize the classical Schanuel Lemma in a broader algebraic structure, namely extriangulated categories, and prove the related Injective Dimension Theorem.

### Background and Motivation
The Schanuel Lemma is an important tool in homological algebra for evaluating the degree to which a module deviates from projectivity. It plays a crucial role in the establishment of the Heller operator in the stable category and in the explanation of the dimension - shifting phenomenon. The traditional Schanuel Lemma is mainly applied to projective modules in module theory, while this paper generalizes it to injective objects in extriangulated categories.

### Main Contributions
1. **Injective Version of the Schanuel Lemma**: The author has established an injective version of the Schanuel Lemma in extriangulated categories, which provides a theoretical basis for further research on the homological properties in these categories.
2. **Injective Dimension Theorem**: The author has proved the Injective Dimension Theorem, which states that if an object appears in the \(n\)th position in a certain short exact sequence and the objects in the first \(n - 1\) positions are all injective, then the object itself is also injective.

### Technical Details
- **Extriangulated Categories**: This is a category that combines the properties of triangulated categories and exact categories and is defined by specific properties and axioms.
- **E - extensions**: A basic concept in extriangulated categories, similar to extensions in homological algebra.
- **E - triangles**: Short exact sequences in extriangulated categories, consisting of three objects and two morphisms.
- **Injective Objects**: In extriangulated categories, if an object satisfies certain conditions such that any morphism from this object to other objects can be lifted, it is called an injective object.

### Conclusion
By establishing the injective version of the Schanuel Lemma and the Injective Dimension Theorem, the author has provided a new perspective and tool for the study of homological algebra in extriangulated categories. This not only enriches the theoretical system of extriangulated categories but also lays the foundation for further research.