Girogrupos e Espaços Girovetoriais

Resumo

Para um grupo arbitrário G e um subgrupo normal H em G, o espaco G sobre H herda a estrutura do grupo G. Já o caso em que H não é normal em G, G sobre H não herda a estrutura de grupo de G. Nesse trabalho, quando H não é normal em G, vamos introduzir uma estrutura de girogrupo em G sobre H, já que a maioria das propriedades características dos girogrupos são propriedades de laços homogêneos com a propriedade inversa do automorfismo.