Cuestiones computacionales aritméticas de δ-sucesiones como semigrupos numéricos

Abstract

En este trabajo trataremos algunas cuestiones computacionales de la aritmética que encierran las δ-sucesiones como generadores de un semigrupo numérico. Haremos uso del programa GAP, debido a sus diversos paquetes algebraicos. Seremos capaces, por medio de la definición de δ-sucesión y uso de ciertas propiedades, del diseño de un programa que nos identifique si una sucesión de tamaño finito es una δ-sucesión. Nos centraremos en el estudio de dos casos particulares, δ- sucesiones de tamaño 2 y 3. Veremos y analizaremos ciertas cuestiones de interés que posteriormente serán llevadas al ámbito computacional, así como posibles generalizaciones de las mismas a otros tamaños.