1a4ae804eccd8b3a.tex
1: \begin{abstract}
2: We consider the class of finitely generated groups which have a normal form computable in {\em logspace}.
3: We prove that the class of such groups
4:  is closed
5: under passing to finite index
6: subgroups, direct products, wreath products, and certain free products and infinite extensions, and includes the
7: solvable Baumslag-Solitar groups,
8: as well as  non-residually finite (and hence non-linear) examples.
9: We define a group to be {\em logspace
10:   embeddable} if it embeds in a group with normal forms computable in
11: logspace. We prove that  finitely generated nilpotent groups are logspace embeddable.
12: It follows that all groups of polynomial growth are logspace embeddable.
13: \end{abstract}