Derivaciones locales, 2-locales y biderivaciones en cuaterniones generalizados de 3 parámetros

Información Básica

• ID del Artículo: 2511.18026
• Título: Derivaciones locales, 2-locales y biderivaciones en cuaterniones generalizados de 3 parámetros
• Autor: Hassan Oubba (Université Moulay Ismaïl, Marruecos)
• Clasificación: math.RA (Anillos y Álgebra)
• Fecha de Presentación: 22 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2511.18026

Resumen

Este artículo estudia el álgebra de cuaterniones generalizados de tres parámetros (3PGQ) recientemente introducida, denotada como $K_{\lambda_1,\lambda_2,\lambda_3}$. La investigación se divide en tres partes: primero se demuestra que toda derivación local y 2-local en esta álgebra es automáticamente una derivación; segundo, se caracteriza completamente la forma de todas las biderivaciones; finalmente, se describen sus aplicaciones conmutativas y su centro.

Antecedentes de Investigación y Motivación

Problemas de Investigación

Los problemas centrales que aborda este artículo son:

1. ¿Son todas las derivaciones locales y 2-locales en el álgebra de cuaterniones generalizados de tres parámetros verdaderas derivaciones?
2. ¿Cómo se pueden caracterizar completamente todas las biderivaciones en esta álgebra?
3. ¿Qué estructura tienen las aplicaciones lineales conmutativas y el centro del álgebra?

Importancia del Problema

El álgebra de cuaterniones ocupa un lugar central en las matemáticas modernas, con intersecciones en teoría de anillos no conmutativos, teoría de Lie, geometría y teoría de números. La importancia específica se manifiesta en:

1. Valor Teórico: Las derivaciones locales y biderivaciones son herramientas poderosas para sondear la estructura algebraica, revelando propiedades intrínsecas del álgebra
2. Significado de Generalización: Los cuaterniones generalizados de tres parámetros unifican múltiples casos especiales incluyendo cuaterniones de Hamilton, cuaterniones divididos, y cuaterniones generalizados de 2 parámetros
3. Comprensión Estructural: El centro juega un papel clave en la comprensión de la estructura de álgebras simples, particularmente en el estudio del grupo de Brauer y anillos de división

Limitaciones de Métodos Existentes

1. Para álgebras de Lie, Ayupov y Kudaybergenov han demostrado que no existen derivaciones locales y 2-locales no triviales en álgebras de Lie semisimples de dimensión finita
2. Sin embargo, para álgebras no asociativas, especialmente el álgebra de cuaterniones generalizados de tres parámetros recientemente introducida, estas propiedades aún no han sido estudiadas
3. La investigación de biderivaciones y aplicaciones conmutativas se ha concentrado principalmente en álgebras de Lie, con menos investigación en álgebras de tipo cuaterniónico

Motivación de la Investigación

El autor tiene como objetivo enriquecer las propiedades del álgebra de cuaterniones generalizados de tres parámetros, estableciendo nuevos teoremas de estructura para perfeccionar el marco teórico de este sistema algebraico.

Contribuciones Principales

Las contribuciones principales del artículo incluyen:

1. Teorema de Derivaciones Locales (Teorema 2.2): Se demuestra que cuando $\lambda_3 \neq 0$, toda derivación local en $K_{\lambda_1,\lambda_2,\lambda_3}$ es una derivación
2. Teorema de Derivaciones 2-Locales (Teorema 2.3): Se demuestra que cuando $\lambda_3 \neq 0$, toda derivación 2-local en $K_{\lambda_1,\lambda_2,\lambda_3}$ es una derivación
3. Caracterización Completa de Biderivaciones (Teorema 3.1): Se demuestra que $\delta$ es una biderivación en $K_{\lambda_1,\lambda_2,\lambda_3}$ si y solo si existe un número real $\mu$ tal que\frac{\lambda_3}{\lambda_1}e_1 & \frac{\lambda_2}{\lambda_1}e_2 & e_3 \\ x_1 & x_2 & x_3 \\ y_1 & y_2 & y_3 \end{vmatrix}$$
4. Caracterización de Aplicaciones Conmutativas (Teorema 4.1): Se demuestra que la forma matricial de las aplicaciones lineales conmutativas es $\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix}$
5. Teorema del Centro (Teorema 4.3): Se demuestra que $\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}$, es decir, el centro es un cuerpo

Explicación Detallada de Métodos

Definición de Tareas

Definición del Álgebra de Cuaterniones Generalizados de Tres Parámetros: $K_{\lambda_1,\lambda_2,\lambda_3} = \{a+be_1+ce_2+de_3 | a,b,c,d,\lambda_1,\lambda_2,\lambda_3 \in \mathbb{R}\}$

donde los elementos base satisfacen:

• $e_1^2 = -\lambda_1\lambda_2$
• $e_2^2 = -\lambda_1\lambda_3$
• $e_3^2 = -\lambda_2\lambda_3$
• $e_1e_2e_3 = -\lambda_1\lambda_2\lambda_3$

Conceptos Centrales:

1. Derivación: Una aplicación lineal $D: A \to A$ que satisface $D(ab) = D(a)b + aD(b)$
2. Derivación Local: Una aplicación lineal $\Delta: A \to A$ tal que para cada $x \in A$ existe una derivación $D_x$ con $\Delta(x) = D_x(x)$
3. Derivación 2-Local: Una aplicación $\Delta: A \to A$ (no necesariamente lineal) tal que para cualesquiera $x,y \in A$ existe una derivación $D_{x,y}$ con $\Delta(x) = D_{x,y}(x)$ y $\Delta(y) = D_{x,y}(y)$
4. Biderivación: Una aplicación bilineal $\phi: A \times A \to A$ que es una derivación en cada variable

Marco Teórico

Teorema Fundamental (Teorema 2.1 de Chaker-Boua): Toda derivación $d$ en $K_{\lambda_1,\lambda_2,\lambda_3}$ tiene forma matricial: