Faithful automorphism action
= Faithful automorphism action
A family $(f_g)_{g\in G}$ of automorphisms satisfying $f_gf_h=f_{gh}$ defines a group action. It is faithful exactly when distinct indices define distinct automorphisms, equivalently when $G$ embeds in the automorphism group.