A group action is called faithful when its kernel is exactly the singleton set containing only the identity element of , i.e., .
Conditions: The action has a kernel as defined in the video.; denotes the singleton containing the identity element of .
A group action is called faithful when its kernel is exactly the singleton set containing only the identity element of , i.e., .
Conditions: The action has a kernel as defined in the video.; denotes the singleton containing the identity element of .