This section introduces group theory as an essential tool in enumeration, particularly when counting arrangements of objects that may be symmetrical. It discusses the concept of counting arrangements as equivalent if one can be transformed into the other through symmetry, such as rotating a bracelet with colored beads. The text assumes familiarity with basic group definitions and their applications. Key definitions include: a subgroup (a subset of a group that is itself a group), the order of a group (the number of elements in the group), a normal subgroup (a subgroup that is invariant under conjugation), a homomorphism (a structure-preserving mapping between groups), and the kernel of a homomorphism (a normal subgroup). It also defines cosets, which are subsets formed by multiplying a subgroup by an element of the group. A key theorem, Lagrange's Theorem, states that the order of a subgroup divides the order of the group. This is proven in the text. The section concludes with two exercises: one showing that the intersection of subgroups is a subgroup, and another demonstrating that the order of an element is the smallest positive integer for which the element raised to that power equals the identity.This section introduces group theory as an essential tool in enumeration, particularly when counting arrangements of objects that may be symmetrical. It discusses the concept of counting arrangements as equivalent if one can be transformed into the other through symmetry, such as rotating a bracelet with colored beads. The text assumes familiarity with basic group definitions and their applications. Key definitions include: a subgroup (a subset of a group that is itself a group), the order of a group (the number of elements in the group), a normal subgroup (a subgroup that is invariant under conjugation), a homomorphism (a structure-preserving mapping between groups), and the kernel of a homomorphism (a normal subgroup). It also defines cosets, which are subsets formed by multiplying a subgroup by an element of the group. A key theorem, Lagrange's Theorem, states that the order of a subgroup divides the order of the group. This is proven in the text. The section concludes with two exercises: one showing that the intersection of subgroups is a subgroup, and another demonstrating that the order of an element is the smallest positive integer for which the element raised to that power equals the identity.