Left-regular group action

From Groupprops

Definition

Let be a group. The left-regular group action of on itself is the action defined by left multiplication. In other words, we define:

.