basic algebraic and topological crap