Linear relationIn 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.
Resolution (algebra)In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of s of an ), which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions.
Global dimensionIn 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.
Regular sequenceIn commutative algebra, a regular sequence is a sequence of elements of a commutative ring which are as independent as possible, in a precise sense. This is the algebraic analogue of the geometric notion of a complete intersection. For a commutative ring R and an R-module M, an element r in R is called a non-zero-divisor on M if r m = 0 implies m = 0 for m in M. An M-regular sequence is a sequence r1, ..., rd in R such that ri is a not a zero-divisor on M/(r1, ..., ri-1)M for i = 1, ..., d.
Hilbert series and Hilbert polynomialIn commutative algebra, the Hilbert function, the Hilbert polynomial, and the Hilbert series of a graded commutative algebra finitely generated over a field are three strongly related notions which measure the growth of the dimension of the homogeneous components of the algebra. These notions have been extended to filtered algebras, and graded or filtered modules over these algebras, as well as to coherent sheaves over projective schemes.
Linear equation over a ringIn algebra, linear equations and systems of linear equations over a field are widely studied. "Over a field" means that the coefficients of the equations and the solutions that one is looking for belong to a given field, commonly the real or the complex numbers. This article is devoted to the same problems where "field" is replaced by "commutative ring", or, typically "Noetherian integral domain". In the case of a single equation, the problem splits in two parts.
Regular local ringIn commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be a Noetherian local ring with maximal ideal m, and suppose a1, ..., an is a minimal set of generators of m. Then by Krull's principal ideal theorem n ≥ dim A, and A is defined to be regular if n = dim A. The appellation regular is justified by the geometric meaning.
