|
Graded-commutative
In Abstract algebra, algebra, a graded-commutative ring (also called a skew-commutative ring) is a graded ring that is commutative in the graded sense; that is, homogeneous elements ''x'', ''y'' satisfy :xy = (-1)^ yx, where , ''x'', and , ''y'', denote the degrees of ''x'' and ''y''. A commutative ring, commutative (non-graded) ring, with trivial grading, is a basic example. For a nontrivial example, an exterior algebra is generally not a commutative ring but is a ''graded''-commutative ring. A cup product on cohomology satisfies the skew-commutative relation; hence, a cohomology ring is graded-commutative. In fact, many examples of graded-commutative rings come from algebraic topology and homological algebra. References * David Eisenbud, ''Commutative Algebra. With a view toward algebraic geometry'', Graduate Texts in Mathematics, vol 150, Springer-Verlag, New York, 1995. * See also *DG algebra *graded-symmetric algebra *alternating algebra *supercommutative algebra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomology
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are function (mathematics), functions on the group of chain (algebraic topology), chains in homology theory. From its start in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. From the initial idea of homology as a method of constructing algebraic invariants of topological spaces, the range of applications of homology and cohomology theories has spread throughout geometry and abstract algebra, algebra. The terminology tends to hide the fact that cohomology, a Covariance and contravariance of functors, c ... [...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] |
Graded-symmetric Algebra
In algebra, given a commutative ring ''R'', the graded-symmetric algebra of a graded ''R''-module ''M'' is the quotient of the tensor algebra of ''M'' by the ideal ''I'' generated by elements of the form: *xy - (-1)^yx *x^2 when , ''x'', is odd for homogeneous elements ''x'', ''y'' in ''M'' of degree , ''x'', , , ''y'', . By construction, a graded-symmetric algebra is graded-commutative; i.e., xy = (-1)^ yx and is universal for this. In spite of the name, the notion is a common generalization of a symmetric algebra and an exterior algebra: indeed, if ''V'' is a (non-graded) ''R''- module, then the graded-symmetric algebra of ''V'' with trivial grading is the usual symmetric algebra of ''V''. Similarly, the graded-symmetric algebra of the graded module with ''V'' in degree one and zero elsewhere is the exterior algebra of ''V''. References * David Eisenbud, ''Commutative Algebra. With a view toward algebraic geometry'', Graduate Texts in Mathematics, vol 150, Springer-Verlag ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DG Algebra
In mathematics – particularly in homological algebra, algebraic topology, and algebraic geometry – a differential graded algebra (or DGA, or DG algebra) is an algebraic structure often used to capture information about a topological or geometric space. Explicitly, a differential graded algebra is a graded associative algebra with a chain complex structure that is compatible with the algebra structure. In geometry, the de Rham algebra of differential forms on a manifold has the structure of a differential graded algebra, and it encodes the de Rham cohomology of the manifold. In algebraic topology, the singular cochains of a topological space form a DGA encoding the singular cohomology. Moreover, American mathematician Dennis Sullivan developed a DGA to encode the rational homotopy type of topological spaces. __TOC__ Definitions Let A_\bullet = \bigoplus\nolimits_ A_i be a \mathbb-graded algebra, with product \cdot, equipped with a map d\colon A_\bullet \to A_\bullet o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supercommutative Algebra
In mathematics, a supercommutative (associative) algebra is a superalgebra (i.e. a Z2-graded algebra) such that for any two homogeneous elements ''x'', ''y'' we have :yx = (-1)^xy , where , ''x'', denotes the grade of the element and is 0 or 1 (in Z) according to whether the grade is even or odd, respectively. Equivalently, it is a superalgebra where the supercommutator : ,y= xy - (-1)^yx always vanishes. Algebraic structures which supercommute in the above sense are sometimes referred to as skew-commutative associative algebras to emphasize the anti-commutation, or, to emphasize the grading, graded-commutative or, if the supercommutativity is understood, simply commutative. Any commutative algebra is a supercommutative algebra if given the trivial gradation (i.e. all elements are even). Grassmann algebras (also known as exterior algebras) are the most common examples of nontrivial supercommutative algebras. The supercenter of any superalgebra is the set of elements that s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cup Product
In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p+q. This defines an associative (and distributive) graded commutative product operation in cohomology, turning the cohomology of a space X into a graded ring, H^*(X), called the cohomology ring. The cup product was introduced in work of J. W. Alexander, Eduard Čech and Hassler Whitney from 1935–1938, and, in full generality, by Samuel Eilenberg in 1944. Definition In singular cohomology, the cup product is a construction giving a product on the graded cohomology ring H^*(X) of a topological space X. The construction starts with a product of cochains: if \alpha^p is a p-cochain and \beta^q is a q-cochain, then :(\alpha^p \smile \beta^q)(\sigma) = \alpha^p(\sigma \circ \iota_) \cdot \beta^q(\sigma \circ \iota_) where \sigma is a singular (p+q)- simplex and \iota_S , S \subset \ is the canonical embeddi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomology Ring
In mathematics, specifically algebraic topology, the cohomology ring of a topological space ''X'' is a ring formed from the cohomology groups of ''X'' together with the cup product serving as the ring multiplication. Here 'cohomology' is usually understood as singular cohomology, but the ring structure is also present in other theories such as de Rham cohomology. It is also functorial: for a continuous mapping of spaces one obtains a ring homomorphism on cohomology rings, which is contravariant. Specifically, given a sequence of cohomology groups ''H''''k''(''X'';''R'') on ''X'' with coefficients in a commutative ring ''R'' (typically ''R'' is Z''n'', Z, Q, R, or C) one can define the cup product, which takes the form :H^k(X;R) \times H^\ell(X;R) \to H^(X; R). The cup product gives a multiplication on the direct sum of the cohomology groups :H^\bullet(X;R) = \bigoplus_ H^k(X; R). This multiplication turns ''H''•(''X'';''R'') into a ring. In fact, it is naturally an N-graded r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) () is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stammbach (1997, 2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alternating Algebra
In mathematics, an alternating algebra is a -graded algebra for which for all nonzero homogeneous elements and (i.e. it is an Graded-commutative ring, anticommutative algebra) and has the further property that (Nilpotent, nilpotence) for every homogeneous element of odd degree. Examples * The Differential forms#Operations, differential forms on a differentiable manifold form an alternating algebra. * The exterior algebra is an alternating algebra. * The cohomology ring of a topological space is an alternating algebra. Properties * The algebra formed as the Direct sum of modules, direct sum of the homogeneous subspaces of even degree of an anticommutative algebra is a subalgebra contained in the Center (ring theory), centre of , and is thus Associative_algebra#Definition, commutative. * An anticommutative algebra over a (commutative) base Ring (mathematics), ring in which 2 is not a zero divisor is alternating. See also * Alternating multilinear map * Exterior algebra ... [...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, ... [...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] |
David Eisenbud
David Eisenbud (born 8 April 1947 in New York City) is an American mathematician. He is a professor of mathematics at the University of California, Berkeley and former director of the then Mathematical Sciences Research Institute (MSRI), now known as Simons Laufer Mathematical Sciences Institute (SLMath). He served as Director of MSRI from 1997 to 2007, and then again from 2013 to 2022. Biography Eisenbud is the son of mathematical physicist Leonard Eisenbud, who was a student and collaborator of the renowned physicist Eugene Wigner. Eisenbud received his Ph.D. in 1970 from the University of Chicago, where he was a student of Saunders Mac Lane and, unofficially, James Christopher Robson. He then taught at Brandeis University from 1970 to 1997, during which time he had visiting positions at Harvard University, Institut des Hautes Études Scientifiques (IHÉS), University of Bonn, and Centre national de la recherche scientifique (CNRS). He joined the staff at MSRI in 1997, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
