Algebraic topology is a branch of mathematics in which tools from abstract algebra are used to study topological spaces.