This solid volume discusses all the key topics in detail, including classification, orbit structure, representations, universal constructions, and abstract analogues. Open problems are discussed as they arise and many useful exercises are included.