Homological Conjectures In Commutative Algebra
   HOME
*





Homological Conjectures In Commutative Algebra
In mathematics, homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties of a commutative ring to its internal ring structure, particularly its Krull dimension and depth. The following list given by Melvin Hochster is considered definitive for this area. In the sequel, A, R, and S refer to Noetherian commutative rings; R will be a local ring with maximal ideal m_R, and M and N are finitely generated R-modules. # The Zero Divisor Theorem. If M \ne 0 has finite projective dimension and r \in R is not a zero divisor on M, then r is not a zero divisor on R. # Bass's Question. If M \ne 0 has a finite injective resolution then R is a Cohen–Macaulay ring. # The Intersection Theorem. If M \otimes_R N \ne 0 has finite length, then the Krull dimension of ''N'' (i.e., the dimension of ''R'' modulo the annihilator of '' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Projective Dimension
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 homomorp ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Homological Algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through both their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other 'tan ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and ''p''-adic integers. Commutative algebra is the main technical tool in the local study of schemes. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. In algebraic number theory, the rings of algebraic integers are Dedekind rings, which constitute therefore an important class of commutative rings. Considerations related to modular arithmetic have led to the no ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Regular Sequence
In commutative algebra, a regular sequence is a sequence of elements of a commutative ring 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 sp ... which are as independent as possible, in a precise sense. This is the algebraic analogue of the geometric notion of a complete intersection. Definitions For a commutative ring ''R'' and an ''R''-Module (mathematics), module ''M'', an element ''r'' in ''R'' is called a non-zero-divisor on ''M'' if ''r m'' = 0 implies ''m'' = 0 for ''m'' in ''M''. An ''M''-regular sequence is a sequence :''r''1, ..., ''r''''d'' in ''R'' such that ''r''''i'' is a not a zero-divisor on ''M''/(''r''1, ..., ''r''''i''-1)''M'' for ''i'' = 1, ..., ''d''. Some authors also require that ''M''/(''r''1, ..., ''r''''d'')''M'' is not zero. Intuitively, to say that '' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inaugural Abel Prize in 2003. Biography Personal life Born in Bages, Pyrénées-Orientales, France, to pharmacist parents, Serre was educated at the Lycée de Nîmes and then from 1945 to 1948 at the École Normale Supérieure in Paris. He was awarded his doctorate from the Sorbonne in 1951. From 1948 to 1954 he held positions at the Centre National de la Recherche Scientifique in Paris. In 1956 he was elected professor at the Collège de France, a position he held until his retirement in 1994. His wife, Professor Josiane Heulot-Serre, was a chemist; she also was the director of the Ecole Normale Supérieure de Jeunes Filles. Their daughter is the former French diplomat, historian and writer Claudine Monteil. The French mathematician Denis S ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Serre's Multiplicity Conjectures
In mathematics, Serre's multiplicity conjectures, named after Jean-Pierre Serre, are certain purely algebraic problems, in commutative algebra, motivated by the needs of algebraic geometry. Since André Weil's initial definition of intersection numbers, around 1949, there had been a question of how to provide a more flexible and computable theory. Let ''R'' be a (Noetherian, commutative) regular local ring and ''P'' and ''Q'' be prime ideals of ''R''. In 1958, Serre realized that classical algebraic-geometric ideas of multiplicity could be generalized using the concepts of homological algebra. Serre defined the intersection multiplicity of ''R''/''P'' and ''R''/''Q'' by means of the Tor functors of homological algebra, as : \chi (R/P,R/Q):=\sum _^\infty (-1)^i\ell_R (\operatorname^R_i(R/P,R/Q)). This requires the concept of the length of a module, denoted here by \ell_R, and the assumption that : \ell _R((R/P)\otimes(R/Q)) < \infty. If this idea were to work, howev ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Direct Summand
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups A and B is another abelian group A\oplus B consisting of the ordered pairs (a,b) where a \in A and b \in B. To add ordered pairs, we define the sum (a, b) + (c, d) to be (a + c, b + d); in other words addition is defined coordinate-wise. For example, the direct sum \Reals \oplus \Reals , where \Reals is real coordinate space, is the Cartesian plane, \R ^2 . A similar process can be used to form the direct sum of two vector spaces or two modules. We can also form direct sums with any finite number of summands, for example A \oplus B \oplus C, provided A, B, and C are the same kinds of algebraic structures (e.g., all abelian groups, or all vector spac ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Koszul Complex
In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul (see Lie algebra cohomology). 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. Definition Let ''R'' be a commutative ring and ''E'' a free module of finite rank ''r'' over ''R''. We write \bigwedge^i E for the ''i''-th exterior power of ''E''. Then, given an ''R''-linear map s\colon E \to R, the Koszul complex associated to ' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Residue Field
In mathematics, the residue field is a basic construction in commutative algebra. If ''R'' is a commutative ring and ''m'' is a maximal ideal, then the residue field is the quotient ring ''k'' = ''R''/''m'', which is a field. Frequently, ''R'' is a local ring and ''m'' is then its unique maximal ideal. This construction is applied in algebraic geometry, where to every point ''x'' of a scheme ''X'' one associates its residue field ''k''(''x''). One can say a little loosely that the residue field of a point of an abstract algebraic variety is the 'natural domain' for the coordinates of the point. Definition Suppose that ''R'' is a commutative local ring, with maximal ideal ''m''. Then the residue field is the quotient ring ''R''/''m''. Now suppose that ''X'' is a scheme and ''x'' is a point of ''X''. By the definition of scheme, we may find an affine neighbourhood ''U'' = Spec(''A''), with ''A'' some commutative ring. Considered in the neighbourhood ''U'', the point ''x'' correspond ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


System Of Parameters
In mathematics, a system of parameters for a local Noetherian ring of Krull dimension ''d'' with maximal ideal ''m'' is a set of elements ''x''1, ..., ''x''''d'' that satisfies any of the following equivalent conditions: # ''m'' is a minimal prime over (''x''1, ..., ''x''''d''). # The radical of (''x''1, ..., ''x''''d'') is ''m''. # Some power of ''m'' is contained in (''x''1, ..., ''x''''d''). # (''x''1, ..., ''x''''d'') is ''m''-primary. Every local Noetherian ring admits a system of parameters. It is not possible for fewer than ''d'' elements to generate an ideal whose radical is ''m'' because then the dimension of ''R'' would be less than ''d''. If ''M'' is a ''k''-dimensional module over a local ring, then ''x''1, ..., ''x''''k'' is a system of parameters for ''M'' if the length Length is a measure of distance. In the International System of Quantities, length is a quantity with dimension distance. In most systems of measurement a base unit for length is chosen, fro ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Publications Mathématiques De L'IHÉS
''Publications Mathématiques de l'IHÉS'' is a peer-reviewed mathematical journal. It is published by Springer Science+Business Media on behalf of the Institut des Hautes Études Scientifiques, with the help of the Centre National de la Recherche Scientifique. The journal was established in 1959 and was published at irregular intervals, from one to five volumes a year. It is now biannual. The editor-in-chief is Claire Voisin (Collège de France). See also *''Annals of Mathematics'' *'' Journal of the American Mathematical Society'' *''Inventiones Mathematicae ''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors ...'' External links * Back issues from 1959 to 2010 Mathematics journals Publications established in 1959 Springer Science+Business Media academic journals Biannual journal ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]