Magma and finite subgroups of Lie groups over algebraic number fields Don Taylor University of Sydney