Let denote the Group of all invertible Maps and let be any Group. A Homomorphism is called an action of on . Therefore, satisfies