Algebras libres de términos completos generados por transformaciones que preservan el orden
Autores: Wattanatripop, Khwancheewa; Kumduang, Thodsaporn
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
Algebras libres de términos completos generados por transformaciones que preservan el orden
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
álgebras
Subclases
Superasociatividad
Preservación del orden
Hipersustituciones
Homomorfismo
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 20
Citaciones: Sin citaciones
Los términos completos, que sirven como herramientas para clasificar álgebras en subclases, pueden estudiarse utilizando un enfoque algebraico. Para un número natural , este artículo introduce el álgebra de términos completos preservadores de orden bajo la operación de -superposición que satisface la superasociatividad utilizando mapeos en el conjunto de todas las transformaciones preservadoras de orden en una cadena finita . Demostramos la propiedad de libertad de tal álgebra con respecto a la variedad de álgebras superasociativas. Además, se discuten operaciones binarias en el conjunto de partes de términos completos preservadores de orden cuyos elementos se llaman lenguajes de árboles. Para definir identidades preservadoras de orden y variedades preservadoras de orden, se determina el semianillo izquierdo de hiper-sustituciones completas. Se consideran las características requeridas para que cualquier identidad sea una identidad preservadora de orden. Además, también discutimos el homomorfismo de hiper-sustituciones completas con otras estructuras algebraicas.
Descripción
Los términos completos, que sirven como herramientas para clasificar álgebras en subclases, pueden estudiarse utilizando un enfoque algebraico. Para un número natural , este artículo introduce el álgebra de términos completos preservadores de orden bajo la operación de -superposición que satisface la superasociatividad utilizando mapeos en el conjunto de todas las transformaciones preservadoras de orden en una cadena finita . Demostramos la propiedad de libertad de tal álgebra con respecto a la variedad de álgebras superasociativas. Además, se discuten operaciones binarias en el conjunto de partes de términos completos preservadores de orden cuyos elementos se llaman lenguajes de árboles. Para definir identidades preservadoras de orden y variedades preservadoras de orden, se determina el semianillo izquierdo de hiper-sustituciones completas. Se consideran las características requeridas para que cualquier identidad sea una identidad preservadora de orden. Además, también discutimos el homomorfismo de hiper-sustituciones completas con otras estructuras algebraicas.