Group action

Effective group action

A group action is called effective or faithful iff the induced homomorphism is a group monomorphism. #m/def/group Equivalent conditions include

1. for all iff

The terminology refers to the fact that if acts effectively then really does represent some group of symmetries of without redundancy.

#state/tidy | #lang/en | #SemBr