定義
G を群とする。
X を G-集合（過去スレpart5の77）とする。
f：G → Sym(X) を G-集合 X に付随する置換表現（>>271）とする。
f が自明（>>351）なとき X は自明な G-集合という。
また、G は X に自明に作用するという。