Dummit+and+foote+solutions+chapter+4+overleaf+full ^new^ 〈2026〉

\newtheoremexerciseExercise[section] \newtheoremsolutionSolution[exercise]

\beginexercise [Problem 4.1.2: The natural action of $S_n$ on $1,\dots,n$] \endexercise \beginsolution ... (etc.) \endsolution Overleaf supports TikZ. For counting colorings of a cube (Problem 4.3.12), include: dummit+and+foote+solutions+chapter+4+overleaf+full

Chapter 4 of Dummit and Foote is a pivotal turning point. Entitled "Group Actions," this chapter bridges the gap between the abstract definition of a group and the concrete, geometric, and combinatorial ways groups actually appear in nature. Understanding group actions is non-negotiable for Sylow theory (Chapter 5), Galois theory (Chapter 13-14), and representation theory. Entitled "Group Actions," this chapter bridges the gap

\maketitle \tableofcontents

\beginsolution A group action is a map $G \times X \to X$, denoted $(g,x) \mapsto g \cdot x$, satisfying: \beginenumerate \item $e \cdot x = x$ for all $x \in X$, \item $(g_1 g_2) \cdot x = g_1 \cdot (g_2 \cdot x)$ for all $g_1,g_2 \in G$ and $x \in X$. For each $g \in G$, define $\varphi(g): X \to X$ by $\varphi(g)(x) = g \cdot x$. Condition (i) gives $\varphi(e) = id_X$. Condition (ii) gives $\varphi(g_1 g_2) = \varphi(g_1) \circ \varphi(g_2)$. Hence $\varphi$ is a homomorphism from $G$ to $\operatornameSym(X) = S_X$. \qed \endsolution For each $g \in G$, define $\varphi(g): X