Let groups act on sets and use orbits, stabilizers, fixed points, and faithful actions to connect abstract groups with concrete transformations. Prove and apply the orbit-stabilizer theorem.