In algebra, a torsion-free module is a module over a ring such that zero is the only element annihilated by a regular element (non zero-divisor) of the ring. In other words, a module is torsion free if its torsion submodule contains only the zero element.
In integral domains the regular elements of the ring are its nonzero elements, so in this case a torsion-free module is one such that zero is the only element annihilated by some non-zero element of the ring. Some authors work only over integral domains and use this condition as the definition of a torsion-free module, but this does not work well over more general rings, for if the ring contains zero-divisors then the only module satisfying this condition is the zero module.
Over a commutative ring R with total quotient ring K, a module M is torsion-free if and only if Tor 1(K/R,M) vanishes. Therefore flat modules, and in particular free and projective modules, are torsion-free, but the converse need not be true. An example of a torsion-free module that is not flat is the ideal (x, y) of the polynomial ring k[x, y] over a field k, interpreted as a module over k[x, y].
Any torsionless module over a domain is a torsion-free module, but the converse is not true, as Q is a torsion-free Z-module that is not torsionless.
Over a Noetherian integral domain, torsion-free modules are the modules whose only associated prime is zero. More generally, over a Noetherian commutative ring the torsion-free modules are those modules all of whose associated primes are contained in the associated primes of the ring.
Over a Noetherian integrally closed domain, any finitely-generated torsion-free module has a free submodule such that the quotient by it is isomorphic to an ideal of the ring.
Over a Dedekind domain, a finitely-generated module is torsion-free if and only if it is projective, but is in general not free. Any such module is isomorphic to the sum of a finitely-generated free module and an ideal, and the class of the ideal is uniquely determined by the module.
Over a principal ideal domain, finitely-generated modules are torsion-free if and only if they are free.
Over an integral domain, every module M has a torsion-free cover F → M from a torsion-free module F onto M, with the properties that any other torsion-free module mapping onto M factors through F, and any endomorphism of F over M is an automorphism of F. Such a torsion-free cover of M is unique up to isomorphism. Torsion-free covers are closely related to flat covers.
A quasicoherent sheaf F over a scheme X is a sheaf of -modules such that for any open affine subscheme U = Spec(R) the restriction F|U is associated to some module M over R. The sheaf F is said to be torsion-free if all those modules M are torsion-free over their respective rings. Alternatively, F is torsion-free if and only if it has no local torsion sections. [1]
In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.
In mathematics, a unique factorization domain (UFD) is a ring in which a statement analogous to the fundamental theorem of arithmetic holds. Specifically, a UFD is an integral domain in which every non-zero non-unit element can be written as a product of irreducible elements, uniquely up to order and units.
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.
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below.
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 a module also generalizes the notion of an 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, the annihilator of a subset S of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by each element of S.
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 mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many primary ideals. The theorem was first proven by Emanuel Lasker for the special case of polynomial rings and convergent power series rings, and was proven in its full generality by Emmy Noether.
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, a Bézout domain is an integral domain in which the sum of two principal ideals is also a principal ideal. This means that Bézout's identity holds for every pair of elements, and that every finitely generated ideal is principal. Bézout domains are a form of Prüfer domain.
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 mathematics, a Prüfer domain is a type of commutative ring that generalizes Dedekind domains in a non-Noetherian context. These rings possess the nice ideal and module theoretic properties of Dedekind domains, but usually only for finitely generated modules. Prüfer domains are named after the German mathematician Heinz Prüfer.
In commutative algebra, an integrally closed domainA is an integral domain whose integral closure in its field of fractions is A itself. Spelled out, this means that if x is an element of the field of fractions of A that is a root of a monic polynomial with coefficients in A, then x is itself an element of A. Many well-studied domains are integrally closed, as shown by the following chain of class inclusions:
In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring.
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 algebraic geometry.
This is a glossary of commutative algebra.
