群作用
group action
作用
作用を持つ群
モノイド作用
Gain graph
https://ja.wikipedia.org/wiki/群作用