-primär Abelisk grupp (där är ett fast primtal ) är en Abelisk grupp så att ordningen för ett element från är en potens av .
En primär Abelisk grupp kallas elementär om alla dess element som inte är noll har ordning lika med .
Höjden på ett element är det minsta naturliga talet så att . Om en sådan naturlig inte existerar, så har elementet en oändlig -höjd.
där -höjden på element som inte är noll i undergrupper är mindre än ett fast element .
Kulikovs kriterium generaliserar Prufers satser :