|
Bockstein Homomorphism
In homological algebra, the Bockstein homomorphism, introduced by , is a connecting homomorphism associated with a short exact sequence :0 \to P \to Q \to R \to 0 of abelian groups, when they are introduced as coefficients into a chain complex ''C'', and which appears in the homology groups as a homomorphism reducing degree by one, :\beta\colon H_i(C, R) \to H_(C,P). To be more precise, ''C'' should be a complex of free, or at least torsion-free, abelian groups, and the homology is of the complexes formed by tensor product with ''C'' (some flat module condition should enter). The construction of β is by the usual argument (snake lemma). A similar construction applies to cohomology groups, this time increasing degree by one. Thus we have :\beta\colon H^i(C, R) \to H^(C,P). The Bockstein homomorphism \beta associated to the coefficient sequence :0 \to \Z/p\Z\to \Z/p^2\Z\to \Z/p\Z\to 0 is used as one of the generators of the Steenrod algebra. This Bockstein homomorphism has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Zig-zag Lemma
In mathematics, particularly homological algebra, the zig-zag lemma asserts the existence of a particular long exact sequence in the homology groups of certain chain complexes. The result is valid in every abelian category. Statement In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), let (\mathcal,\partial_), (\mathcal,\partial_') and (\mathcal,\partial_'') be chain complexes that fit into the following short exact sequence: : 0 \longrightarrow \mathcal \mathrel \mathcal \mathrel \mathcal\longrightarrow 0 Such a sequence is shorthand for the following commutative diagram: commutative diagram representation of a short exact sequence of chain complexes where the rows are exact sequences and each column is a chain complex. The zig-zag lemma asserts that there is a collection of boundary maps : \delta_n : H_n(\mathcal) \longrightarrow H_(\mathcal), that makes the following sequence exact: long exact sequ ... [...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, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bockstein Spectral Sequence
In mathematics, the Bockstein spectral sequence is a spectral sequence relating the homology with mod ''p'' coefficients and the homology reduced mod ''p''. It is named after Meyer Bockstein. Definition Let ''C'' be a chain complex of torsion-free abelian groups and ''p'' a prime number. Then we have the exact sequence: :0 \longrightarrow C \overset\longrightarrow C \overset \longrightarrow C \otimes \Z/p \longrightarrow 0. Taking integral homology ''H'', we get the exact couple of "doubly graded" abelian groups: :H_*(C) \overset \longrightarrow H_*(C) \overset \longrightarrow H_*(C \otimes \Z/p) \overset \longrightarrow. where the grading goes: H_*(C)_ = H_(C) and the same for H_*(C \otimes \Z/p),\deg i = (1, -1), \deg j = (0, 0), \deg k = (-1, 0). This gives the first page of the spectral sequence: we take E_^1 = H_(C \otimes \Z/p) with the differential ^1 d = j \circ k. The derived couple of the above exact couple then gives the second page and so forth. Explicit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steenrod Algebra
In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod p cohomology. For a given prime number p, the Steenrod algebra A_p is the graded Hopf algebra over the field \mathbb_p of order p, consisting of all stable cohomology operations for mod p cohomology. It is generated by the Steenrod squares introduced by for p=2, and by the Steenrod reduced pth powers introduced in and the Bockstein homomorphism for p>2. The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory. Cohomology operations A cohomology operation is a natural transformation between cohomology functors. For example, if we take cohomology with coefficients in a ring R, the cup product squaring operation yields a family of cohomology operations: :H^n(X;R) \to H^(X;R) :x \mapsto x \smile x. Cohomology operations need not be homomorphisms of graded rings; see the Cartan formula below. Thes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomology Group
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flat Module
In algebra, a flat module over a ring ''R'' is an ''R''-module ''M'' such that taking the 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''. See also flat morphism. Definition A module over a ring is ''flat'' if the following condition is satisfied: for every injective linear map \varphi: K \to L of -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 the inclusions of finitely generated ideals into . Equivalently, an -module is flat if the tensor product with is an exact functor; that is if, for every short exact sequence of - ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connecting Homomorphism
The snake lemma is a tool used in mathematics, particularly homological algebra, to construct long exact sequences. The snake lemma is valid in every abelian category and is a crucial tool in homological algebra and its applications, for instance in algebraic topology. Homomorphisms constructed with its help are generally called ''connecting homomorphisms''. Statement In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), consider a commutative diagram: : where the rows are exact sequences and 0 is the zero object. Then there is an exact sequence relating the kernels and cokernels of ''a'', ''b'', and ''c'': :\ker a ~~ \ker b ~~ \ker c ~\overset~ \operatornamea ~~ \operatornameb ~~ \operatornamec where ''d'' is a homomorphism, known as the ''connecting homomorphism''. Furthermore, if the morphism ''f'' is a monomorphism, then so is the morphism \ker a ~~ \ker b, and if ''g is an epimorphism, then so is \operatorna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Torsion-free Abelian Group
In mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order. While finitely generated abelian groups are completely classified, not much is known about infinitely generated abelian groups, even in the torsion-free countable case. Definitions An abelian group \langle G, + ,0\rangle is said to be torsion-free if no element other than the identity e is of finite order. Explicitly, for any n > 0, the only element x \in G for which nx = 0 is x = 0. A natural example of a torsion-free group is \langle \mathbb Z,+,0\rangle , as only the integer 0 can be added to itself finitely many times to reach 0. More generally, the free abelian group \mathbb Z^r is torsion-free for any r \in \mathbb N. An important step in the proof of the classification of finitely generated abelia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
