|
Torsionless Module
In abstract algebra, a module (mathematics), module ''M'' over a ring (mathematics), ring ''R'' is called torsionless if it can be embedded into some direct product ''R''''I''. Equivalently, ''M'' is torsionless if each non-zero element of ''M'' has non-zero image under some ''R''-linear functional ''f'': : f\in M^=\operatorname_R(M,R),\quad f(m)\ne 0. This notion was introduced by Hyman Bass. Properties and examples A module is torsionless if and only if the canonical map into its double dual module, dual, : M\to M^=\operatorname_R(M^,R), \quad m\mapsto (f\mapsto f(m)), m\in M, f\in M^, is injective. If this map is bijective then the module is called reflexive. For this reason, torsionless modules are also known as semi-reflexive. * A unital free module is torsionless. More generally, a direct sum of torsionless modules is torsionless. * A free module is reflexive if it is finitely generated module, finitely generated, and for some rings there are also infinitely genera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in mathematical education, pedagogy. Algebraic structures, with their associated homomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Ring
In mathematics, a commutative ring is a Ring (mathematics), 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. Commutative rings appear in the following chain of subclass (set theory), class inclusions: Definition and first examples Definition A ''ring'' is a Set (mathematics), set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called ''addition'' and ''multiplication'' and commonly denoted by "+" and "\cdot"; e.g. a+b and a \cdot b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second-largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, op ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reflexive Sheaf
In algebraic geometry, a reflexive sheaf is a coherent sheaf that is isomorphic to its second dual (as a sheaf of modules) via the canonical map. The second dual of a coherent sheaf is called the reflexive hull of the sheaf. A basic example of a reflexive sheaf is a locally free sheaf of finite rank. The notion is important both in scheme theory and complex algebraic geometry. For the theory of reflexive sheaves, one works over an integral noetherian scheme. A reflexive sheaf is torsion-free. The dual of a coherent sheaf is reflexive. Usually, the product of reflexive sheaves is defined as the reflexive hull of their tensor products (so the result is reflexive). A coherent sheaf ''F'' is said to be "normal" in the sense of Barth if the restriction F(U) \to F(U - Y) is bijective for every open subset ''U'' and a closed subset ''Y'' of ''U'' of codimension at least 2. With this terminology, a coherent sheaf on an integral normal scheme is reflexive if and only if it is torsion-fre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prüfer Domain
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. Examples The ring of entire functions on the open complex plane C form a Prüfer domain. The ring of integer valued polynomials with rational coefficients is a Prüfer domain, although the ring \mathbb /math> of integer polynomials is not . While every number ring is a Dedekind domain, their union, the ring of algebraic integers, is a Prüfer domain. Just as a Dedekind domain is locally a discrete valuation ring, a Prüfer domain is locally a valuation ring, so that Prüfer domains act as non-noetherian analogues of Dedekind domains. Indeed, a domain that is the direct limit of subrings that are Prüfer domains is a Prüfer domain . Ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Ring
In mathematics, a (left) coherent ring is a ring in which every finitely generated left ideal is finitely presented. Many theorems about finitely generated modules over Noetherian rings can be extended to finitely presented modules over coherent rings. Every left Noetherian ring is left coherent. The ring of polynomials in an infinite number of variables over a left Noetherian ring is an example of a left coherent ring that is not left Noetherian. A ring is left coherent if and only if every direct product of flat right modules is flat , . Compare this to: A ring is left Noetherian if and only if every direct sum of injective In mathematics, an injective function (also known as injection, or one-to-one function ) is a function that maps distinct elements of its domain to distinct elements of its codomain; that is, implies (equivalently by contraposition, impl ... left modules is injective. References * * *{{eom, title=Coherent ring, first=V.E., last= Govorov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semihereditary Ring
In mathematics, especially in the area of abstract algebra known as module theory, a ring ''R'' is called hereditary if all submodules of projective modules over ''R'' are again projective. If this is required only for finitely generated submodules, it is called semihereditary. For a noncommutative ring ''R'', the terms left hereditary and left semihereditary and their right hand versions are used to distinguish the property on a single side of the ring. To be left (semi-)hereditary, all (finitely generated) submodules of projective ''left'' ''R''-modules must be projective, and similarly to be right (semi-)hereditary all (finitely generated) submodules of projective ''right'' ''R''-modules must be projective. It is possible for a ring to be left (semi-)hereditary but not right (semi-)hereditary and vice versa. Equivalent definitions * The ring ''R'' is left (semi-)hereditary if and only if all ( finitely generated) left ideals of ''R'' are projective modules. * The ring ''R'' i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flat Module
In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion-free modules. Formally, a module (mathematics), module ''M'' over a ring (mathematics), ring ''R'' is ''flat'' if taking the tensor product of modules, 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. Flatness was introduced by in his paper ''Géometrie Algébrique et Géométrie Analytique''. Definition A left module over a ring is ''flat'' if the following condition is satisfied: for every injective module homomorphism, linear map \varphi: K \to L of right -modules, the map : \varphi \otimes_R M: K \otimes_R M \to L \otimes_R M is also injective, where \varphi \otimes_R M is the map induced by k \otimes m \mapsto \varphi(k) \otimes m. For this definition, it is enough to restrict the injections \varphi to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Ring
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. Formally, every increasing sequence I_1\subseteq I_2 \subseteq I_3 \subseteq \cdots of left (or right) ideals has a largest element; that is, there exists an n such that I_=I_=\cdots. Equivalently, a ring is left-Noetherian (respectively right-Noetherian) if every left ideal (respectively right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on the Noetherian property ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Basis
In linear algebra, given a vector space V with a basis B of vectors indexed by an index set I (the cardinality of I is the dimension of V), the dual set of B is a set B^* of vectors in the dual space V^* with the same index set I such that B and B^* form a biorthogonal system. The dual set is always linearly independent but does not necessarily span V^*. If it does span V^*, then B^* is called the dual basis or reciprocal basis for the basis B. Denoting the indexed vector sets as B = \_ and B^ = \_, being biorthogonal means that the elements pair to have an inner product equal to 1 if the indexes are equal, and equal to 0 otherwise. Symbolically, evaluating a dual vector in V^* on a vector in the original space V: : v^i\cdot v_j = \delta^i_j = \begin 1 & \text i = j\\ 0 & \text i \ne j\text \end where \delta^i_j is the Kronecker delta symbol. Introduction To perform operations with a vector, we must have a straightforward method of calculating its components. In a Cartesia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dedekind Domain
In mathematics, 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. A field is a commutative ring in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way. Some authors add the requirement that a Dedekind domain not be a field. Many more authors state theorems for Dedekind domains with the implicit proviso that they may require trivial modifications for the case of fields. An immediate consequence of the definition is that every principal ideal domain (PID) is a Dedekind domain. In fact a Dedekind domain is a unique factorization domain (UFD) if and only if it is a PID. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Domain
In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element ''a'' has the cancellation property, that is, if , an equality implies . "Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity. Noncommutative integral domains are sometimes admitted. This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using " domain" for the general case including noncommutative rings. Some sources, notably Lang, use the term entire ring for integral domain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
