Detalhes bibliográficos
| Ano de defesa: |
2002 |
| Autor(a) principal: |
Oliveira, Peterson Pereira de |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-131059/
|
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 |
