Homological algebra

Homological algebra is the branch of mathematics that studies 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 modules and 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 . 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 invariants of rings, modules, topological spaces, and other 'tangible' mathematical objects. A powerful tool for doing this is provided by spectral sequences. It has played an enormous role in algebraic topology. Its influence has gradually expanded and presently includes commutative algebra, algebraic geometry, algebraic number theory, representation theory, mathematical physics, operator algebras, complex analysis, and the theory of partial differential equations. K-theory is an independent discipline which draws upon methods of homological algebra, as does the noncommutative geometry of Alain Connes. Homological algebra began to be studied in its most basic form in the 1800s as a branch of topology, but it wasn't until the 1940s that it became an independent subject with the study of objects such as the ext functor and the tor functor, among others. Chain complex The notion of chain complex is central in homological algebra. An abstract chain complex is a sequence of abelian groups and group homomorphisms, with the property that the composition of any two consecutive maps is zero: The elements of Cn are called n-chains and the homomorphisms dn are called the boundary maps or differentials.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (4)

Personnes associées (1)

Concepts associés (140)

Cours associés (12)

Séances de cours associées (108)

Homotopic Descent over Monoidal Model Categories

The starting point for this project is the article of Kathryn Hess [11]. In this article, a homotopic version of monadic descent is developed. In the classical setting, one constructs a category D(&#1

EPFL2011

The loop group and the cobar construction

Kathryn Hess Bellwald

We prove that for any 1-reduced simplicial set X, Adams' cobar construction, on the normalised chain complex of X is naturally a strong deformation retract of the normalised chains CGX on the Kan loop

2010

Why H Z-algebra Spectra are Differential Graded Algebras?

Varvara Karpova

In homological algebra, to understand commutative rings R, one studies R-modules, chain complexes of R-modules and their monoids, the differential graded R-algebras. The category of R-modules has a ri

2010

Transformations naturelles en Algèbre

Explore les transformations naturelles de l'algèbre, définissant les functeurs et les isomorphismes.

Propriétés élémentaires des catégories de modèles

Couvre les propriétés élémentaires des catégories de modèles, en mettant laccent sur la dualité entre les fibrations et les cofibrations.

Introduction aux ensembles simpliciaux : Ensembles simpliciaux

Présente la catégorie des ensembles simpliciaux et explore le standard n-simplex comme exemple universel.

Homological algebra

Homologie (mathématiques)

En mathématiques, l'homologie est une manière générale d'associer une séquence d'objets algébriques tels que des groupes abéliens ou des modules à d'autres objets mathématiques tels que des espaces topologiques. Les groupes d'homologie ont été définis à l'origine dans la topologie algébrique. Des constructions similaires sont disponibles dans beaucoup d'autres contextes, tels que l'algèbre abstraite, les groupes, les algèbres de Lie, la théorie de Galois et la géométrie algébrique.

Splitting lemma

In mathematics, and more specifically in homological algebra, the splitting lemma states that in any , the following statements are equivalent for a short exact sequence 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: C ≅ B/ker r ≅ B/q(A) (i.e.

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

The course focuses on mathematical models based on PDEs with random parameters, and presents numerical techniques for forward uncertainty propagation, inverse uncertainty analysis in a Bayesian framew

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous