Критерий элементарной эквивалентности групп автоморфизмов абелевых нередуцированных $p$-групп

Рассмотрим абелевы $p$-группы ($p\geq3$) $A_1$ и $A_2$ с ненулевыми делимыми частями. В данной работе доказано, что группы автоморфизмов $\operatorname{Aut}A_1$ и $\operatorname{Aut}A_2$ элементарно эквивалентны тогда и только тогда, когда группы $A_1$ и $A_2$ эквивалентны в логике второго порядка.