[GAP Forum] spin group, finite subgroups

Bartosz Putrycz Bartosz.Putrycz at math.univ.gda.pl
Wed Mar 14 08:38:05 GMT 2007


Dear Forum,

I need to have some way to put/represent in GAP finite subgroups of the
spin group,
given by generators in Clifford algebra,
or given by their image in canonical epimorphism onto SO(n)
For example:
1)
<e_1 e_2, e_2 e_3, e_1 e_3> maped onto C2^2(diagonal +-1) in SO(3)

2)
<1/sqrt{2} (1 - e_3 e_4), 1/sqrt{2} e_1(e_3 - e_4)> -> D8 in SO(4)

Of course I could analyze these groups by myself, first is Q8,
but I have more examples and I want to analyze them automatically by GAP.


Regards,
Bartosz Putrycz.




More information about the Forum mailing list