同余覆盖

同余覆盖，刻画可迁作用的工具。同余覆盖(cover of congruences)刻画可迁作用的工具.设若攀少是可迁作用(G，T)的同余.若不存在(G，T)的满足留攀少攀交的同余少，则称少覆盖}P.若△是一个夕、类，则(G}二)，△)是一个可迁作用，`}}=`}}vx:是(G<v} ， })的一个同余.若L是(G(二)，△/若‘)的惰子群，令