Mathlib
Atlas
Algebra
Pathway XI
Hom
Representations and homology
Groups acting linearly. Exact sequences that measure kernels and images.
01
Representations
A representation is a homomorphism G → GL(V): each group element becomes a linear map.
4 min
02
Exact sequences
A sequence is exact at B when im(A → B) = ker(B → C). Homology measures the failure.
4 min
03
Chain complexes
A chain complex is a sequence with ∂∘∂ = 0. Homology is the leftover after boundaries.
4 min
Begin this pathway