Arithmetic Fundamental Groups and Noncommutative Algebra