Ask Your Question

Producing subgroups of Weyl groups

asked 2012-01-04 15:42:04 +0100

updated 2015-01-14 11:36:46 +0100

FrédéricC gravatar image

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?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2017-02-26 00:08:32 +0100

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

There is no general answer to be good enough for special choices of $S$. Using the general group methods the following is working:

# W = RootSystem('[A, 4]').weight_lattice().weyl_group    # does not work 

W = RootSystem( [ 'A', 4 ] ).weight_lattice().weyl_group()
some_elements = [ W.random_element() for _ in range( 3 ) ]
G = W.subgroup( some_elements )
G . order()
# G.list()[:10]

We simply want, ask for and get the W.subgroup generated by the specified elements.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2012-01-04 15:42:04 +0100

Seen: 392 times

Last updated: Jan 04 '12