Discover published sets by community

Cohomology is a way of assigning algebraic invariants to topological spaces, similar to homology but with cochains, cocycles, and coboundaries.

The image of a homomorphism is the set of all elements that can be obtained as outputs from the homomorphism, reflecting the 'range' of the homomorphism.

A theorem in homological algebra that provides a method to derive a long exact sequence from a commutative diagram of short exact sequences.

A chain complex is a sequence of abelian groups connected by homomorphisms that compose to give zero, used to define homology groups.

A short exact sequence consists of five terms, starting and ending with the trivial group, illustrating a relationship between a subgroup and a quotient group.

In the context of a homomorphism, the kernel is the set of elements that map to the zero element in the codomain, reflecting the 'roots' of the homomorphism.

A result in homological algebra stating that, under certain conditions, if four of five terms in two related short exact sequences are isomorphisms, then so is the fifth term.

A sequence of abelian groups and homomorphisms where the image of one homomorphism is exactly the kernel of the next.

Homology describes the algebraic study of the structure of topological spaces through homology groups, which are derived from the chains, cycles, and boundaries within the space.