Mathematics, University of Otago, New Zealand

gliddell@maths.otago.ac.nz

http://www.maths.otago.ac.nz/staff/gliddell.html

Simplification of expressions in tensor algebras, as in general relativity for example, can be reduced to a problem in finite group theory. Recently Jason Harris (PhD 2000) introduced special "JRDES" generating sets to solve this problem efficiently. This paper will examine the assumptions made by the algorithm and present results on the group actions involved.