summaryrefslogtreecommitdiffstats
path: root/README.md
blob: b4523ecc56ef9ebbf2c9569f788af98eb78f42fe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
# The GAP package subgroupladders

This package provides an algorithm that computes a subgroup ladder from a permutation group up to the parent symmetric group.
The algorithm was described by Bernd Schmalz in [1, Theorem 3.1.1].

Solutions of some problems in group theory can relatively easy be transferred to a sub- or supergroup if the index is small.
Let G be a permutation group on the set {1,…,n}.
So one might try to find a series of subgroups G = H₀,…,Hₖ = Sₙ of the symmetric group Sₙsuch that Hᵢ₋₁ is a subgroup of Hᵢ for every i and transfer the solution of a problem for the symmetric group step by step to G.

Sometimes it is not possible to find such a series with small indices between consecutive subgroups.
This is where subgroup ladders may make sense:
A subgroup ladder is series of subgroups G = H₀,…,Hₖ = Sₙ of the symmetric group such that for every 1≤i≤k, Hᵢ is a subgroup of Hᵢ₋₁ or Hᵢ₋₁ is a subgroup of Hᵢ.
So we sometimes go up to a larger group in order to keep the indices small.

If G is a Young subgroup of S_n, the algorithm in this repository can find a subgroup ladder of G such that the indices are at most the degree of the permutation group.
A subgroup ladder may look like this:

```text
 H_8 = S_n
     |
     |
     |
    H_7
     |      H_5
     |      /|
     |    /  |
     |  /    |
    H_6      |
            H_4
             |        H_2
             |      /  |
             |    /    |
             |  /      |
            H_3        |
                       |
                      H_1
                       |
                       |
                       |
                    H_0 = G
```


TODO: add a description of your package; perhaps also instructions how how to
install and use it, resp. where to find out more

## Documentation

The documentation of this package is available as [HTML](https://hrnz.li/subgroupladders) and as a [PDF](https://hrnz.li/subgroupladders/manual.pdf).

## Contact

You can report issues on GitHub at <https://github.com/ehwat/subgroup-ladders>.


## License

subgroupladders is free software you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free Software
Foundation; either version 3 of the License, or (at your option) any later
version. For details, see the file LICENSE distributed as part of this package
or see the FSF's own site.

## References

[1] B. Schmalz. Verwendung von Untergruppenleitern zur Bestimmung von Doppelnebenklassen. Bayreuther Mathematische Schriften, 31, S.109--143, 1990.