A result from my work at the Perimeter Institute

Hey,

I made the following theorem while working at the perimeter
institute. I never published it.

Lemma
Given any lie group L and some finitely presentable group G, if there
is a representation of G in L, and if G is infinite, then G is dense
in some submanifold of L.

Theorem
A one way measure once quantum automaton solves the word problem for a
finitely presentable group G
1) with bounded error if G is finite
2) with unbounded error if G is infinite



Ben

.