Base de Gröbner

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Em álgebra computacional, geometria algébrica computacional e em álgebra comutativa computacional, uma Base Gröbner é um tipo particular de subconjunto gerador de um ideal I em um anel de polinômios R. Ela pode ser entendida como uma generalização não linear, para várias variáveis:

A teoria das bases de Gröbner para anéis de polinômios foi desenvolvida por Bruno Buchberger em 1965, e foi assim denominada em homenagem ao seu orientador Wolfgang Gröbner. A Associação para Maquinaria da Computação concedeu-lhe em 2007 o prêmio Paris Kanellakis pelo seu trabalho. Um conceito análogo para anéis locais foi desenvolvido independentemente por Heisuke Hironaka em 1964, recebendo o nome de base padrão. A teoria análoga para álgebras de Lie livres foi desenvolvida por A. I. Shirshov em 1962, mas seu trabalho ainda é pouco conhecido fora da União Soviética.

Notas e referências

Referências[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.