pure subgroup
a subgroup S of a group G such that, whenever an element of S has an nth root in G, it necessarily has an nth root in S
basic subgroup
subgroup of an abelian group which is a direct sum of cyclic subgroups and satisfies further technical conditions