SEPARABILITY OF SCHUR RINGS OVER ABELIAN p-GROUPS

A Schur ring (an S-ring) is said to be separable if each of its algebraic isomorphisms is induced by an isomorphism. Let C (n) be the cyclic group of order n. It is proved that all S-rings over groups , where p a {2, 3} and k ae<yen> 1, are separable with respect to a class of S-rings over Abelian groups. From this statement, we deduce that a given Cayley graph over D and a given Cayley graph over an arbitrary Abelian group can be checked for isomorphism in polynomial time with respect to vertical bar D vertical bar.