This book explores the problem of nonsimply connected homotopy in the first nontrivial cases and presents a systematic rehabilitation of Hilbert's method of syzygies in the context of non-simply connected homotopy theory. The theory developed within this book has potential applications in various branches of algebra, including homological algebra, ring theory and K-theory.