Gretchen Ostheimer

Learn More
a r t i c l e i n f o a b s t r a c t MSC: 20F65 68Q15 Keywords: Logspace algorithm Logspace normal form Logspace embeddable Wreath product Baumslag–Solitar group Logspace word problem We consider the class of finitely generated groups which have a normal form computable in logspace. We prove that the class of such groups is closed under passing to finite(More)
We describe a new algorithm for nding matrix representations for polycyclic groups given by nite presentations. In contrast to previous algorithms, our algorithm is eecient enough to construct representations for some interesting examples. The examples which we studied included a collection of free nilpotent groups, and our results here led us to a(More)
  • 1