عمل گروه
action of group
عمل گروهی ضرب از راست
right multiplication group action