Ideais de anéis de operadores diferenciais
| Ano de defesa: | 2011 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Tese |
| 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: | http://www.teses.usp.br/teses/disponiveis/55/55135/tde-31082011-110130/ |
Resumo: | Em [12] J.T. Stafford demonstrou que todo ideal à esquerda ou à direita da álgebra de Weyl \'A IND. n\' (K) = K \'[ \'x IND. 1\', ...,\'x IND. n\' ] \' partial IND. 1\', ... \'partial IND. n\' (K um corpo de característica zero) é gerado por dois elementos. Consideremos o anel \'D IND. n\' := K [[\'x IND.1\', ...\'x IND. n\']] de operadores diferenciais sobre o anel de séries de potências formais K[[\'x IND. 1\';...\' xI ND. n\']]. Uma pergunta natural é se todo ideal à esquerda ou à direita de\' D IND. n\'(K) pode ser gerado por dois elementos. Neste trabalho provaremos que todo ideal à esquerda ou à direita do anel \'E IND. n\'(K) := K((\'x IND. 1\' ... \'x IND. n\'))(\' partial IND. 1, ...\'partial IND. n\') de operadores diferenciais sobre o corpo das séries de Laurent K((\'x IND. 1\', ...\'x IND. n\')) é gerado por dois elementos. Nós provaremos também que todo ideal à esquerda ou à direita do anel \'S IND. n -1\'(K) := K((\'x IND. 1\', ...\'X ind. n - 1\"))[[\'x IND. n\']](\' partial IND. 1, ...\'partial IND. n\') é gerado por dois elementos e como corolário obtemos uma demonstração que todo ideal à esquerda ou à direita do anel \'D IND. 1\'(K) é gerado por dois elementos. Isto está de acordo com a conjectura que diz que todo ideal à esquerda ou à direita de um anel (não comutativo) Noetheriano simples é gerado por dois elementos |
| id |
USP_a2fa3b8ec5fbfde38775dc2b064d2386 |
|---|---|
| oai_identifier_str |
oai:teses.usp.br:tde-31082011-110130 |
| network_acronym_str |
USP |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
| repository_id_str |
|
| spelling |
Ideais de anéis de operadores diferenciaisIdeals of rings of differential operatorsÁlgebras de WeylAnéis de operadoresIdeaisIdealsPower seriesRings of differential operatorsSéries de pot~enciasStafford theoremTeorema de StaffordWeyl algebrasEm [12] J.T. Stafford demonstrou que todo ideal à esquerda ou à direita da álgebra de Weyl \'A IND. n\' (K) = K \'[ \'x IND. 1\', ...,\'x IND. n\' ] \' partial IND. 1\', ... \'partial IND. n\' (K um corpo de característica zero) é gerado por dois elementos. Consideremos o anel \'D IND. n\' := K [[\'x IND.1\', ...\'x IND. n\']] de operadores diferenciais sobre o anel de séries de potências formais K[[\'x IND. 1\';...\' xI ND. n\']]. Uma pergunta natural é se todo ideal à esquerda ou à direita de\' D IND. n\'(K) pode ser gerado por dois elementos. Neste trabalho provaremos que todo ideal à esquerda ou à direita do anel \'E IND. n\'(K) := K((\'x IND. 1\' ... \'x IND. n\'))(\' partial IND. 1, ...\'partial IND. n\') de operadores diferenciais sobre o corpo das séries de Laurent K((\'x IND. 1\', ...\'x IND. n\')) é gerado por dois elementos. Nós provaremos também que todo ideal à esquerda ou à direita do anel \'S IND. n -1\'(K) := K((\'x IND. 1\', ...\'X ind. n - 1\"))[[\'x IND. n\']](\' partial IND. 1, ...\'partial IND. n\') é gerado por dois elementos e como corolário obtemos uma demonstração que todo ideal à esquerda ou à direita do anel \'D IND. 1\'(K) é gerado por dois elementos. Isto está de acordo com a conjectura que diz que todo ideal à esquerda ou à direita de um anel (não comutativo) Noetheriano simples é gerado por dois elementosIn [12] J.T. Stafford proved that every left or right ideal of the Weyl algebra \'A IND. n\'(K) = K[\'x IND. 1\', ...\'x IND. n\'](\' partial IND. 1, ...\'partial IND. n\')(K a field of characteristic zero) is generated by two elements. Consider the ring \'D IND. n\' := K[[\'x IND. 1\', ...\'x IND.n\']](\'partial IND. 1\", ...\'partial IND. n) of differential operators over the ring of formal power series K[[\'x IND. 1\', ... \'x IND. n\']]: A natural question is that if every left or right ideal of \'D IND. n\'(K) can be generated by two elements. In this work we will prove that every left or right ideal of the ring \'E IND. n\' (K) := K((\'x IND. 1\', ... \'x IND. n\'))(\'partial IND. 1,...\'partial IND. n\') of differential operators over the field of formal Laurent series K((\'x IND. 1\', ...\'x IND. n\'))) is generated by two elements. We will prove also that every left or right ideal of the ring \'S IND. n -1\"(K) := K((\'x IND. 1\', ...\'x IND. n\'-1\'))[[\'x IND. n]](\'paertial IND. 1, ...\'partial IND. n\') is generated by two elements and as a corollary we obtain a proof of that every left or right ideal of the ring \'D IND. 1\'(K) is generated by two elements. This is in accordance with the conjecture that says that in a (noncommutative) Noetherian simple ring, every left or right ideal is generated by two elementsBiblioteca Digitais de Teses e Dissertações da USPLevcovitz, DanielTuesta, Napoleon Caro2011-04-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55135/tde-31082011-110130/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:10:30Zoai:teses.usp.br:tde-31082011-110130Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:10:30Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
| dc.title.none.fl_str_mv |
Ideais de anéis de operadores diferenciais Ideals of rings of differential operators |
| title |
Ideais de anéis de operadores diferenciais |
| spellingShingle |
Ideais de anéis de operadores diferenciais Tuesta, Napoleon Caro Álgebras de Weyl Anéis de operadores Ideais Ideals Power series Rings of differential operators Séries de pot~encias Stafford theorem Teorema de Stafford Weyl algebras |
| title_short |
Ideais de anéis de operadores diferenciais |
| title_full |
Ideais de anéis de operadores diferenciais |
| title_fullStr |
Ideais de anéis de operadores diferenciais |
| title_full_unstemmed |
Ideais de anéis de operadores diferenciais |
| title_sort |
Ideais de anéis de operadores diferenciais |
| author |
Tuesta, Napoleon Caro |
| author_facet |
Tuesta, Napoleon Caro |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Levcovitz, Daniel |
| dc.contributor.author.fl_str_mv |
Tuesta, Napoleon Caro |
| dc.subject.por.fl_str_mv |
Álgebras de Weyl Anéis de operadores Ideais Ideals Power series Rings of differential operators Séries de pot~encias Stafford theorem Teorema de Stafford Weyl algebras |
| topic |
Álgebras de Weyl Anéis de operadores Ideais Ideals Power series Rings of differential operators Séries de pot~encias Stafford theorem Teorema de Stafford Weyl algebras |
| description |
Em [12] J.T. Stafford demonstrou que todo ideal à esquerda ou à direita da álgebra de Weyl \'A IND. n\' (K) = K \'[ \'x IND. 1\', ...,\'x IND. n\' ] \' partial IND. 1\', ... \'partial IND. n\' (K um corpo de característica zero) é gerado por dois elementos. Consideremos o anel \'D IND. n\' := K [[\'x IND.1\', ...\'x IND. n\']] de operadores diferenciais sobre o anel de séries de potências formais K[[\'x IND. 1\';...\' xI ND. n\']]. Uma pergunta natural é se todo ideal à esquerda ou à direita de\' D IND. n\'(K) pode ser gerado por dois elementos. Neste trabalho provaremos que todo ideal à esquerda ou à direita do anel \'E IND. n\'(K) := K((\'x IND. 1\' ... \'x IND. n\'))(\' partial IND. 1, ...\'partial IND. n\') de operadores diferenciais sobre o corpo das séries de Laurent K((\'x IND. 1\', ...\'x IND. n\')) é gerado por dois elementos. Nós provaremos também que todo ideal à esquerda ou à direita do anel \'S IND. n -1\'(K) := K((\'x IND. 1\', ...\'X ind. n - 1\"))[[\'x IND. n\']](\' partial IND. 1, ...\'partial IND. n\') é gerado por dois elementos e como corolário obtemos uma demonstração que todo ideal à esquerda ou à direita do anel \'D IND. 1\'(K) é gerado por dois elementos. Isto está de acordo com a conjectura que diz que todo ideal à esquerda ou à direita de um anel (não comutativo) Noetheriano simples é gerado por dois elementos |
| publishDate |
2011 |
| dc.date.none.fl_str_mv |
2011-04-07 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
| format |
doctoralThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/55/55135/tde-31082011-110130/ |
| url |
http://www.teses.usp.br/teses/disponiveis/55/55135/tde-31082011-110130/ |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.relation.none.fl_str_mv |
|
| dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.coverage.none.fl_str_mv |
|
| dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
| instname_str |
Universidade de São Paulo (USP) |
| instacron_str |
USP |
| institution |
USP |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
| collection |
Biblioteca Digital de Teses e Dissertações da USP |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
| repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
| _version_ |
1815258605622919168 |