|
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 h ... [...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 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 "tangible ... [...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 (algebra), 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: image:complex_ses_diagram.png, 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 t ... [...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] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Comptes Rendus De L'Académie Des Sciences
(, ''Proceedings of the Academy of Sciences''), or simply ''Comptes rendus'', is a French scientific journal published since 1835. It is the proceedings of the French Academy of Sciences. It is currently split into seven sections, published on behalf of the Academy until 2020 by Elsevier: ''Mathématique, Mécanique, Physique, Géoscience, Palévol, Chimie, ''and'' Biologies.'' As of 2020, the ''Comptes Rendus'' journals are published by the Academy with a diamond open access model. Naming history The journal has had several name changes and splits over the years. 1835–1965 ''Comptes rendus'' was initially established in 1835 as ''Comptes rendus hebdomadaires des séances de l'Académie des Sciences''. It began as an alternative publication pathway for more prompt publication than the ''Mémoires de l'Académie des Sciences,'' which had been published since 1666. The ''Mémoires,'' which continued to be published alongside the ''Comptes rendus'' throughout the ninetee ... [...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. Explic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steenrod Algebra
Norman Earl Steenrod (April 22, 1910October 14, 1971) was an American mathematician most widely known for his contributions to the field of algebraic topology. Life He was born in Dayton, Ohio, and educated at Miami University and University of Michigan (A.B. 1932). After receiving a master's degree from Harvard University in 1934, he enrolled at Princeton University. He completed his Ph.D. under the direction of Solomon Lefschetz, with a thesis titled ''Universal homology groups''. Steenrod held positions at the University of Chicago from 1939 to 1942, and the University of Michigan from 1942 to 1947. He moved to Princeton University in 1947, and remained on the Faculty there for the rest of his career. He was editor of the Annals of Mathematics and a member of the National Academy of Sciences. He died in Princeton, survived by his wife, the former Carolyn Witter, and two children. Work Thanks to Lefschetz and others, the cup product structure of cohomology In mathematics ... [...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 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 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 with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flat Module
In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion-free modules. Formally, a module (mathematics), module ''M'' over a ring (mathematics), ring ''R'' is ''flat'' if taking the tensor product of modules, 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''. Definition A left module over a ring is ''flat'' if the following condition is satisfied: for every injective module homomorphism, linear map \varphi: K \to L of right -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 ... [...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 \operator ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes W denoted . An element of the form v \otimes w is called the tensor product of v and w. 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 V and W, a basis of V \otimes W is formed by all tensor products of a basis element of V and a basis element of W. 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 Z factors uniquely through a linear map V\otimes W\to Z (see the section below ... [...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 abe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
