Lower Bounds for Non-Commutative Computation (Extended Abstract)