2025-11-30T05:07:18.998996

Local, 2-local derivations and biderivations on 3-parameter generalized quaternion

Oubba
This article investigates the recently introduced three-parameter generalized quaternion algebra (3PGQ), denoted here as $\mathbb{K}_{λ_1,λ_2,λ_3}$ . Our analysis is structured in three parts. First, we demonstrate that every local and 2-local derivation on this algebra is automatically a derivation. Second, we provide a complete characterization of its biderivations. Finally, we describe its commuting maps and centroid.
academic

Локальные, 2-локальные дифференцирования и бидифференцирования на трёхпараметровых обобщённых кватернионах

Основная информация

  • ID статьи: 2511.18026
  • Название: Local, 2-local derivations and biderivations on 3-parameter generalized quaternion
  • Автор: Hassan Oubba (Université Moulay Ismaïl, Morocco)
  • Классификация: math.RA (Теория колец и алгебр)
  • Дата подачи: 22 ноября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2511.18026

Резюме

В данной работе исследуется недавно введённая алгебра трёхпараметровых обобщённых кватернионов (3PGQ), обозначаемая Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3}. Исследование разделено на три части: во-первых, доказывается, что каждое локальное дифференцирование и 2-локальное дифференцирование на этой алгебре автоматически становятся дифференцированиями; во-вторых, полностью характеризуется форма всех бидифференцирований; в-третьих, описываются коммутирующие отображения и центральное тело.

Исследовательский контекст и мотивация

Исследовательские вопросы

Основные проблемы, решаемые в данной работе:

  1. Являются ли все локальные дифференцирования и 2-локальные дифференцирования на алгебре трёхпараметровых обобщённых кватернионов истинными дифференцированиями?
  2. Как полностью охарактеризовать форму всех бидифференцирований на этой алгебре?
  3. Какова структура коммутирующих линейных отображений и центрального тела этой алгебры?

Значимость проблемы

Алгебры кватернионов занимают центральное место в современной математике и пересекаются с несколькими областями, включая теорию некоммутативных колец, теорию Ли, геометрию и теорию чисел. Конкретная значимость проявляется в следующем:

  1. Теоретическая ценность: Локальные дифференцирования и бидифференцирования являются мощными инструментами для исследования структуры алгебр и способны раскрывать их внутренние свойства
  2. Значение обобщения: Трёхпараметровые обобщённые кватернионы объединяют кватернионы Гамильтона, расщепляемые кватернионы, двухпараметровые обобщённые кватернионы и другие частные случаи
  3. Понимание структуры: Центральное тело играет ключевую роль в понимании структуры простых алгебр, особенно при изучении групп Брауэра и тел деления

Ограничения существующих методов

  1. Для алгебр Ли Аюповым и Кудайбергеновым и другими авторами доказано, что на полупростых конечномерных алгебрах Ли не существует нетривиальных локальных и 2-локальных дифференцирований
  2. Однако для неассоциативных алгебр, особенно для недавно введённых трёхпараметровых обобщённых кватернионов, эти свойства ещё не изучались
  3. Исследование бидифференцирований и коммутирующих отображений в основном сосредоточено на алгебрах Ли; исследования для алгебр кватернионного типа относительно редки

Исследовательская мотивация

Автор стремится обогатить свойства алгебры трёхпараметровых обобщённых кватернионов, устанавливая новые структурные теоремы для совершенствования теоретической базы этой алгебраической системы.

Основные вклады

Основные вклады данной работы включают:

  1. Теорема о локальных дифференцированиях (Теорема 2.2): Доказано, что при λ3≠0\lambda_3 \neq 0 каждое локальное дифференцирование на Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} является дифференцированием
  2. Теорема о 2-локальных дифференцированиях (Теорема 2.3): Доказано, что при λ3≠0\lambda_3 \neq 0 каждое 2-локальное дифференцирование на Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} является дифференцированием
  3. Полная характеризация бидифференцирований (Теорема 3.1): Доказано, что δ\delta является бидифференцированием на Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} тогда и только тогда, когда существует вещественное число μ\mu такое, что\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. Характеризация коммутирующих отображений (Теорема 4.1): Доказано, что матричная форма коммутирующего линейного отображения имеет вид (λabc0μ0000μ0000μ)\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix}
  5. Теорема о центральном теле (Теорема 4.3): Доказано, что Γ(Kλ1,λ2,λ3)={λid:λ∈R}\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}, то есть центральное тело является полем

Подробное описание методов

Определение задачи

Определение алгебры трёхпараметровых обобщённых кватернионов: Kλ1,λ2,λ3={a+be1+ce2+de3∣a,b,c,d,λ1,λ2,λ3∈R}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}\}

где базисные элементы удовлетворяют:

  • e12=−λ1λ2e_1^2 = -\lambda_1\lambda_2
  • e22=−λ1λ3e_2^2 = -\lambda_1\lambda_3
  • e32=−λ2λ3e_3^2 = -\lambda_2\lambda_3
  • e1e2e3=−λ1λ2λ3e_1e_2e_3 = -\lambda_1\lambda_2\lambda_3

Основные понятия:

  1. Дифференцирование: Линейное отображение D:A→AD: A \to A, удовлетворяющее D(ab)=D(a)b+aD(b)D(ab) = D(a)b + aD(b)
  2. Локальное дифференцирование: Линейное отображение Δ:A→A\Delta: A \to A, такое что для каждого x∈Ax \in A существует дифференцирование DxD_x, для которого Δ(x)=Dx(x)\Delta(x) = D_x(x)
  3. 2-локальное дифференцирование: Отображение Δ:A→A\Delta: A \to A (не обязательно линейное), такое что для любых x,y∈Ax,y \in A существует дифференцирование Dx,yD_{x,y}, для которого Δ(x)=Dx,y(x)\Delta(x) = D_{x,y}(x) и Δ(y)=Dx,y(y)\Delta(y) = D_{x,y}(y)
  4. Бидифференцирование: Билинейное отображение ϕ:A×A→A\phi: A \times A \to A, являющееся дифференцированием по каждой переменной

Теоретическая база

Базовая теорема (Теорема 2.1 Chaker-Boua): Любое дифференцирование dd на Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} имеет матричную форму:

0 & 0 & 0 & 0 \\ 0 & 0 & -\frac{\lambda_3}{\lambda_2}a & -\frac{\lambda_3}{\lambda_1}b \\ 0 & a & d & -\frac{\lambda_2}{\lambda_1}c \\ 0 & b & c & d \end{pmatrix}$$ где параметры удовлетворяют определённым условиям. ### Стратегия доказательства **Стратегия доказательства теоремы о локальных дифференцированиях** (Теорема 2.2): 1. **Матричное представление**: Пусть локальное дифференцирование $\Delta(x) = BX$, где $B = (b_{ij})_{0 \leq i,j \leq 3}$ 2. **Тестирование базисных элементов**: Применяя свойство локального дифференцирования к каждому базисному элементу $e_i$, из теоремы 2.1 следует существование параметров $a_{e_i}, b_{e_i}, c_{e_i}$ таких, что: - $\Delta(e_0) = 0$ влечёт $b_{00} = b_{10} = b_{20} = b_{30} = 0$ - $\Delta(e_1)$ влечёт $b_{01} = 0, b_{11} = 0, b_{21} = a_{e_1}, b_{31} = b_{e_1}$ - $\Delta(e_2)$ влечёт $b_{02} = 0, b_{12} = -\frac{\lambda_3}{\lambda_2}a_{e_2}, b_{22} = 0, b_{32} = c_{e_2}$ - $\Delta(e_3)$ влечёт $b_{03} = 0, b_{13} = -\frac{\lambda_3}{\lambda_1}b_{e_3}, b_{23} = -\frac{\lambda_2}{\lambda_1}c_{e_3}, b_{33} = 0$ 3. **Использование линейности**: Ключевой этап — использование линейности $\Delta$: - Из $\Delta(e_1 + e_2) = \Delta(e_1) + \Delta(e_2)$ получаем $a_{e_1} = a_{e_2}$ - Из $\Delta(e_1 + e_3) = \Delta(e_1) + \Delta(e_3)$ получаем $b_{e_1} = b_{e_3}$ - Из $\Delta(e_2 + e_3) = \Delta(e_2) + \Delta(e_3)$ получаем $c_{e_2} = c_{e_3}$ 4. **Заключение**: Все параметры унифицируются, матричная форма $\Delta$ соответствует теореме 2.1, следовательно, $\Delta$ является дифференцированием **Стратегия доказательства теоремы о 2-локальных дифференцированиях** (Теорема 2.3): Ключевое наблюдение: для любых $x,y \in K_{\lambda_1,\lambda_2,\lambda_3}$ и базисного элемента $e_i$ существуют дифференцирования $D_{x,e_i}$ и $D_{y,e_i}$, удовлетворяющие: - $\Delta(x) = D_{x,e_i}(x), \Delta(e_i) = D_{x,e_i}(e_i)$ - $\Delta(y) = D_{y,e_i}(y), \Delta(e_i) = D_{y,e_i}(e_i)$ Поскольку $\Delta(e_i)$ одинаково для всех $x$, это означает, что все дифференцирования $D_{x,e_i}$ имеют одинаковые значения на $e_i$, следовательно, одинаковые параметры, то есть $D_{x,e_i}$ не зависит от $x$, поэтому $\Delta$ является дифференцированием. ### Технические инновации 1. **Использование параметрических ограничений**: Ключевое использование условия $\lambda_3 \neq 0$, позволяющего передавать отношения равенства параметров через линейность 2. **Вычислительный метод**: Прямое вычисление действия на базисные элементы избегает сложной теории алгебраических структур 3. **Характеризация бидифференцирований**: Введение операции клина $\tilde{x} \wedge \tilde{y}$, связывающей бидифференцирования с внешним произведением векторных частей 4. **Классификация по случаям**: Отдельное рассмотрение случая $\lambda_3 = 0$, доказывающее различные формы симметричных и антисимметричных бидифференцирований ## Экспериментальная установка **Примечание**: Данная работа является чистой теоретической математической статьёй и не включает экспериментов, наборов данных или численных вычислений. Все результаты получены посредством строгих математических доказательств. Методология исследования включает: 1. **Теоретические выводы**: На основе аксиом алгебраических структур и известных теорем 2. **Матричные вычисления**: Через явные вычисления с матричными представлениями 3. **Классификация по случаям**: Полный анализ различных параметрических ситуаций ## Результаты экспериментов ### Результаты основных теорем **Теорема 2.2 (Локальные дифференцирования)**: При $\lambda_3 \neq 0$ каждое локальное дифференцирование на $K_{\lambda_1,\lambda_2,\lambda_3}$ является дифференцированием. **Теорема 2.3 (2-локальные дифференцирования)**: При $\lambda_3 \neq 0$ каждое 2-локальное дифференцирование на $K_{\lambda_1,\lambda_2,\lambda_3}$ является дифференцированием. **Теорема 3.1 (Характеризация бидифференцирований)**: $\delta$ является бидифференцированием тогда и только тогда, когда существует $\mu \in \mathbb{R}$ такое, что: $$\delta(x,y) = \mu \tilde{x} \wedge \tilde{y}$$ **Теорема 3.2 (Антисимметричные бидифференцирования при $\lambda_3=0$)**: При $\lambda_3 = 0$ антисимметричные бидифференцирования имеют более сложную форму, определяемую двумя параметрами $a,b$. **Теорема 4.1 (Коммутирующие отображения)**: Матричная форма коммутирующего линейного отображения имеет вид: $$\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix}$$ **Теорема 4.3 (Центральное тело)**: $$\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}$$ Это доказывает, что центральное тело является полем (изоморфным $\mathbb{R}$). ### Анализ частных случаев **Проверка специальных случаев**: 1. При $\lambda_1=\lambda_2=\lambda_3=1$ получаются кватернионы Гамильтона 2. При $\lambda_1=\lambda_2=1, \lambda_3=-1$ получаются расщепляемые кватернионы 3. При $\lambda_1=\lambda_2=1, \lambda_3=0$ получаются полукватернионы Все эти специальные случаи удовлетворяют основным теоремам данной работы. ### Теоретические открытия 1. **Критичность условия $\lambda_3 \neq 0$**: Это условие гарантирует, что линейность локального дифференцирования может передавать унификацию параметров 2. **Простота бидифференцирований**: Все бидифференцирования определяются единственным параметром, форма чрезвычайно проста 3. **Тривиальность центрального тела**: Центральное тело состоит только из скалярных отображений, что указывает на относительную простоту структуры этой алгебры 4. **Результаты размерности**: $\dim(\text{Der}(K_{\lambda_1,\lambda_2,\lambda_3})) = 3$ (при $\lambda_1\lambda_2 \neq 0$) ## Связанные работы ### Исследования локальных дифференцирований 1. **Серия работ Аюпова-Кудайбергенова**: - [1,2] Доказано, что на полупростых конечномерных алгебрах Ли не существует нетривиальных локальных и 2-локальных дифференцирований - [4] Приведены примеры 2-локальных дифференцирований, не являющихся дифференцированиями, на нильпотентных алгебрах Ли - [3] Исследование расширено на алгебры Лейбница 2. **Вклад данной работы**: Первое применение теории локальных дифференцирований к неассоциативным алгебрам типа трёхпараметровых обобщённых кватернионов ### Исследования бидифференцирований 1. **Происхождение**: Бидифференцирования и коммутирующие отображения впервые появились в теории ассоциативных колец [8,9] 2. **Исследования на алгебрах Ли**: - [23] Использование Z-градуировки при изучении алгебры Ли Шрёдингера-Вирасоро - [10] Общий метод для большого класса алгебр Ли - [22] Использование систем корней при изучении простых алгебр Ли 3. **Метод данной работы**: Использование теоремы классификации [11] и вычислительных методов, избегая сложной техники алгебр Ли ### Исследования центрального тела 1. **Работа Мелвилла** [20]: Исследование центрального тела нильпотентных алгебр Ли 2. **Работа Бенкарта-Нехера** [7]: Исследование центрального тела расширенных аффинных алгебр Ли, играющее ключевую роль в задачах классификации на полях нулевой характеристики 3. **Результат данной работы**: Доказано, что центральное тело трёхпараметровых обобщённых кватернионов является полем, что аналогично случаю простых алгебр Ли ### Обобщения кватернионов **Работа Şentürk-Ünal** [21]: В 2022 году введены трёхпараметровые обобщённые кватернионы; данная работа является первым глубоким исследованием этой алгебраической структуры. ## Заключение и обсуждение ### Основные выводы 1. **Автоматичность локальных дифференцирований**: При $\lambda_3 \neq 0$ локальные дифференцирования и 2-локальные дифференцирования автоматически становятся дифференцированиями — это результат сильной регулярности 2. **Полная характеризация бидифференцирований**: Все бидифференцирования могут быть представлены в форме клина $\mu \tilde{x} \wedge \tilde{y}$, где $\mu \in \mathbb{R}$ 3. **Простота центрального тела**: Центральное тело состоит только из скалярных отображений, изоморфно базовому полю $\mathbb{R}$ 4. **Единство структуры**: Эти результаты справедливы для всех специальных случаев (кватернионы Гамильтона, расщепляемые кватернионы и т.д.) ### Ограничения 1. **Параметрические ограничения**: Основные результаты требуют $\lambda_3 \neq 0$; автор явно указывает, что при $\lambda_3 = 0$ могут существовать локальные дифференцирования, не являющиеся дифференцированиями 2. **Ограничение на базовое поле**: Все результаты получены над полем вещественных чисел $\mathbb{R}$; случаи других полей не рассмотрены 3. **Ограничения вычислительного метода**: Используется прямой вычислительный метод, отсутствует более глубокое структурное объяснение 4. **Характеризация симметричных бидифференцирований**: Для случая $\lambda_3 = 0$ полная характеризация симметричных бидифференцирований не дана ### Направления будущих исследований Направления исследований, неявно предложенные в работе: 1. **Полное исследование случая $\lambda_3 = 0$**: Определение, существуют ли локальные дифференцирования, не являющиеся дифференцированиями 2. **Обобщение на другие поля**: Исследование случаев комплексного поля или конечных полей 3. **Обобщение на большие размерности**: Исследование обобщённых кватернионов с большим числом параметров 4. **Прикладные исследования**: Изучение применений этих результатов в геометрии и физике ## Глубокая оценка ### Преимущества 1. **Теоретическая полнота**: - Систематическое исследование структуры дифференцирований на алгебре трёхпараметровых обобщённых кватернионов - Полная характеризация бидифференцирований, коммутирующих отображений и центрального тела - Строгие доказательства с ясной логикой 2. **Методологические инновации**: - Искусное использование линейных комбинаций базисных элементов для передачи равенства параметров - Введение операции клина для упрощения представления бидифференцирований - Матричный метод делает вычисления интуитивными и осуществимыми 3. **Универсальность результатов**: - Единообразное рассмотрение различных классических алгебр кватернионов - Простые и элегантные формы результатов - Создание основы для дальнейших исследований этого класса алгебр 4. **Качество изложения**: - Ясная структура, строгая логика - Точные формулировки определений и теорем - Подробные шаги доказательств, легко поддающиеся проверке ### Недостатки 1. **Ограниченная теоретическая глубина**: - Основное использование вычислительных методов без глубокого структурного понимания - Отсутствие исследования сущности того, почему $\lambda_3 \neq 0$ является критическим условием - Недостаточное обсуждение связи с теорией алгебр Ли 2. **Проблемы полноты**: - Случай $\lambda_3 = 0$ не полностью решён - Характеризация симметричных бидифференцирований в специальных случаях неполна - Отсутствуют контрпримеры, иллюстрирующие граничные случаи 3. **Отсутствие обсуждения приложений**: - Не обсуждаются практические приложения этих результатов - Связь с физикой и геометрией не рассмотрена - Отсутствует анализ вычислительной сложности 4. **Технические ограничения**: - Ограничение на конечномерный случай - Топологические и аналитические свойства не рассмотрены - Отсутствует сравнение с другими алгебраическими структурами ### Оценка влияния **Теоретический вклад**: - Установление базовой теории для недавно введённой алгебры трёхпараметровых обобщённых кватернионов - Заполнение пробела в теории дифференцирований этой алгебры - Методы могут быть обобщены на другие неассоциативные алгебры **Практическая ценность**: - Обеспечение теоретической поддержки для применения кватернионов в компьютерной графике и квантовой механике - Характеризация дифференцирований и бидифференцирований помогает понять симметрии алгебры **Воспроизводимость**: - Доказательства полностью основаны на теоретических выводах и полностью воспроизводимы - Вычислительные шаги ясны и легко проверяются - Не требуются дополнительные вычислительные инструменты ### Области применения 1. **Исследование алгебраических структур**: Исследователи, занимающиеся неассоциативными алгебрами и алгебрами кватернионов 2. **Теория Ли**: Исследователи, изучающие дифференцирования и бидифференцирования на алгебрах Ли 3. **Математическая физика**: Приложения, требующие использования обобщённых кватернионов 4. **Преподавание**: Использование в качестве примера при изучении неассоциативных алгебр ## Ключевые ссылки 1. **[11] Chaker & Boua (2023)**: Теорема классификации дифференцирований трёхпараметровых обобщённых кватернионов, основа данной работы 2. **[21] Şentürk & Ünal (2022)**: Основополагающая работа, впервые введшая трёхпараметровые обобщённые кватернионы 3. **[1,2,4] Серия Ayupov & Kudaybergenov**: Фундаментальные работы по теории локальных и 2-локальных дифференцирований 4. **[10] Brešar & Zhao (2018)**: Общий метод исследования бидифференцирований на алгебрах Ли 5. **[7] Benkart & Neher (2006)**: Применение центрального тела в расширенных аффинных алгебрах Ли --- ## Общая оценка Это солидная работа по чистой математике, систематически исследующая структуру дифференцирований на недавно введённой алгебре трёхпараметровых обобщённых кватернионов. Основные преимущества работы заключаются в полноте теории и строгости доказательств; успешно установлены фундаментальные свойства этой алгебры. Основной недостаток состоит в ограниченной теоретической глубине, с основным акцентом на вычислительные методы, а не на глубокое структурное понимание. Для исследователей в этой области работа предоставляет важные базовые результаты, создавая основу для дальнейших исследований. Статья подходит для публикации в специализированных журналах по алгебре и имеет позитивное значение для развития теории алгебр кватернионов.