Geodesic
Determining Subgroups of a Given Finite Index in a Finitely Presented Group
Canadian journal of mathematics, Tome 26 (1974) no. 4, pp. 769-782

Voir la notice de l'article provenant de la source Cambridge University Press

The use of computers to investigate groups has mainly been restricted to finite groups. In this work, a method is given for finding all subgroups of finite index in a given group, which works equally well for finite and for infinite groups. The basic object of study is the finite set of cosets. §2 reviews briefly the representation of a subgroup by permutations of its cosets, introduces the concept of normal coset numbering, due independently to M. Schaps and C. Sims, and describes a version of the Todd-Coxeter algorithm. §3 contains a version due to A. Dietze of a process which was communicated to J. Neubuser by C. Sims, as well as a proof that the process solves the problem stated in the title. A second such process, developed independently by M. Schaps, is described in §4. §5 gives a method for classifying the subgroups by conjugacy, and §6, a suggestion for generalization of the methods to permutation and matrix groups. 
Dietze, Anke; Schaps, Mary. Determining Subgroups of a Given Finite Index in a Finitely Presented Group. Canadian journal of mathematics, Tome 26 (1974) no. 4, pp. 769-782. doi: 10.4153/CJM-1974-072-0
@article{10_4153_CJM_1974_072_0,
     author = {Dietze, Anke and Schaps, Mary},
     title = {Determining {Subgroups} of a {Given} {Finite} {Index} in a {Finitely} {Presented} {Group}},
     journal = {Canadian journal of mathematics},
     pages = {769--782},
     year = {1974},
     volume = {26},
     number = {4},
     doi = {10.4153/CJM-1974-072-0},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-072-0/}
}
TY  - JOUR
AU  - Dietze, Anke
AU  - Schaps, Mary
TI  - Determining Subgroups of a Given Finite Index in a Finitely Presented Group
JO  - Canadian journal of mathematics
PY  - 1974
SP  - 769
EP  - 782
VL  - 26
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-072-0/
DO  - 10.4153/CJM-1974-072-0
ID  - 10_4153_CJM_1974_072_0
ER  - 
%0 Journal Article
%A Dietze, Anke
%A Schaps, Mary
%T Determining Subgroups of a Given Finite Index in a Finitely Presented Group
%J Canadian journal of mathematics
%D 1974
%P 769-782
%V 26
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-072-0/
%R 10.4153/CJM-1974-072-0
%F 10_4153_CJM_1974_072_0

[1] 1. Dietze, A., Drei Vorfahren zur Bestimmung sämtlicher Untergruppen endlich prdsentierbarer Gruppen zu vorgegebenem Index (Diplomarbeit, Kiel, 1970). Google Scholar

[2] 2. Felsch, H., Programmierung der Restklassenabzdhlung eine Gruppe nach Untergruppen, Numer. Math. 3 (1961), 250–256. Google Scholar

[3] 3. Mendelsohn, N. S., An algorithmic solution for a word problem in group theory, Can. J. Math. 16 (1964), 509–516. Correction: Can. J. Math. 17 (1965), 505. Google Scholar

[4] 4. Schaps, M., An algorithm to generate subgroups of finite index in a group given by defining relations (Manuscript, Kiel, 1968). Google Scholar

[5] 5. Sims, C. C., Computational methods in the study of groups, conference on Computational Problems in Abstract Algebra, Oxford, 1967; private communications, Oxford, 1967, and Kiel, 1969. Google Scholar

[6] 6. Todd, J. and Coxeter, H. S. M., A practical method for enumerating cosets of a finite abstract group, Proc. Edinburgh Math. Soc. (1936). Google Scholar

Cité par Sources :