Faithful group action (source code)

= Faithful group action
{wiki}

= Faithful
{synonym}

A group action is faithful when only the identity acts as the identity on every point.