HOME
*





Dualizing Module
In abstract algebra, a dualizing module, also called a canonical module, is a module over a commutative ring that is analogous to the canonical bundle of a smooth variety. It is used in Grothendieck local duality. Definition A dualizing module for a Noetherian ring ''R'' is a finitely generated module ''M'' such that for any maximal ideal ''m'', the ''R''/''m'' vector space vanishes if ''n'' ≠ height(''m'') and is 1-dimensional if ''n'' = height(''m''). A dualizing module need not be unique because the tensor product of any dualizing module with a rank 1 projective module is also a dualizing module. However this is the only way in which the dualizing module fails to be unique: given any two dualizing modules, one is isomorphic to the tensor product of the other with a rank 1 projective module. In particular if the ring is local the dualizing module is unique up to isomorphism. A Noetherian ring does not necessarily have a dualizing module. Any ring with ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the ''variety of groups''. History Before the nineteenth century, algebra meant ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Tensor Product
In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes W denoted v \otimes w. An element of the form v \otimes w is called the tensor product of and . An element of V \otimes W is a tensor, and the tensor product of two vectors is sometimes called an ''elementary tensor'' or a ''decomposable tensor''. The elementary tensors span V \otimes W in the sense that every element of V \otimes W is a sum of elementary tensors. If bases are given for and , a basis of V \otimes W is formed by all tensor products of a basis element of and a basis element of . The tensor product of two vector spaces captures the properties of all bilinear maps in the sense that a bilinear map from V\times W into another vector space factors uniquely through a linear map V\otimes W\to Z (see Universal property). Tenso ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dualizing Sheaf
In algebraic geometry, the dualizing sheaf on a proper scheme ''X'' of dimension ''n'' over a field ''k'' is a coherent sheaf \omega_X together with a linear functional :t_X: \operatorname^n(X, \omega_X) \to k that induces a natural isomorphism of vector spaces :\operatorname_X(F, \omega_X) \simeq \operatorname^n(X, F)^*, \, \varphi \mapsto t_X \circ \varphi for each coherent sheaf ''F'' on ''X'' (the superscript * refers to a dual vector space). The linear functional t_X is called a trace morphism. A pair (\omega_X, t_X), if it is exists, is unique up to a natural isomorphism. In fact, in the language of category theory, \omega_X is an object representing the contravariant functor F \mapsto \operatorname^n(X, F)^* from the category of coherent sheaves on ''X'' to the category of ''k''-vector spaces. For a normal projective variety ''X'', the dualizing sheaf exists and it is in fact the canonical sheaf: \omega_X = \mathcal_X(K_X) where K_X is a canonical divisor. More generally, t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Matlis Module
In algebra, Matlis duality is a duality between Artinian and Noetherian modules over a complete Noetherian local ring. In the special case when the local ring has a field mapping to the residue field it is closely related to earlier work by Francis Sowerby Macaulay on polynomial rings and is sometimes called Macaulay duality, and the general case was introduced by . Statement Suppose that ''R'' is a Noetherian complete local ring with residue field ''k'', and choose ''E'' to be an injective hull of ''k'' (sometimes called a Matlis module). The dual ''D''''R''(''M'') of a module ''M'' is defined to be Hom''R''(''M'',''E''). Then Matlis duality states that the duality functor ''D''''R'' gives an anti-equivalence between the categories of Artinian and Noetherian ''R''-modules. In particular the duality functor gives an anti-equivalence from the category of finite-length modules to itself. Examples Suppose that the Noetherian complete local ring ''R'' has a subfield ''k'' that maps ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Local Ring
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠ 0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠ 0 and if ''x'' is any element of ''R ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Artinian Ring
In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition. Precisely, a ring is left Artinian if it satisfies the descending chain condition on left ideals, right Artinian if it satisfies the descending chain condition on right ideals, and Artinian or two-sided Artinian if it is both left and right Artinian. For commutative rings the left and right definitions coincide, but in general they are distinct from each other. The Artin–Wedderburn theorem charact ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dualizing Complex
In mathematics, Verdier duality is a cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by as an analog for locally compact topological spaces of Alexander Grothendieck's theory of Poincaré duality in étale cohomology for schemes in algebraic geometry. It is thus (together with the said étale theory and for example Grothendieck's coherent duality) one instance of Grothendieck's six operations formalism. Verdier duality generalises the classical Poincaré duality of manifolds in two directions: it applies to continuous maps from one space to another (reducing to the classical case for the unique map from a manifold to a one-point space), and it applies to spaces that fail to be manifolds due to the presence of singularities. It is commonly encountered when studying constructible or perverse sheaves. Verdier duality Verdier duality states that (subject to suitable finiteness conditions discusse ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Gorenstein Ring
In commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring ''R'' with finite injective dimension as an ''R''-module. There are many equivalent conditions, some of them listed below, often saying that a Gorenstein ring is self-dual in some sense. Gorenstein rings were introduced by Grothendieck in his 1961 seminar (published in ). The name comes from a duality property of singular plane curves studied by (who was fond of claiming that he did not understand the definition of a Gorenstein ring). The zero-dimensional case had been studied by . and publicized the concept of Gorenstein rings. Frobenius rings are noncommutative analogs of zero-dimensional Gorenstein rings. Gorenstein schemes are the geometric version of Gorenstein rings. For Noetherian local rings, there is the following chain of inclusions. Definitions A Gorenstein ring is a commutative Noetherian ring such that each localization at a prime ideal is a Gorenstein local ring, as defined ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cohen–Macaulay Ring
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. They are named for , who proved the unmixedness theorem for polynomial rings, and for , who proved the unmixedness theorem for formal power series rings. All Cohen–Macaulay rings have the unmixedness property. For Noetherian local rings, there is the following chain of inclusions. Definition For a commutative Noetherian local ring ''R'', a finite (i.e. finitely generated) ''R''-module M\neq 0 is a ''Cohen-Macaulay module'' if \mathrm(M) = \mathrm(M) (in general we have: \mathrm(M) \leq \mathrm(M), see Auslander–Buchsbaum formula for ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Projective Module
In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below. Every free module is a projective module, but the converse fails to hold over some rings, such as Dedekind rings that are not principal ideal domains. However, every projective module is a free module if the ring is a principal ideal domain such as the integers, or a polynomial ring (this is the Quillen–Suslin theorem). Projective modules were first introduced in 1956 in the influential book ''Homological Algebra'' by Henri Cartan and Samuel Eilenberg. Definitions Lifting property The usual category theoretical definition is in terms of the property of ''lifting'' that carries over from free to projective modules: a module ''P'' is projective if and only if for every surjective module homomor ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dimension (vector Space)
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V is if the dimension of V is finite, and if its dimension is infinite. The dimension of the vector space V over the field F can be written as \dim_F(V) or as : F read "dimension of V over F". When F can be inferred from context, \dim(V) is typically written. Examples The vector space \R^3 has \left\ as a standard basis, and therefore \dim_(\R^3) = 3. More generally, \dim_(\R^n) = n, and even more generally, \dim_(F^n) = n for any field F. The complex numbers \Complex are both a real and complex vector space; we have ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Module (mathematics)
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'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module conc ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]