Nice subgroup

In algebra, a nice subgroup H of an abelian p-group G is a subgroup such that pα(G/H) = 〈pαG,H〉/H for all ordinals α. Nice subgroups were introduced by. Knice subgroups are a modification of this introduced by.