Ask Your Question

markblunk's profile - activity

2019-10-24 23:54:01 +0100 received badge  Popular Question (source)
2012-01-04 15:42:04 +0100 asked a question Producing subgroups of Weyl groups

Let W be a Weyl group, e.g. W = RootSystem('[A, 4]').weight_lattice().weyl_group

Given some elements $S \subset W$, I would like to produce the subgroup generated by $S$. It seems like there are methods in SAGE to do this when W is an abstract group, but I can't see how to do it when $W$ is a Weyl group. Any suggestions?

2011-07-26 07:01:06 +0100 received badge  Nice Question (source)
2011-07-19 17:47:29 +0100 commented answer dual of weyl group

Thanks for your response. Unfortunately the function I described, while it does map generators (i.e. simple reflections) to generators, is not a homomorphism! It acts as an adjoint operator.

2011-07-10 21:01:40 +0100 received badge  Autobiographer
2011-07-10 20:58:36 +0100 received badge  Editor (source)
2011-07-10 14:56:14 +0100 received badge  Student (source)
2011-07-09 18:29:38 +0100 asked a question dual of weyl group

I was wondering if it is possible to, given an element in a Weyl group, produce the corresponding element in the dual Weyl group. As an example, if w in W = RootSystem(['A', 3]).weight_lattice().weyl_group()

Then I would like a function f such that f(w) in RootSystem(['A', 3]).coroot_lattice().weyl_group(), with the obvious duality <w*x,y> = <x,f(w)*(y)>, where x in the weight lattice and y is in the coroot lattice.

thanks