Abel群上素数度Cayley图的同构因子分解

定义1 设G是一个有限群,S G\{1}且S^(-1)={s^(-1)|s∈G}=S,在G上的以S为特征集的Cayley图,记为Γ(S;G),定义为V(Γ(S;G))=G,E(Γ(S;G))={(g,sg)|g∈G,s∈S}。如果S生成G,则Γ(S;G)连通;否则它由[G:<S>]个分支组成。