First I want to make a reform, since I want the {}-brackets for sets:

**: loc{ [compile] { ; immediate**

I have changed this all over.

**: { depth >xst ;**

**: } depth xst> - negate >set ;**

See Mathematics Stack Exchange

The composition of sets of permutations is performed by the word

**pset***( s1 s2 -- s3 )

**: go xst clst ndup >>xst ;**

**: gen. ( s -- s') ndup set. nxst@ pset* ;**

The word

**gen.**multiply the top set on the data stack with the set on the xst stack and leave the result on the data stack without changing the xst stack. Now the conjecture can be tested.
{ 2143 1234 } { 3412 2143 4321 1234 } pnormal . -1 ok

So the smaller set is a normal subgroup of the bigger set, and therefore the quotient is a group:

{ 3412 2143 4321 1234 } { 2143 1234 } ok

pquotient set. {{3412,4321},{2143,1234}} ok

This set is a group under

**pset***and is generated by {3412,4321}:
{ 4321 3412 } go ok

gen. {4321,3412} ok

gen. {2143,1234} ok

gen. {4321,3412} ok

ndrop ok

As always with the set elements in quotient groups they have the same number of elements.

Now take a random set of 4-permutations:

{ 2431 2341 } go ok

gen. {2431,2341} ok

gen. {4132,3142,4312,3412} ok

gen. {1234,1243,3214,4213,1324,1423,3124,4123} ok

gen. {2413,2314,3421,4321,1423,1324,2341,2431,2143,2134,3241,4231, 1243,1234} ok

gen. {4123,3124,4321,3421,2143,2134,4132,3142,4213,3214,4231,3241, 3412,4312,1432,1342,2413,2314,2431,2341} ok

gen. {4231,3241,1234,1243,3214,4213,1432,1342,1324,1423,2134,2143, 2314,2413,4123,3124,4321,3421,4132,3142,4312,3412} ok

gen. {3412,4312,2314,2413,2341,2431,2143,2134,4321,3421,3241,4231, 1342,1432,3142,4132,1234,1243,3214,4213,1324,1423,3124,4123} ok

gen. {4123,3124,3142,4132,3412,4312,1432,1342,3214,4213,2413,2314, 3421,4321,1423,1324,2341,2431,2143,2134,3241,4231,1243,1234} ok

ndrop ok

In this case the series

A, A*A, A*A*A,...

grows until it stagnates in a loop (which is a group), in this case the trivial group generated by

*the set of*the symmetric group of 4-permutations.
## No comments:

## Post a Comment