Concept
Resolution (algebra)
Related concepts (24)
Sheaf cohomology
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. Sheaves, sheaf cohomology, and spectral sequences were introduced by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria.
Linear relation
In linear algebra, a linear relation, or simply relation, between elements of a vector space or a module is a linear equation that has these elements as a solution. More precisely, if are elements of a (left) module M over a ring R (the case of a vector space over a field is a special case), a relation between is a sequence of elements of R such that The relations between form a module. One is generally interested in the case where is a generating set of a finitely generated module M, in which case the module of the relations is often called a syzygy module of M.
Hilbert's syzygy theorem
In mathematics, Hilbert's syzygy theorem is one of the three fundamental theorems about polynomial rings over fields, first proved by David Hilbert in 1890, which were introduced for solving important open questions in invariant theory, and are at the basis of modern algebraic geometry. The two other theorems are Hilbert's basis theorem that asserts that all ideals of polynomial rings over a field are finitely generated, and Hilbert's Nullstellensatz, which establishes a bijective correspondence between affine algebraic varieties and prime ideals of polynomial rings.
Injective sheaf
In mathematics, injective sheaves of abelian groups are used to construct the resolutions needed to define sheaf cohomology (and other derived functors, such as sheaf Ext). There is a further group of related concepts applied to sheaves: flabby (flasque in French), fine, soft (mou in French), acyclic. In the history of the subject they were introduced before the 1957 "Tohoku paper" of Alexander Grothendieck, which showed that the notion of injective object sufficed to found the theory.
Stalk (sheaf)
The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point. Sheaves are defined on open sets, but the underlying topological space consists of points. It is reasonable to attempt to isolate the behavior of a sheaf at a single fixed point of . Conceptually speaking, we do this by looking at small neighborhoods of the point. If we look at a sufficiently small neighborhood of , the behavior of the sheaf on that small neighborhood should be the same as the behavior of at that point.
Global dimension
In ring theory and homological algebra, the global dimension (or global homological dimension; sometimes just called homological dimension) of a ring A denoted gl dim A, is a non-negative integer or infinity which is a homological invariant of the ring. It is defined to be the supremum of the set of projective dimensions of all A-modules. Global dimension is an important technical notion in the dimension theory of Noetherian rings.
Projective object
In , the notion of a projective object generalizes the notion of a projective module. Projective objects in are used in homological algebra. The dual notion of a projective object is that of an injective object. An in a category is projective if for any epimorphism and morphism , there is a morphism such that , i.e. the following diagram commutes: That is, every morphism factors through every epimorphism . If C is , i.e.
Weak dimension
In abstract algebra, the weak dimension of a nonzero right module M over a ring R is the largest number n such that the Tor group is nonzero for some left R-module N (or infinity if no largest such n exists), and the weak dimension of a left R-module is defined similarly. The weak dimension was introduced by . The weak dimension is sometimes called the flat dimension as it is the shortest length of the resolution of the module by flat modules. The weak dimension of a module is, at most, equal to its projective dimension.
Injective module
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, any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is to that of projective modules.
Koszul complex
In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul (see Lie algebra cohomology). It turned out to be a useful general construction in homological algebra. As a tool, its homology can be used to tell when a set of elements of a (local) ring is an M-regular sequence, and hence it can be used to prove basic facts about the depth of a module or ideal which is an algebraic notion of dimension that is related to but different from the geometric notion of Krull dimension.