Several phenomena in commutative algebra and algebraic geometry can be explained in a conceptual way using homotopy theory. We will give a non-technical introduction to the homotopy theory, which facilitates this study. We will then describe an application, which characterizes some properties of algebraic groups through principal bundles for them and has its origins in the celebrated Serre's question about projective modules.
