In the current implementation only certain reductive groups are supported. In particular, the component group is assumed to give rise to a split extension, and if G simeq G1 x ... x Gn is a product of almost-simple groups, the only inner forms G1, ... Gn that are supported are either orthogonal or hermitian, over a number field.
In future releases it will be possible to create more reductive groups.
InnerForms: [ AlgMatElt ] Default: []
Creates the reductive group with connected component of the identity G0 and component group Comp, such that the extension is split. InnerForms is a list of inner forms, listing for each non-toroidal factor the inner form over the base field.
Creates the reductive group described by group_data, where group_data is formed as a list of pairs, each pair consisting of a field name and field value. The fields are "INNER_FORMS", "ROOT_DATUM", "BASE_FIELD" and "COMP_GROUP".The value of the field "BASE_FIELD" should be of type Fld and consist of the field of definition of G. The value of the field "ROOT_DATUM" should be a list of 4 pairs, consisting of a field name and field value, where the field names are "SIMPLE_ROOTS", "SIMPLE_COROOTS", "SIGNS" and "TYPES", and their values should be the same as in the constructor for RootDatum, two matrices representing the simple roots and coroots, signs for each extraspecial pair, and Cartan type.
The symplectic group Sp(V) associated to the symplectic space V, the standard symplectic form on Fn (where n must be even), or the alternating form Q.
The orthogonal group OO(V) associated to the quadratic space V, the standard split quadratic form on Fn, or the symmetric form Q.
The special orthogonal group SO(V) associated to the quadratic space V, the standard split quadratic form on Fn, or the symmetric form Q.
The unitary group U(V) associated to the hermitian space V, the standard hermitian form on Fn, or the hermitian form Q.