Computação em grupos de permutação finitos com GAP
Cayley’s theorem allows us to represent a finite group as a permutations group of a finite set of points. In general, an action of a finite group G in a finite set, is described as an application of the group G in the symmetric group Sym(Ω). In this work we will describe some algorithms for permutat...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2018 |
| País: | Brasil |
| Institución: | Universidade Federal de Goiás (UFG) |
| Repositorio: | Repositório Institucional da UFG |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.bc.ufg.br:tede/8220 |
| Acceso en línea: | http://repositorio.bc.ufg.br/tede/handle/tede/8220 |
| Access Level: | acceso abierto |
| Palabra clave: | Teoría de grupos Grupos de permutação finitos Álgebra computacional Theory of groups Finite permutation groups Computational algebra MATEMATICA::ALGEBRA |
| Sumario: | Cayley’s theorem allows us to represent a finite group as a permutations group of a finite set of points. In general, an action of a finite group G in a finite set, is described as an application of the group G in the symmetric group Sym(Ω). In this work we will describe some algorithms for permutation groups and implement them in the GAP system. We begin by describing a way of representing groups in computers, we calculate orbits, stabilizers in the basic form and by means of Schreier’s vectors. Later we make algorithms to work with primitive and transitive groups, thus arriving at the concept of BSGS, base and strong generator set, for permutation groups with the algorithm SCHREIERSIMS. In the end we work with group homomorphisms, we find the elements of a group through backtrack searches. |
|---|