A reflection subgroup of a Coxeter group is a subgroup which is generated by a set of reflections. The most important class of reflection subgroups are the standard parabolic subgroups, which are generated by a subset of the simple roots. Note that in a reflection subgroup, the elements are given as permutations of the roots of the larger group.
The reflection subgroup of the Coxeter group W generated by the roots alpha_(a_1), ..., alpha_(a_k) where a={a_1, ..., a_k} is a set of integers.
The reflection subgroup of the Coxeter group W generated by simple roots alpha_(s_1), ..., alpha_(s_k) where s=[s_1, ..., s_k] is a sequence of integers. In this version the roots must be simple in the root subdatum (ie. none of them may be a summand of another) otherwise an error is signalled. The simple roots will appear in the reflection subgroup in the given order.
The standard parabolic subgroup of the Coxeter group W generated by the simple roots alpha_(a_1), ..., alpha_(a_k) where a={a_1, ..., a_k}subseteq{1, ..., Rank(W)}.
True if H is a reflection subgroup of the Coxeter group W.
True if H is a standard parabolic subgroup of the Coxeter group W.
The overgroup of H, ie. the Coxeter group whose roots are permuted by the elements of the Coxeter subgroup H.
The root datum whose roots are permuted by the elements of the Coxeter subgroup H.
Given a Coxeter subgroup H this returns the Coxeter group L isomorphic to H but acting on the roots of H itself rather than the roots of its overgroup, together with the isomorphism L to H.
> W := CoxeterGroup( "A4" );
> P := StandardParabolicSubgroup( W, {1,2} );
> Overgroup( P ) eq W;
true
> L, h := LocalCoxeterGroup( P );
> hinv := Inverse( h );
> L.1;
(1, 4)(2, 3)(5, 6)
> h(L.1);
(1, 11)(2, 5)(6, 8)(9, 10)(12, 15)(16, 18)(19, 20)
> hinv(h(L.1));
(1, 4)(2, 3)(5, 6)
The indexed set of (right) coset representatives of the reflection subgroup H of the Coxeter group W. This contains the unique element of shortest length in each coset.
The representative of the coset Hx in the Coxeter group W. This is the unique element of Hx of shortest length in W and also the unique element of Hx which sends every positive root of H to another positive root.
> W := CoxeterGroup( "A4" );
> P := StandardParabolicSubgroup( W, {1,2} );
> x := W.1 * W.2 * W.3;
> x := TransversalElt( W, P, x );
> x eq W.3;
true
> x in Transversal( W, P );
true