search

gap-packages / ClassicalMaximals

Maximal subgroups of classical groups
Other
0 stars 8 forks source link

Add ConformalOrthogonalPlus #1

Open ssiccha opened 3 years ago

ssiccha commented 3 years ago

The GO in GAP creates the group of invertible matrices which leave the corresponding quadratic form invariant. In the book "The subgroup structure of the finite classical groups" Kleidman and Liebeck GAP's GO is the I(V, F, kappa). We also want generators for Delta(V, F, kappa) which is the group GO (the isometries) together with all similarities. In Magma this is called e.g. the ConformalOrthogonalPlus.

If we have these groups, we could submit them to the gap-system/gap repository, that is move them upstream.

ssiccha commented 2 years ago

I guess there's more conformal groups we don't have the generators for. All of those would be nice to have. I guess that applies to all orthogonal, symplectic and unitary groups.