Dear GAP-forum,

let G be the subgroup of SO(4) generated by exp(t K), t in R and B = diag(1,1,-1,-1).

K is the matrix

[0, -1, -1, 3]
[1, 0, -1, -3]
[1, 1, 0, 3]
[-3, 3, -3, 0].

Is it possible to study continuos group like this with GAP?

Here is my problem. Maybe someone can provide help (with or without GAP).

Let "a" be a real number and consider the point P=(cos(a), sin(a), 0, 0).

I think that, if "a" is not a multiple of pi/2, then the isotropy subgroup of P is {Id, B}.

Is it true?

Thanks Nicola.

PS The isotropy subgroup of P is {g in G s.t. g(P)=P}.