同餘覆蓋，刻畫可遷作用的工具。
基本介紹
- 中文名：同餘覆蓋
- 外文名：cover of congruences
同餘覆蓋(cover of congruences)刻畫可遷作用的工具.設若攀少是可遷作用(G,T)的同餘.若不存在(G,T)的滿足留攀少攀交的同餘少，則稱少覆蓋P.若△是一個夕、類，則(G二)，△是一個可遷作用，`=`vx:是(Gv , )的一個同餘.若L是(G(二)，△/若‘)的惰子群，令
公式
則(Gm )是一個忠實可遷作用，稱為(G,T)在△上的關於(留聲卜)的分量.設(G,T)是有同餘留攀二卜的可遷作用.(G,T)對於(留聲卜)的分量是本原的若且唯若毛戈覆蓋0. (G,T)滿足上述條件的分量稱為本原分量。
