Group actions are a mathematical approach to analysing structures by studying the rearrangements of the elements of the structure that preserve the defining properties of the structure. Indeed, historically, group theory developed primarily as a technique for handling questions concerning the resolution of algebraic equations (the group introduced here by Galois permutes the roots of the equation), and has since become a standard language for formalising and solving various natural questions from a wide range of mathematics.