请输入您要查询的字词:

 

单词 ExampleOfSchreiersLemma
释义

example of Schreier’s Lemma


Let G be a permutation groupMathworldPlanetmath, that is, a subgroupMathworldPlanetmathPlanetmath of the symmetric groupMathworldPlanetmathPlanetmath Sym(Ω) on the set Ω. Fix ωΩ. Then

Gω={gG:ωg=ω}

is a subgroup of G, and furthermore, the orbit ωG canonically parameterizes a transversalPlanetmathPlanetmath of G/Gω. That is, to every coset Gωg there corresponds precisely one image ωg and visa-versa. This leads to one of the most significant applications of Schreier’s lemma.

Example.Let G=s1=(1,2,3,4),s2=(1,3), which is a copy of D8 actings the symmetriesMathworldPlanetmathPlanetmathPlanetmath of the four corners of a square. If we let ω=1 then we know that the stabilizerMathworldPlanetmath G1 has index 4 in G and is therefore of order 2.

Geometrically it is not too difficult to understand that the stabilizer G1 is the subgroup (2,4); however, computers are not generally geometrically inclined, and so we use Schreier’s lemma to conclude the same in a completely computational method.

The orbit of 1 is {1,2,3,4} but in order to make use of Schreier’s lemma we encode the orbit together with a representative of G which transports 1 to the corresponding orbit element. For example:

1G={1=11,2=1s1,3=2s1,4=3s1}.

This translates to the following simple transversal

T={1,s1,s12,s13}.

Notice that we have used the generatorsPlanetmathPlanetmathPlanetmath of G to create the orbit so that the transversal is created as words over the generators of G as given. (This process is not unique in general, but always possible.)

So we now have the ingrediants of Schreier’s lemma so we use them to create a generating set for H=G1. Here U is the set:

U={1s1(1s1¯)-1,1s2(1s2¯)-1,s1s1(s1s1¯)-1,s1s2(s1s2¯)-1,s12s1(s12s1¯)-1,s12s2(s12s2¯)-1,s13s1(s13s1¯)-1,s13s2(s13s2¯)-1}.

We need to perform several multiplicationPlanetmathPlanetmath to reduce this set of generators, forinstance, 1s13s2=4s2=4 so s13s2¯=s13 while1s12s2=3s2=1 so s12s2¯=1. Proceeding like thiswe find

U={1,s2s12,1,s1s2s1-1,1,s12s2,1,s13s2s1}={1,s2s12,s1s2s1-1,s12s2,s13s2s1}.

Remembering these words are permutationsMathworldPlanetmath we further find the set reduces to

U={(),(2,4)}.

Finally, we must intersect U with G1. At first glance this feels impossible as we do not yet know G1; however, we do know that gG1 if and only if 1g=1. So we test this for each element of U and find thatindeed each element in this case lies in G1. Therefore by Schreier’s lemma,

G1=(),(2,4).

This agrees with our graphical intuition.

Of course the value of Schreier’s lemma is for sets Ω of hundreds and thousands of points, well beyond human intuition in most cases. Recursive applications of the result allow one to build a set of generators for an entire stabilizer sequenceMathworldPlanetmath and thus reveal the order of a permutation group – without having to list all the elements which is an impossibly large task.

A naive recursion is not generally sufficient as the number of generators returned at each level grows multiplicatively. However, applying some suitible filters and organizing the process (the main insight of Sims) leads to a polynomial timeMathworldPlanetmath algorithmMathworldPlanetmath for establishing generators of a stabilizer chain.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 9:32:18