Bases de Gröbner

Neste trabalho, estudamos a Teoria das Bases de Gröbner para álgebras não comutativas. Além disso, vimos que uma K-álgebra com unidade, que possui a teoria das bases de Gröbner, é isomorfa a um quociente de Álgebra de Caminhos. Definimos a álgebra estendida por laços, que é uma generalização para o...

ver descrição completa

Detalhes bibliográficos
Autor: Oliveira, Peterson Pereira de
Formato: tesis de maestría
Estado:Versión publicada
Fecha de publicación:2002
País:Brasil
Recursos:Universidade de São Paulo (USP)
Repositorio:Biblioteca Digital de Teses e Dissertações da USP
Idioma:portugués
OAI Identifier:oai:teses.usp.br:tde-20210729-131059
Acesso em linha:https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-131059/
Access Level:acceso abierto
Palavra-chave:Álgebra
Descrição
Resumo:Neste trabalho, estudamos a Teoria das Bases de Gröbner para álgebras não comutativas. Além disso, vimos que uma K-álgebra com unidade, que possui a teoria das bases de Gröbner, é isomorfa a um quociente de Álgebra de Caminhos. Definimos a álgebra estendida por laços, que é uma generalização para o caso não comutativo do processo de homogeneização. Expomos aqui o resultado principal: Seja F um subconjunto de uma álgebra de caminhos /\ e seja G que contém /\ homogêneo, onde /\¦ é a álgebra /\ estendida por laços. Se G é uma base de Gröbner para <F POT.*>, então G* é uma base de Gröbner para