a number of quantum circuit decompositions and factorization algorithms have been published in the past few years, the most successful of which have all exploited the structure of the lie algebra of the special unitary group. the work presented here extends upon the best known universal quantum circuit by making explicit the basis of the circuit's design in the cartan decomposition and providing an explicit factoring algorithm which exploits this lie algebraic structure.