@@How this problem works

@@FP

@@ABELIAN

\ni Pre-images of the elements of infinite order in a canonical
decomposition of the factor group of the containing group by the
subgroup give a virtual complement of the subgroup.

\ni For a general discussion, see
@General_abelian_groups@General_abelian_groups::General discussion@.

@@NILPOTENT

@@FREE

@@AP_FREE

@@AP_FREE_CYCLIC

@@SMALL_CANCELLATION

@@ONE_RELATOR


@@How this problem works

There is no documentation for this problem yet.

