|
Künneth Theorem
In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces ''X'' and ''Y'' and their product space X \times Y. In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer. A Künneth theorem or Künneth formula is true in many different homology and cohomology theories, and the name has become generic. These many results are named for the German mathematician Hermann Künneth. Singular homology with coefficients in a field Let ''X'' and ''Y'' be two topological spaces. In general one uses singular homology; but if ''X'' and ''Y'' happen to be CW complexes, then this can be replaced by cellular hom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Torsion (algebra)
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 that equals its torsion submodule. A module is torsion-free if its torsion submodule comprises only the zero element. This terminology is more commonly used for modules over a domain, that is, when the regular elements of the ring are all its nonzero elements. This terminology applies to abelian groups (with "module" and "submodule" replaced by "group" and "subgroup"). This is allowed by the fact that the abelian groups are the modules over the ring of integers (in fact, this is the origin of the terminology, that has been introduced for abelian groups before being generalized to modules). In the case of groups that are noncommutative, a ''torsion element'' is an element of finite order. Contrary to the commuta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf Cohomology
In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper. Sheaves, sheaf cohomology, and spectral sequences were introduced by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria. From 1940 to 1945, Leray and other prisoners organized a "université en captivité" in the camp. Leray's definitions were simplified and clarified in the 1950s. It became clear that sheaf cohomology was not only a new approach to cohomology in algebraic topology, but also a powerful method in complex analytic geometry and algebraic geometry. These subjects often involve constructing global functions with specified local properties, and sheaf cohomology is ideally suited to such problems. Man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singular 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 functions on the group of chains in homology theory. From its beginning 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 algebra. The terminology tends to hide the fact that cohomology, a contravariant theory, is more natural than homology in many applications. At a basic level, this has to do w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eilenberg–Zilber Theorem
In mathematics, specifically in algebraic topology, the Eilenberg–Zilber theorem is an important result in establishing the link between the homology groups of a product space X \times Y and those of the spaces X and Y. The theorem first appeared in a 1953 paper in the American Journal of Mathematics by Samuel Eilenberg and Joseph A. Zilber. One possible route to a proof is the acyclic model theorem. Statement of the theorem The theorem can be formulated as follows. Suppose X and Y are topological spaces, Then we have the three chain complexes C_*(X), C_*(Y), and C_*(X \times Y) . (The argument applies equally to the simplicial or singular chain complexes.) We also have the ''tensor product complex'' C_*(X) \otimes C_*(Y), whose differential is, by definition, :\partial_( \sigma \otimes \tau) = \partial_X \sigma \otimes \tau + (-1)^p \sigma \otimes \partial_Y\tau for \sigma \in C_p(X) and \partial_X, \partial_Y the differentials on C_*(X),C_*(Y). Then the theorem says that we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-isomorphism
In homological algebra, a branch of mathematics, a quasi-isomorphism or quism is a morphism ''A'' → ''B'' of chain complexes (respectively, cochain complexes) such that the induced morphisms :H_n(A_\bullet) \to H_n(B_\bullet)\ (\text H^n(A^\bullet) \to H^n(B^\bullet)) of homology groups (respectively, of cohomology groups) are isomorphisms for all ''n''. In the theory of model categories, quasi-isomorphisms are sometimes used as the class of weak equivalences when the objects of the category are chain or cochain complexes. This results in a homology-local theory, in the sense of Bousfield localization in homotopy theory. See also * Derived category In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction pr ... References *Gelfand, Sergei I., Manin, Yuri I. ''Methods of Homological Alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectral Sequence
In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they have become important computational tools, particularly in algebraic topology, algebraic geometry and homological algebra. Discovery and motivation Motivated by problems in algebraic topology, Jean Leray introduced the notion of a sheaf (mathematics), sheaf and found himself faced with the problem of computing sheaf cohomology. To compute sheaf cohomology, Leray introduced a computational technique now known as the Leray spectral sequence. This gave a relation between cohomology groups of a sheaf and cohomology groups of the direct image of a sheaf, pushforward of the sheaf. The relation involved an infinite process. Leray found that the cohomology groups of the pushforward formed a natural chain complex, so that he could take the cohomolo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Projective Plane
In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has basic applications to geometry, since the common construction of the real projective plane is as the space of lines in passing through the origin. The plane is also often described topologically, in terms of a construction based on the Möbius strip: if one could glue the (single) edge of the Möbius strip to itself in the correct direction, one would obtain the projective plane. (This cannot be done in three-dimensional space without the surface intersecting itself.) Equivalently, gluing a disk along the boundary of the Möbius strip gives the projective plane. Topologically, it has Euler characteristic 1, hence a demigenus (non-orientable genus, Euler genus) of 1. Since the Möbius strip, in turn, can be constructed from a square by glui ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Form
In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an object and which allows it to be identified in a unique way. The distinction between "canonical" and "normal" forms varies from subfield to subfield. In most fields, a canonical form specifies a ''unique'' representation for every object, while a normal form simply specifies its form, without the requirement of uniqueness. The canonical form of a positive integer in decimal representation is a finite sequence of digits that does not begin with zero. More generally, for a class of objects on which an equivalence relation is defined, a canonical form consists in the choice of a specific object in each class. For example: *Jordan normal form is a canonical form for matrix similarity. *The row echelon form is a canonical form, when one considers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Split (mathematics)
In mathematics, and more specifically in homological algebra, the splitting lemma states that in any abelian category, the following statements are equivalent for a short exact sequence : 0 \longrightarrow A \mathrel B \mathrel C \longrightarrow 0. If any of these statements holds, the sequence is called a split exact sequence, and the sequence is said to ''split''. In the above short exact sequence, where the sequence splits, it allows one to refine the first isomorphism theorem, which states that: : (i.e., isomorphic to the coimage of or cokernel of ) to: : where the first isomorphism theorem is then just the projection onto . It is a categorical generalization of the rank–nullity theorem (in the form in linear algebra. Proof for the category of abelian groups and First, to show that 3. implies both 1. and 2., we assume 3. and take as the natural projection of the direct sum onto , and take as the natural injection of into the direct sum. To prove that 1. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Short Exact Sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next. Definition In the context of group theory, a sequence :G_0\;\xrightarrow\; G_1 \;\xrightarrow\; G_2 \;\xrightarrow\; \cdots \;\xrightarrow\; G_n of groups and group homomorphisms is said to be exact at G_i if \operatorname(f_i)=\ker(f_). The sequence is called exact if it is exact at each G_i for all 1\leq i |
