Об отделимости колец Шура над абелевыми $p$-группами

Кольцо Шура ($S$-кольцо) называется отделимым, если каждый его алгебраический изоморфизм индуцируется изоморфизмом. Пусть $C_n$ – циклическая группа порядка $n$. Доказывается, что все $S$-кольца над группами $D=C_p\times C_{p^k}$, где $p\in\{2,3\}$ и $k\ge1$, отделимы относительно класса $S$-колец над абелевыми группами. Из этого утверждения выводится, что для графа Кэли над $D$ и графа Кэли над произвольной абелевой группой можно проверить, изоморфны ли эти графы за полиномиальное от $|D|$ время.