Resolución de sistemas de ecuaciones polinomiales sobre álgebras de post k-cíclicas
type: CreativeWork
description: En el trabajo An equivalence between Varieties of ciclic Post Algebras and Varietiesgenerated by a finite field [1] demostramos una equivalencia entre la variedad V(Lp;k) generada por el álgebra de Post k-cíclica simple de orden p, Lp;k y la variedad V(F(pk)) generada por el cuerpo con pk elementos [F(pk);+; .; F(p)]. La existencia de una interpretación entre ambas variedades nos ha permitido estudiar la resolución de sistemas de ecuaciones polinomiales sobre un álgebra Lp;k, utilizando técnicas usuales del Álgebra Conmutativa en un problema propio de la Lógica Algebraica. En Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras [13] mostramos un camino para resolver un sistema de ecuaciones algebraicas sobre una álgebra de Post cíclica de orden p, con p primo, utilizando la interpretación anterior, bases de Gröbner y algoritmos programados en Maple. En esta tesis describimos un método contructivo que permite obtener a partir de un cuerpo [F(pk);+; . ; F(p)], un álgebra de Post k--cíclica de orden p, con p primo positivo y k > 1. Las operaciones del álgebra de Post cíclica se expresan como términos en el lenguaje del cuerpo, y recíprocamente, las operaciones del cuerpo como términos en el lenguaje del álgebra de Post k-cíclica. Los algoritmos programados en Maple muestran cómo calcular estas operaciones de manera efectiva. De esto se deduce una interpretación 1 entre la variedad V(Lp;k) y la variedad V(F(pk)), y una interpretación 2 de V(F(pk)) en V(Lp;k) tal que 2 1 (B) = B para toda álgebra B 2 V(Lp;k) y 1 2(R) = R para todo R 2 V(F(pk)). Esta equivalencia permite analizar la existencia y búsqueda de soluciones de un sistema de ecuaciones polinomiales en Lp;k[X1,...,Xn]. Mostramos en este trabajo dos caminos diferentes para la resolución de estos sistemas. El primer camino consiste en aplicar la interpretación 1 para obtener la expresión de una ecuación algebraica postiana en el lenguaje de F(pk)[X1,...,Xn] y así poder expresar todas …
abstract: En el trabajo An equivalence between Varieties of ciclic Post Algebras and Varietiesgenerated by a finite field [1] demostramos una equivalencia entre la variedad V(Lp;k) generada por el álgebra de Post k-cíclica simple de orden p, Lp;k y la variedad V(F(pk)) generada por el cuerpo con pk elementos [F(pk);+; .; F(p)]. La existencia de una interpretación entre ambas variedades nos ha permitido estudiar la resolución de sistemas de ecuaciones polinomiales sobre un álgebra Lp;k, utilizando técnicas usuales del Álgebra Conmutativa en un problema propio de la Lógica Algebraica. En Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras [13] mostramos un camino para resolver un sistema de ecuaciones algebraicas sobre una álgebra de Post cíclica de orden p, con p primo, utilizando la interpretación anterior, bases de Gröbner y algoritmos programados en Maple. En esta tesis describimos un método contructivo que permite obtener a partir de un cuerpo [F(pk);+; . ; F(p)], un álgebra de Post k--cíclica de orden p, con p primo positivo y k > 1. Las operaciones del álgebra de Post cíclica se expresan como términos en el lenguaje del cuerpo, y recíprocamente, las operaciones del cuerpo como términos en el lenguaje del álgebra de Post k-cíclica. Los algoritmos programados en Maple muestran cómo calcular estas operaciones de manera efectiva. De esto se deduce una interpretación 1 entre la variedad V(Lp;k) y la variedad V(F(pk)), y una interpretación 2 de V(F(pk)) en V(Lp;k) tal que 2 1 (B) = B para toda álgebra B 2 V(Lp;k) y 1 2(R) = R para todo R 2 V(F(pk)). Esta equivalencia permite analizar la existencia y búsqueda de soluciones de un sistema de ecuaciones polinomiales en Lp;k[X1,...,Xn]. Mostramos en este trabajo dos caminos diferentes para la resolución de estos sistemas. El primer camino consiste en aplicar la interpretación 1 para obtener la expresión de una ecuación algebraica postiana en el lenguaje de F(pk)[X1,...,Xn] y así poder expresar todas …
author: López Martinolich, Blanca Fernanda
language: spa
keywords: Cuerpos finitos, Variedades, Álgebras de post
date published: 2011
date modified: 2026-07-24T05:31:43Z
provider: Universidad Nacional del Sur
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: Universidad Nacional del Sur