Return to search

Computação em grupos de permutação finitos com GAP / Computation in finite permutation groups with GAP

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2018-03-14T17:24:36Z
No. of bitstreams: 2
Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-15T11:07:28Z (GMT) No. of bitstreams: 2
Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-15T11:07:28Z (GMT). No. of bitstreams: 2
Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2018-03-05 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / 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. / O Teorema de Cayley nos permite representar um grupo finito como grupo de
permutações de um conjunto finito de pontos. De forma geral, uma ação de um grupo
finito G em um conjunto finito Ω, é descrita como uma aplicação do grupo G no grupo
simétrico Sym(Ω). Neste trabalho vamos descrever alguns algoritmos para grupos
de permutação e implementa-los no sistema GAP. Começamos descrevendo uma
maneira de representar grupos em computadores, calculamos órbitas, estabilizadores
na forma básica e por meio de vetores de Schreier. Posteriormente fazemos algoritmos
para trabalhar com grupos transitivos e primitivos, chegando assim ao conceito de,
base e conjunto gerador forte (BSGS) para grupos de permutação finitos com o
algoritmo SCHREIER-SIMS. No final trabalhamos com homomorfismos de grupos
e encontramos os elementos de um grupo mediante pesquisas backtrack.

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.bc.ufg.br:tede/8220
Date05 March 2018
CreatorsRomero, Angie Tatiana Suárez
ContributorsOliveira, Ricardo Nunes de, Oliveira, Ricardo Nunes de, Chaves, Ana Paula de Araújo, Bastos Junior, Raimundo de Araújo
PublisherUniversidade Federal de Goiás, Programa de Pós-graduação em Matemática (IME), UFG, Brasil, Instituto de Matemática e Estatística - IME (RG)
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da UFG, instname:Universidade Federal de Goiás, instacron:UFG
Rightshttp://creativecommons.org/licenses/by-nc-nd/4.0/, info:eu-repo/semantics/openAccess
Relation6600717948137941247, 600, 600, 600, 600, -4268777512335152015, -6383368357733941552, -2555911436985713659

Page generated in 0.0027 seconds