Linear relation

Last updated May 11, 2024

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.

The relations between $e_{1},\dots ,e_{n}$ form a module. One is generally interested in the case where $e_{1},\dots ,e_{n}$ 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$ . The syzygy module depends on the choice of a generating set, but it is unique up to the direct sum with a free module. That is, if $S_{1}$ and $S_{2}$ are syzygy modules corresponding to two generating sets of the same module, then they are stably isomorphic, which means that there exist two free modules $L_{1}$ and $L_{2}$ such that $S_{1}\oplus L_{1}$ and $S_{2}\oplus L_{2}$ are isomorphic.

Higher order syzygy modules are defined recursively: a first syzygy module of a module $M$ is simply its syzygy module. For $k > 1$ , a $k$ th syzygy module of $M$ is a syzygy module of a $(k - 1)$ -th syzygy module. Hilbert's syzygy theorem states that, if $R=K[x_{1},\dots ,x_{n}]$ is a polynomial ring in $n$ indeterminates over a field, then every $n$ th syzygy module is free. The case $n = 0$ is the fact that every finite dimensional vector space has a basis, and the case $n = 1$ is the fact that $K [x]$ is a principal ideal domain and that every submodule of a finitely generated free $K [x]$ module is also free.

The construction of higher order syzygy modules is generalized as the definition of free resolutions, which allows restating Hilbert's syzygy theorem as a polynomial ring in $n$ indeterminates over a field has global homological dimension $n$ .

If $a$ and $b$ are two elements of the commutative ring $R$ , then $(b, - a)$ is a relation that is said trivial. The module of trivial relations of an ideal is the submodule of the first syzygy module of the ideal that is generated by the trivial relations between the elements of a generating set of an ideal. The concept of trivial relations can be generalized to higher order syzygy modules, and this leads to the concept of the Koszul complex of an ideal, which provides information on the non-trivial relations between the generators of an ideal.

Basic definitions

Let $R$ be a ring, and $M$ be a left $R$ -module. A linear relation, or simply a relation between $k$ elements $x_{1},\dots ,x_{k}$ of $M$ is a sequence $(a_{1},\dots ,a_{k})$ of elements of $R$ such that

a_{1}x_{1}+\dots +a_{k}x_{k}=0.

If $x_{1},\dots ,x_{k}$ is a generating set of $M$ , the relation is often called a syzygy of $M$ . It makes sense to call it a syzygy of $M$ without regard to $x_{1},..,x_{k}$ because, although the syzygy module depends on the chosen generating set, most of its properties are independent; see § Stable properties, below.

If the ring $R$ is Noetherian, or, at least coherent, and if $M$ is finitely generated, then the syzygy module is also finitely generated. A syzygy module of this syzygy module is a second syzygy module of $M$ . Continuing this way one can define a $k$ th syzygy module for every positive integer $k$ .

Hilbert's syzygy theorem asserts that, if $M$ is a finitely generated module over a polynomial ring $K[x_{1},\dots ,x_{n}]$ over a field, then any $n$ th syzygy module is a free module.

Stable properties

Generally speaking, in the language of K-theory, a property is stable if it becomes true by making a direct sum with a sufficiently large free module. A fundamental property of syzygies modules is that there are "stably independent" of choices of generating sets for involved modules. The following result is the basis of these stable properties.

Proposition — Let $\{x_{1},\dots ,x_{m}\}$ be a generating set of an $R$ -module $M$ , and $y_{1},\dots ,y_{n}$ be other elements of $M$ . The module of the relations between $x_{1},\dots ,x_{m},y_{1},\dots ,y_{n}$ is the direct sum of the module of the relations between $x_{1},\dots ,x_{m},$ and a free module of rank $n$ .

Proof. As $\{x_{1},\dots ,x_{m}\}$ is a generating set, each $y_{i}$ can be written $\textstyle y_{i}=\sum \alpha _{i,j}x_{j}.$ This provides a relation $r_{i}$ between $x_{1},\dots ,x_{m},y_{1},\dots ,y_{n}.$ Now, if $r=(a_{1},\dots ,a_{m},b_{1},\dots ,b_{n})$ is any relation, then $\textstyle r-\sum b_{i}r_{i}$ is a relation between the $x_{1},\dots ,x_{m}$ only. In other words, every relation between $x_{1},\dots ,x_{m},y_{1},\dots ,y_{n}$ is a sum of a relation between $x_{1},\dots ,x_{m},$ and a linear combination of the $r_{i}$ s. It is straightforward to prove that this decomposition is unique, and this proves the result. $\blacksquare$

This proves that the first syzygy module is "stably unique". More precisely, given two generating sets $S_{1}$ and $S_{2}$ of a module $M$ , if $S_{1}$ and $S_{2}$ are the corresponding modules of relations, then there exist two free modules $L_{1}$ and $L_{2}$ such that $S_{1}\oplus L_{1}$ and $S_{2}\oplus L_{2}$ are isomorphic. For proving this, it suffices to apply twice the preceding proposition for getting two decompositions of the module of the relations between the union of the two generating sets.

For obtaining a similar result for higher syzygy modules, it remains to prove that, if $M$ is any module, and $L$ is a free module, then $M$ and $M \oplus L$ have isomorphic syzygy modules. It suffices to consider a generating set of $M \oplus L$ that consists of a generating set of $M$ and a basis of $L$ . For every relation between the elements of this generating set, the coefficients of the basis elements of $L$ are all zero, and the syzygies of $M \oplus L$ are exactly the syzygies of $M$ extended with zero coefficients. This completes the proof to the following theorem.

Theorem — For every positive integer $k$ , the $k$ th syzygy module of a given module depends on choices of generating sets, but is unique up to the direct sum with a free module. More precisely, if $S_{1}$ and $S_{2}$ are $k$ th syzygy modules that are obtained by different choices of generating sets, then there are free modules $L_{1}$ and $L_{2}$ such that $S_{1}\oplus L_{1}$ and $S_{2}\oplus L_{2}$ are isomorphic.

Relationship with free resolutions

Given a generating set $g_{1},\dots ,g_{n}$ of an $R$ -module, one can consider a free module of $L$ of basis $G_{1},\dots ,G_{n},$ where $G_{1},\dots ,G_{n}$ are new indeterminates. This defines an exact sequence

L\longrightarrow M\longrightarrow 0,

where the left arrow is the linear map that maps each $G_{i}$ to the corresponding $g_{i}.$ The kernel of this left arrow is a first syzygy module of $M$ .

One can repeat this construction with this kernel in place of $M$ . Repeating again and again this construction, one gets a long exact sequence

\cdots \longrightarrow L_{k}\longrightarrow L_{k-1}\longrightarrow \cdots \longrightarrow L_{0}\longrightarrow M\longrightarrow 0,

where all $L_{i}$ are free modules. By definition, such a long exact sequence is a free resolution of $M$ .

For every $k \geq 1$ , the kernel $S_{k}$ of the arrow starting from $L_{k-1}$ is a $k$ th syzygy module of $M$ . It follows that the study of free resolutions is the same as the study of syzygy modules.

A free resolution is finite of length $\leq n$ if $S_{n}$ is free. In this case, one can take $L_{n}=S_{n},$ and $L_{k}=0$ (the zero module) for every $k > n$ .

This allows restating Hilbert's syzygy theorem: If $R=K[x_{1},\dots ,x_{n}]$ is a polynomial ring in $n$ indeterminates over a field $K$ , then every free resolution is finite of length at most $n$ .

The global dimension of a commutative Noetherian ring is either infinite, or the minimal $n$ such that every free resolution is finite of length at most $n$ . A commutative Noetherian ring is regular if its global dimension is finite. In this case, the global dimension equals its Krull dimension. So, Hilbert's syzygy theorem may be restated in a very short sentence that hides much mathematics: A polynomial ring over a field is a regular ring.

Trivial relations

In a commutative ring $R$ , one has always $ab - ba = 0$ . This implies trivially that $(b, - a)$ is a linear relation between $a$ and $b$ . Therefore, given a generating set $g_{1},\dots ,g_{k}$ of an ideal $I$ , one calls trivial relation or trivial syzygy every element of the submodule the syzygy module that is generated by these trivial relations between two generating elements. More precisely, the module of trivial syzygies is generated by the relations

r_{i,j}=(x_{1},\dots ,x_{r})

such that $x_{i}=g_{j},$ $x_{j}=-g_{i},$ and $x_{h}=0$ otherwise.

History

The word syzygy came into mathematics with the work of Arthur Cayley.^[1] In that paper, Cayley used it in the theory of resultants and discriminants.^[2] As the word syzygy was used in astronomy to denote a linear relation between planets, Cayley used it to denote linear relations between minors of a matrix, such as, in the case of a 2×3 matrix:

a\,{\begin{vmatrix}b&c\\e&f\end{vmatrix}}-b\,{\begin{vmatrix}a&c\\d&f\end{vmatrix}}+c\,{\begin{vmatrix}a&b\\d&e\end{vmatrix}}=0.

Then, the word syzygy was popularized (among mathematicians) by David Hilbert in his 1890 article, which contains three fundamental theorems on polynomials, Hilbert's syzygy theorem, Hilbert's basis theorem and Hilbert's Nullstellensatz.

In his article, Cayley makes use, in a special case, of what was later^[3] called the Koszul complex, after a similar construction in differential geometry by the mathematician Jean-Louis Koszul.

Notes

↑ 1847[Cayley 1847] A. Cayley, “On the theory of involution in geometry”, Cambridge Math. J. 11 (1847), 52–61. See also Collected Papers, Vol. 1 (1889), 80–94, Cambridge Univ. Press, Cambridge.
↑ [Gel’fand et al. 1994] I. M. Gel’fand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhäuser, Boston, 1994.
↑ Serre, Jean-Pierre Algèbre locale. Multiplicités. (French) Cours au Collège de France, 1957–1958, rédigé par Pierre Gabriel. Seconde édition, 1965. Lecture Notes in Mathematics, 11 Springer-Verlag, Berlin-New York 1965 vii+188 pp.; this is the published form of mimeographed notes from Serre's lectures at the College de France in 1958.

Related Research Articles

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence $of left ideals has a largest element; that is, there exists an n such that:$

In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups $such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading .$

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space $over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .$

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function $is called an R - module homomorphism or an R - linear map if for any x, y in M and r in R,$

In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion free modules. Formally, a module M over a ring R is flat if taking the tensor product over R with M preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact.

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul. 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. Moreover, in certain circumstances, the complex is the complex of syzygies, that is, it tells you the relations between generators of a module, the relations between these relations, and so forth.

The Quillen–Suslin theorem, also known as Serre's problem or Serre's conjecture, is a theorem in commutative algebra concerning the relationship between free modules and projective modules over polynomial rings. In the geometric setting it is a statement about the triviality of vector bundles on affine space.

In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext¹ classifies extensions of one module by another.

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, that 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, which 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.

In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps to be carried out in terms of linear maps. The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian group. Tensor products are important in areas of abstract algebra, homological algebra, algebraic topology, algebraic geometry, operator algebras and noncommutative geometry. The universal property of the tensor product of vector spaces extends to more general situations in abstract algebra. The tensor product of an algebra and a module can be used for extension of scalars. For a commutative ring, the tensor product of modules can be iterated to form the tensor algebra of a module, allowing one to define multiplication in the module in a universal way.

In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states that for any field k, and any finitely generated commutative k-algebraA, there exist elements y₁, y₂, ..., y_d in A that are algebraically independent over k and such that A is a finitely generated module over the polynomial ring S = k [y₁, y₂, ..., y_d]. The integer d is equal to the Krull dimension of the ring A; and if A is an integral domain, d is also the transcendence degree of the field of fractions of A over k.

In 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.

In mathematics, and in particular in the field of algebra, a Hilbert–Poincaré series, named after David Hilbert and Henri Poincaré, is an adaptation of the notion of dimension to the context of graded algebraic structures. It is a formal power series in one indeterminate, say $, where the coefficient of gives the dimension of the sub-structure of elements homogeneous of degree . It is closely related to the Hilbert polynomial in cases when the latter exists; however, the Hilbert-Poincaré series describes the rank in every degree, while the Hilbert polynomial describes it only in all but finitely many degrees, and therefore provides less information. In particular the Hilbert-Poincaré series cannot be deduced from the Hilbert polynomial even if the latter exists. In good cases, the Hilbert-Poincaré series can be expressed as a rational function of its argument .$

In mathematics, and more specifically in homological algebra, a resolution is an exact sequence of modules that 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. However, a finite resolution is one where only finitely many of the objects in the sequence are non-zero; it is usually represented by a finite exact sequence in which the leftmost object or the rightmost object is the zero-object.

In mathematics, dimension theory is the study in terms of commutative algebra of the notion dimension of an algebraic variety. The need of a theory for such an apparently simple notion results from the existence of many definitions of dimension that are equivalent only in the most regular cases. A large part of dimension theory consists in studying the conditions under which several dimensions are equal, and many important classes of commutative rings may be defined as the rings such that two dimensions are equal; for example, a regular ring is a commutative ring such that the homological dimension is equal to the Krull dimension.

Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject.

This is a glossary of commutative algebra.

References

Cox, David; Little, John; O’Shea, Donal (2007). "Ideals, Varieties, and Algorithms". Undergraduate Texts in Mathematics. New York, NY: Springer New York. doi:10.1007/978-0-387-35651-8. ISBN 978-0-387-35650-1. ISSN 0172-6056.
Cox, David; Little, John; O’Shea, Donal (2005). "Using Algebraic Geometry". Graduate Texts in Mathematics. New York: Springer-Verlag. doi:10.1007/b138611. ISBN 0-387-20706-6.
Eisenbud, David (1995). Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics. Vol. 150. Springer-Verlag. doi:10.1007/978-1-4612-5350-1. ISBN 0-387-94268-8.
David Eisenbud, The Geometry of Syzygies, Graduate Texts in Mathematics, vol. 229, Springer, 2005.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] 1847[Cayley 1847] A. Cayley, “On the theory of involution in geometry”, Cambridge Math. J. 11 (1847), 52–61. See also Collected Papers, Vol. 1 (1889), 80–94, Cambridge Univ. Press, Cambridge.

[2] [Gel’fand et al. 1994] I. M. Gel’fand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhäuser, Boston, 1994.

[3] Serre, Jean-Pierre Algèbre locale. Multiplicités. (French) Cours au Collège de France, 1957–1958, rédigé par Pierre Gabriel. Seconde édition, 1965. Lecture Notes in Mathematics, 11 Springer-Verlag, Berlin-New York 1965 vii+188 pp.; this is the published form of mimeographed notes from Serre's lectures at the College de France in 1958.

[1]

[2]

[3]