• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2005.tde-20210729-144244
Document
Auteur
Nom complet
Alexey Antônio Villas Bôas
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2005
Directeur
Titre en portugais
Aspectos algébricos e computacionais da teoria de bases de Gröbner não comutativas.
Mots-clés en portugais
Álgebra Computacional
Resumé en portugais
A Teoria de Bases de Gröbner foi introduzida no contexto do anel de polinômios comutativo por Bruno Buchberger em sua tese de doutorado em 1965. Essa teoria encontra suas primeiras aplicações na área de Geometria Algébrica e possui um papel central em Álgebra Computacional. Grande parte de sua importância se deve ao fato de ela fornecer uma solução algorítmica para o problema da pertinência em ideais do anel de polinômios comutativo. Os dois principais algoritmos presentes na teoria são o Algoritmo da Divisão e o Algoritmo de Buchberger. Alguns anos mais tarde, essa teoria foi generalizada por Mora para o caso não comutativo (mais precisamente para as álgebras livres) e posteriormente para contextos mais gerais, tais quais as álgebras de caminhos. Em particular, Mora apresentou uma generalização do Algoritmo de Buchberger, que é conhecida na literatura como Procedimento de Mora. Este trabalho tem o intuito de apresentar uma introdução à Teoria de Bases de Gröbner não comutativas. Apresentamos de forma bastante breve uma motivação para o estudo dessa teoria e um panorama dela para o caso comutativo. Em seguida, fornecemos as bases da teoria, suas principais definições e resultados mais fundamentais em um contexto mais amplo que o das álgebras livres. Um importante resultado devido a Farkas, Feustel e Green mostra que toda álgebra para a qual se pode desenvolver uma teoria de Bases de Gröbner não comutativas é isomorfa a um quociente de álgebra de caminhos. Incluímos esse resultado, acompanhado de uma demonstração detalhada. Outro resultado central afirma que um subconjunto G de uma álgebra de caminhos é uma Base de Gröbner se e somente se todas as relações de sobreposição e de divisão envolvendo seus elementos se reduzem para zero sobre G (por meio do Algoritmo da Divisão). Em outras palavras, esse resultado fornece um teste algorítmico para decidir quando o conjunto gerador (finito) de um ideal é uma... ...Base de Gröbner. Esse teorema foi demonstrado primeiramente por Buchberger para o caso comutativo, em seguida por Mora para as álgebras livres e posteriormente por Green para as álgebras de caminhos. Apresentamos aqui uma demonstração para esse resultado (em sua versão para as álgebras de caminhos) alternativa à dada por Green. A prova aqui vista é uma generalização do argumento de Mora para as álgebras de caminhos. O trabalho traz também discussões detalhadas da versão não comutativa do Algforitmo da Divisão e do Procedimento de Mora. Em particular, apresentamos duas versões bastante presentes na lioteratura para o último, todas acompanhadas de suas provas de correção. Discutimos ainda algumas das principais questões de computabilidade relacionadas com a Teoria de Bases de Gröbner não comutativas e outros resultados simples, mas não presentes na literatura. Finalmente, apresentamos uma introdução ao conceito de Base de Gröbner Regular criado por Mansson e Nordbeck. Discutiremos a importância dessas bases e apresentamos para elas uma definição alternativa àquela dada por seus criadores. Nossa definição faz uso do conceito bem estudado de relação racional e, em certo sentido, parece ser mais natural que a definição original.
Titre en anglais
not available
Resumé en anglais
not available
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2021-07-29
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.