Sous-groupe basique

Soit $p$ un nombre premier. Un sous-groupe $B$ d'un $p$-groupe abélien $A$ est $p$-basique si les conditions suivantes sont satisfaites:

1. $B$ est une somme directe de $p$-groupes cycliques;
2. $B$ est un sous-groupe $p$-pur de $A$;
3. le groupe quotient $A/B$ est un $p$-groupe divisible.

Références

• László Fuchs (1970), Infinite abelian groups, Vol. I. Pure and Applied Mathematics, Vol. 36. New York–London: Academic Press Modèle:MR