{"id":{"repo_id":"ull","oai_identifier":"oai:riull.ull.es:915/10178"},"canonical_url":"https://search.dev.ndltd.org/etd/ull/oai:riull.ull.es:915/10178","repository":{"repo_id":"ull","name":"Universidad de la Laguna","base_url":"https://riull.ull.es/oai/request"},"display":{"title":"Métodos efectivos en álgebras con bases PBW: G-Álgebras y Álgebras de Yang-Baxter","abstract":"El célebre teorema de Poincaré-Brikhoff-Witt establece que si ${x_1,x_n\\}$ es un k-base de un álgebra de Lie, entonces el conjunto de monomios estándar $\\{x_1{\\alpha_1}\\cdots x_n{\\alpha_n}\\}_{\\alpha_i\\in \\mathbb{N}}$ es una k-base de su álgebra envolvente universal. Esta propiedad, que las álgebras anvolventes universales comparten con muchas otras álgebras asociativas, es u na de las razones por las que la mayoría de los algoritmos utilizados en los anillos de polinomios conmutativos también funcionan en un contexto no necesariamente conmutativo. De hecho, a pesar de que la teoría de bases de Gröbner ha sido extendida a álgrebaras que no poseen bases monomios estándar (véanse los trabajos de Mora en el álgrabra libre), parece que los mejores resultados desde un punto de vista computacional se obtiene en álgebras donde una de estas bases, también llamadas bases PBW (Poincaré-Birkhoff-Witt), existe. El objetivo de este trabajo es estudiar, desde unpunto de vista computacional, la clase de las álgrebras en las que existe una base PBW. Más concretamente, nos centramos en álgebras que además son finitamente presentadas por un conjunto finito de generadores $X=\\{x_1,x_n\\}$ y un conjunto de relaciones $Q\\subseteq mayor X menor \\times k mayor X menor $ finito(el llamado sistema de reducción). Como demostramos en el primer capítulo, cuando $Q=\\{(W_{\\sigma}f, _{\\sigma})\\}_{\\sigma}$ es un sistema de reducción completo compatible con algún orden monomial es $k mayor X menor $ y todos los $W_{\\sigma}$ están desordenados, el conjunto de monomios estándar en los generadores $\\{x_1,x_n\\}$ es una base PBW de álgebra $k mayor x manor /l_Q$(donde $l_Q$ denota al ideal bilátero generado pro $Q$) si, y sólo si, todo monomio $x_ix_i$ con $i mayor j$ es el termino principal de una relación de $Q$. Nótese que esto último se puede comprobar de forma efectiva.","abstract_html":"El célebre teorema de Poincaré-Brikhoff-Witt establece que si <span class=\"etd-inline-math\">{x<sub>1</sub>,x<sub>n</sub>\\}</span> es un k-base de un álgebra de Lie, entonces el conjunto de monomios estándar <span class=\"etd-inline-math\">\\{x<sub>1</sub>{&alpha;<sub>1</sub>}\\cdots x<sub>n</sub>{&alpha;<sub>n</sub>}\\}<sub>&alpha;<sub>i</sub>\\in \\mathbb{N}</sub></span> es una k-base de su álgebra envolvente universal. Esta propiedad, que las álgebras anvolventes universales comparten con muchas otras álgebras asociativas, es u na de las razones por las que la mayoría de los algoritmos utilizados en los anillos de polinomios conmutativos también funcionan en un contexto no necesariamente conmutativo. De hecho, a pesar de que la teoría de bases de Gröbner ha sido extendida a álgrebaras que no poseen bases monomios estándar (véanse los trabajos de Mora en el álgrabra libre), parece que los mejores resultados desde un punto de vista computacional se obtiene en álgebras donde una de estas bases, también llamadas bases PBW (Poincaré-Birkhoff-Witt), existe. El objetivo de este trabajo es estudiar, desde unpunto de vista computacional, la clase de las álgrebras en las que existe una base PBW. Más concretamente, nos centramos en álgebras que además son finitamente presentadas por un conjunto finito de generadores <span class=\"etd-inline-math\">X=\\{x<sub>1</sub>,x<sub>n</sub>\\}</span> y un conjunto de relaciones $Q\\subseteq mayor X menor \\times k mayor X menor $ finito(el llamado sistema de reducción). Como demostramos en el primer capítulo, cuando <span class=\"etd-inline-math\">Q=\\{(W<sub>&sigma;</sub>f, <sub>&sigma;</sub>)\\}<sub>&sigma;</sub></span> es un sistema de reducción completo compatible con algún orden monomial es $k mayor X menor $ y todos los <span class=\"etd-inline-math\">W<sub>&sigma;</sub></span> están desordenados, el conjunto de monomios estándar en los generadores <span class=\"etd-inline-math\">\\{x<sub>1</sub>,x<sub>n</sub>\\}</span> es una base PBW de álgebra <span class=\"etd-inline-math\">k mayor x manor /l<sub>Q</sub></span>(donde <span class=\"etd-inline-math\">l<sub>Q</sub></span> denota al ideal bilátero generado pro $Q$) si, y sólo si, todo monomio <span class=\"etd-inline-math\">x<sub>i</sub>x<sub>i</sub></span> con $i mayor j$ es el termino principal de una relación de $Q$. Nótese que esto último se puede comprobar de forma efectiva.","abstract_has_math":true,"creators":["García Román, Manuel Damián"],"institution":"Universidad de La Laguna, Servicio de Publicaciones","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["García Román, Manuel Damián"],"committee_chairs":[],"committee_members":[],"year":2009,"date_issued":"2009","date_published":"2009","updated_at":"2026-08-21T16:49:16Z","subjects":[],"languages":["es"],"rights":["Licencia Creative Commons (Reconocimiento-No comercial-Sin obras derivadas 4.0 internacional)"],"rights_urls":["https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es_ES"],"identifier_entries":[]},"links":{"outbound_url":"http://riull.ull.es/xmlui/handle/915/10178","outbound_label":"Repository record","outbound_source":"dc:identifier.uri"},"source_record":{"url":"https://riull.ull.es/oai/request?verb=GetRecord&metadataPrefix=dim&identifier=oai%3Ariull.ull.es%3A915%2F10178","prefix":"dim"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["García Román, Manuel Damián"]},{"key":"dc:creator","label":"Author","values":["García Román, Manuel Damián"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2018-09-25T11:37:49Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2018-09-25T11:37:49Z"]},{"key":"dc:date.issued","label":"Date","values":["2009"]},{"key":"dc:publisher","label":"Institution","values":["Universidad de La Laguna, Servicio de Publicaciones"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["es"]},{"key":"dc:rights","label":"Dc Rights","values":["Licencia Creative Commons (Reconocimiento-No comercial-Sin obras derivadas 4.0 internacional)"]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es_ES"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://riull.ull.es/xmlui/handle/915/10178"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["El célebre teorema de Poincaré-Brikhoff-Witt establece que si ${x_1,x_n\\}$ es un k-base de un álgebra de Lie, entonces el conjunto de monomios estándar $\\{x_1{\\alpha_1}\\cdots x_n{\\alpha_n}\\}_{\\alpha_i\\in \\mathbb{N}}$ es una k-base de su álgebra envolvente universal. Esta propiedad, que las álgebras anvolventes universales comparten con muchas otras álgebras asociativas, es u na de las razones por las que la mayoría de los algoritmos utilizados en los anillos de polinomios conmutativos también funcionan en un contexto no necesariamente conmutativo. De hecho, a pesar de que la teoría de bases de Gröbner ha sido extendida a álgrebaras que no poseen bases monomios estándar (véanse los trabajos de Mora en el álgrabra libre), parece que los mejores resultados desde un punto de vista computacional se obtiene en álgebras donde una de estas bases, también llamadas bases PBW (Poincaré-Birkhoff-Witt), existe. El objetivo de este trabajo es estudiar, desde unpunto de vista computacional, la clase de las álgrebras en las que existe una base PBW. Más concretamente, nos centramos en álgebras que además son finitamente presentadas por un conjunto finito de generadores $X=\\{x_1,x_n\\}$ y un conjunto de relaciones $Q\\subseteq mayor X menor \\times k mayor X menor $ finito(el llamado sistema de reducción). Como demostramos en el primer capítulo, cuando $Q=\\{(W_{\\sigma}f, _{\\sigma})\\}_{\\sigma}$ es un sistema de reducción completo compatible con algún orden monomial es $k mayor X menor $ y todos los $W_{\\sigma}$ están desordenados, el conjunto de monomios estándar en los generadores $\\{x_1,x_n\\}$ es una base PBW de álgebra $k mayor x manor /l_Q$(donde $l_Q$ denota al ideal bilátero generado pro $Q$) si, y sólo si, todo monomio $x_ix_i$ con $i mayor j$ es el termino principal de una relación de $Q$. Nótese que esto último se puede comprobar de forma efectiva."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Métodos efectivos en álgebras con bases PBW: G-Álgebras y Álgebras de Yang-Baxter"]}]}],"canonical_facts":{"dc:contributor.advisor":["García Román, Manuel Damián"],"dc:creator":["García Román, Manuel Damián"],"dc:date.accessioned":["2018-09-25T11:37:49Z"],"dc:date.available":["2018-09-25T11:37:49Z"],"dc:date.issued":["2009"],"dc:description.abstract":["El célebre teorema de Poincaré-Brikhoff-Witt establece que si ${x_1,x_n\\}$ es un k-base de un álgebra de Lie, entonces el conjunto de monomios estándar $\\{x_1{\\alpha_1}\\cdots x_n{\\alpha_n}\\}_{\\alpha_i\\in \\mathbb{N}}$ es una k-base de su álgebra envolvente universal. Esta propiedad, que las álgebras anvolventes universales comparten con muchas otras álgebras asociativas, es u na de las razones por las que la mayoría de los algoritmos utilizados en los anillos de polinomios conmutativos también funcionan en un contexto no necesariamente conmutativo. De hecho, a pesar de que la teoría de bases de Gröbner ha sido extendida a álgrebaras que no poseen bases monomios estándar (véanse los trabajos de Mora en el álgrabra libre), parece que los mejores resultados desde un punto de vista computacional se obtiene en álgebras donde una de estas bases, también llamadas bases PBW (Poincaré-Birkhoff-Witt), existe. El objetivo de este trabajo es estudiar, desde unpunto de vista computacional, la clase de las álgrebras en las que existe una base PBW. Más concretamente, nos centramos en álgebras que además son finitamente presentadas por un conjunto finito de generadores $X=\\{x_1,x_n\\}$ y un conjunto de relaciones $Q\\subseteq mayor X menor \\times k mayor X menor $ finito(el llamado sistema de reducción). Como demostramos en el primer capítulo, cuando $Q=\\{(W_{\\sigma}f, _{\\sigma})\\}_{\\sigma}$ es un sistema de reducción completo compatible con algún orden monomial es $k mayor X menor $ y todos los $W_{\\sigma}$ están desordenados, el conjunto de monomios estándar en los generadores $\\{x_1,x_n\\}$ es una base PBW de álgebra $k mayor x manor /l_Q$(donde $l_Q$ denota al ideal bilátero generado pro $Q$) si, y sólo si, todo monomio $x_ix_i$ con $i mayor j$ es el termino principal de una relación de $Q$. Nótese que esto último se puede comprobar de forma efectiva."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://riull.ull.es/xmlui/handle/915/10178"],"dc:language.iso":["es"],"dc:publisher":["Universidad de La Laguna, Servicio de Publicaciones"],"dc:rights":["Licencia Creative Commons (Reconocimiento-No comercial-Sin obras derivadas 4.0 internacional)"],"dc:rights.uri":["https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es_ES"],"dc:title":["Métodos efectivos en álgebras con bases PBW: G-Álgebras y Álgebras de Yang-Baxter"]},"updated_at":"2026-08-21T16:49:16Z"}