Groups
Category
Betti numbers count independent k-dimensional holes: β₀ counts connected components, β₁ counts independent loops/tunnels, and β₂ counts voids.
Gaussian elimination over GF(2) is ordinary Gaussian elimination where addition and subtraction are XOR and multiplication is AND.