Definition
A module M over a ring R is stably free if there exists a free finitely generated module F over R such that is a free module.
In mathematics, a stably free module is a module which is close to being free.
A module M over a ring R is stably free if there exists a free finitely generated module F over R such that is a free module.
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, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.
Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module also generalizes the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers.
In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type.
In mathematics, a free module is a module that has a basis, that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coefficients is not a division ring, then there exist non-free modules.
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules over a ring, keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below.
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, 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, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. A torsion module is a module consisting entirely of torsion elements. A module is torsion-free if its only torsion element is the zero element.
In mathematics, more specifically in the field of ring theory, a ring R has the invariant basis number (IBN) property if all finitely generated free left modules over R have a well-defined rank. In the case of fields, the IBN property becomes the statement that finite-dimensional vector spaces have a unique dimension.
In mathematics, the Artin–Rees lemma is a basic result about modules over a Noetherian ring, along with results such as the Hilbert basis theorem. It was proved in the 1950s in independent works by the mathematicians Emil Artin and David Rees; a special case was known to Oscar Zariski prior to their work.
In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitely generated modules over a principal ideal domain (PID) can be uniquely decomposed in much the same way that integers have a prime factorization. The result provides a simple framework to understand various canonical form results for square matrices over fields.
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.
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.
Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject.
In abstract algebra, a module M over a ring R is called torsionless if it can be embedded into some direct product RI. Equivalently, M is torsionless if each non-zero element of M has non-zero image under some R-linear functional f:
This is a glossary of commutative algebra.
In algebra, a torsion-free module is a module over a ring such that zero is the only element annihilated by a regular element of the ring. In other words, a module is torsion free if its torsion submodule contains only the zero element.
In algebra, a free presentation of a module M over a commutative ring R is an exact sequence of R-modules:
 | This linear algebra-related article is a stub. You can help Wikipedia by expanding it. |
