algebraic fundamental groups