  This is a survey. The main subject of this survey is the homotopical or
homological nature of certain structures which appear in classical problems
about groups, Lie rings and group rings. It is well known that the
(generalized) dimension subgroups have complicated combinatorial theories. In
this paper we show that, in certain cases, the complexity of these theories is
based on homotopy theory. The derived functors of non-additive functors,
homotopy groups of spheres, group homology etc appear naturally in problems
formulated in purely group-theoretical terms. The variety of structures
appearing in the considered context is very rich. In order to illustrate it, we
present this survey as a trip passing through examples having a similar nature.
