Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Многосортные алгебры

Многосортные алгебры


Среди всех алгебр, рассмотренных выше, несколько особое положение занимает модуль (и, как частный случай, линейное пространство). Модуль был определен как алгебра, в сигнатуру которой входят бинарная операция сложения и бесконечное (в общем случае) множество унарных операций. Относительно операции сложения модуль является абелевой группой, а множество унарных операций имеет структуру кольца. Каждая унарная операция рассматривается как умножение (левое или правое) элементов модуля на тот или иной элемент этого кольца. Проще было бы интерпретировать такое умножение как бинарную операцию, но это не вписывается в определение бинарной операции, поскольку аргументами умножения оказываются элементы двух разных алгебр. Модуль представляет собой как бы "симбиоз" двух алгебр: абелевой группы и кольца. Это обстоятельство наводит на мысль ввести алгебраические системы с несколькими носителями. Так возникает идея многосортной алгебры.


Многосортная алгебра — это упорядоченная пара \bigl((A_i)_{i\in I},\, \Omega\bigr), где элементы семейства множеств (A_i)_{i\in I} называют сортами, а множество \Omega, называемое многосортной сигнатурой, состоит из многосортных операций — отображений вида


\omega\colon A_{i_1}\times A_{i_2}\times \ldots\times A_{i_n}\to A_{i_0}.

Операцию \omega называют при этом n-арной операцией типа (i_0,i_1,\ldots, i_n).


Задавая конкретную многосортную алгебру, условимся, что будем записывать ее в виде кортежа, в котором сначала перечисляется семейство сортов (как правило, конечное), а затем — многосортные операции, образующие сигнатуру, причем после обозначения каждой операции пишется ее тип (в виде кортежа). Обратим еще раз внимание на то, что в типе операции первая компонента указывает на сорт результата операции, следующие компоненты суть номера сортов аргументов операции. Заметим, что тип нульарной операции в многосортной алгебре есть однокомпонентный кортеж: нульарная операция типа (i) — это фиксированный элемент, принадлежащий сорту A_i.


В свете определения многосортной алгебры левый модуль над кольцом \mathcal{R} может быть описан как многосортная алгебра


\mathcal{M}= \bigl((A_1,A_2), +(1,1,1), 0(1), \oplus(2,2,2), \cdot(2,2,2), \bold{0}(2), \bold{1}(2), \circ(1,2,1)\bigr).

где A_1=G — носитель абелевой группы \mathcal{G}=(G,+,0), A_2=R — носитель кольца \mathcal{R}=(R,\oplus,\cdot,\bold{0},\bold{1}), а \circ\colon R\times G\to G — многосортная операция левого умножения элементов группы \mathcal{G} на элементы кольца \mathcal{R}. Ее тип указывает на то, что первым аргументом является элемент кольца, вторым — элемент абелевой группы, а результат принадлежит абелевой группе.


Правый модуль описывается аналогично, но тип операции правого умножения элемента группы на элемент кольца будет равен (1,1,2).


Условимся о следующей терминологии для модуля. Элементы группы \mathcal{G} будем называть векторами модуля (элементами ппервого сорта"), а элементы кольца \mathcal{R} — скалярами данного модуля (элементами "второго сорта").


Многосортные алгебры \mathcal{A}=((A_i)_{i\in I}, \Omega) и \mathcal{B}= ((B_i)_{i\in I}, \Sigma) называют однотипными, если существует биекция сигнатуры \Omega на сигнатуру \Sigma, сопоставляющая n-арной операции некоторого типа n-арную операцию того же типа.


Сигнатуры однотипных многосортных алгебр и соответствующие друг другу элементы этих сигнатур (т.е. многосортные операции) обычно обозначают одинаково.




Пример 4.12. Алгебра \bigl(V_3, \mathbb{R}, +(1,1,1), \cdot(1,2,1), (\cdot)(2,1,1), \times(1,1,1), \circ(2,1,1,1) \bigr) имеет в качестве первого сорта множество V_3 свободных геометрических векторов (в трехмерном пространстве), а в качестве второго сорта — множество действительных чисел.


Первая операция — бинарная операцияm {}+ (сложения векторов). Результатом операции является вектор, аргументами — также векторы, поэтому она имеет тип (1,1,1).


Вторая операция — бинарная операция \cdot (левого умножения вектора на число). Результат операции — вектор, первый аргумент — число, второй аргумент — вектор, поэтому тип операции — (1,2,1).


Третья операция — бинарная операция (\cdot) (скалярного умножения векторов). Ее результатом является число, и ее тип есть (2,1,1).


Четвертая операция — бинарная операция \times (векторного умножения векторов), а ее тип — (1,1,1).


Последняя, пятая операция — тернарная операция смешанного умножения векторов. Результатом операции является число, и соответственно сорт операции — (2,1,1,1).




Описание алгебраической системы как многосортной алгебры


Обычная Ω-алгебра есть многосортная алгебра с одним сортом. Покажем, что и любая алгебраическая система может быть описана как многосортная алгебра. Сигнатура алгебраической системы кроме операций содержит и отношения.


Каждому отношению \pi\in\Pi алгебраической системы \mathcal{A}= (A,\Sigma, \Pi) сопоставим характеристическую функцию: отображение \xi_{\pi}\colon A^n\to \{0;1\}, такое, что


\xi_{\pi}(a_1,\ldots,a_n)=1\quad \Leftrightarrow\quad (a_1,\ldots,a_n)\in\pi\,.

Тогда алгебраическую систему можно задать как многосортную алгебру с двумя сортами: носителем A и "логическим (булевым)" сортом B=\{0;1\}, а вместо каждого n-арного отношения рассматривать его характеристическую функцию как многосортную n-арную операцию типа (2,1,\ldots,1) (номер 1 приписан сорту A, а номер 2 — сорту \mathbb{B}).




Подалгебры и гомоморфизм в многосротных алгебрах


Рассмотрим теперь, как на многосортные алгебры распространяются понятия подалгебры и гомоморфизма.


Семейство (B_i)_{i\in I} называют подсемейством семейства (A_i)_{i\in I} (для одного и того же множества индексов I), если (\forall i\in I)(B_i \subseteq A_i).


Семейство (C_i)_{i\in I} называют объединением (пересечением) семейств (A_i)_{i\in I} и (B_i)_{i\in I}, если (\forall i\in I)(C_i=A_i\cup B_i) (соответственно (\forall i\in I)(C_i=A_i\cap B_i)).


Пусть \mathcal{A}=\bigl((A_i)_{i\in I}, \Omega\bigr) — многосортная алгебра и (B_i)_{i\in I} — подсемейство семейства (A_i)_{i\in I}.


Подсемейство (B_i)_{i\in I} называют Ω-замкнутым (или замкнутым относительно операций многосортной сигнатуры \Omega), если b_{i_1}\ldots b_{i_n} \omega\in B_{i_0} для всякой n-арной операции \omega\in\Omega типа (i_0,i_1,\ldots,i_n) (при произвольных n,\,i_0,i_1,\ldots,i_n) и любых b_{i_1}\in B_{i_1},\ldots,b_{i_n}\in B_{i_n}.


Для Ω-замкнутого подсемейства (B_i)_{i\in I} можно тогда определить однотипную с \mathcal{A} многосортную алгебру \mathcal{B}=\bigl((B_i)_{i\in I}, \Omega\bigr), которую называют многосортной подалгеброй алгебры \mathcal{A}.


Можно показать, что пересечение любого семейства Ω-замкнутых подсемейств есть также Ω-замкнутое подсемейство. Следовательно, для произвольного подсемейства (C_i)_{i\in I} семейства (A_i)_{i\in I} существует наименьшее относительно включения Ω-замкнутое подсемейство (B_i)_{i\in I}, содержащее подсемейство (C_i)_{i\in I} и называемое тогда Ω-замыканием этого подсемейства. Если Ω-замыкание подсемейства (C_i)_{i\in I} совпадает со всем семейством (A_i)_{i\in I}, то первое подсемейство называют системой образующих многосортной алгебры \mathcal{A}.


Семейство отображений (h_i)_{i\in I}, где h_i\colon A_i\to B_i,~i\in I, для однотипных многосортных алгебр


\mathcal{A}=\bigl((A_i)_{i\in I}, \Omega\bigr),\qquad \mathcal{B}= \bigl((B_i)_{i\in I}, \Omega\bigr)

называют многосортным гомоморфизмом алгебры \mathcal{A} в алгебру \mathcal{B}, если для каждой n-арной операции и \omega\in\Omega типа (i_0,i_1,\ldots,i_n) (при произвольных n,\,i_0,i_1,\ldots,i_n) и любых x_{i_1}\in A_{i_1},\ldots,x_{i_n}\in A_{i_n} есть


h_{i_0}(x_{i_1}\ldots x_{i_n}\omega)= h_{i_1}(x_{i_1})\ldots h_{i_n}(x_{i_n})\omega\,.

Многосортный гомоморфизм, все отображения которого суть биекции, называют многосортным изоморфизмом алгебры \mathcal{A} на алгебру \mathcal{B}. Очевидно, что если существует изоморфизм \mathcal{A} на \mathcal{B}, то существует и изоморфизм \mathcal{B} на \mathcal{A}. Алгебры \mathcal{A} и \mathcal{B} называют в этом случае изоморфными многосортными алгебрами.


Аналогично обычным алгебрам в многосортных алгебрах вводят понятия многосортного моно- и эпиморфизма.


В качестве простого примера сошлемся на понятие линейного оператора (для линейных пространств над одним и тем же полем), известного из курса линейной алгебры. Оно является не чем иным, как многосортным гомоморфизмом, где отображение носителя одного поля в носитель другого является тождественным отображением.


Более сложными будут следующие примеры.




Пример 4.13. а. Рассмотрим модуль \mathcal{L}_1 над кольцом \mathbb{Z} целых чисел и модуль \mathcal{L}_2 над кольцом вычетов по модулю k (для некоторого целого k\geqslant2). Отображение h_1 определим как произвольный гомоморфизм аддитивной группы векторов первого модуля в аддитивную группу векторов второго, т.е. для любых векторов ж, у первого модуля имеет место равенство


h_1(x+y)=h_1(x)+h_1(y).

Отображение h_2 зададим как канонический гомоморфизм кольца \mathbb{Z} в фактор-кольцо \mathbb{Z}_k. Тогда, если для любого вектора \boldsymbol{x} первого модуля и любого целого \alpha выполняется равенство


h_1(\alpha\circ\boldsymbol{x})= h_2(\alpha)\circ h_1(\boldsymbol{x}),
(4.3)

семейство (h_1,h_2) есть многосортный гомоморфизм первого модуля во второй.


В частности, пусть группа векторов модуля \mathcal{L}_1 есть n-я декартова степень аддитивной группы целых чисел (т.е. группа целочисленных арифметических векторов размерности n по операции сложения); группу же векторов модуля \mathcal{L}_1 зададим как n-ю декартову степень аддитивной группы вычетов по модулю k (т.е. как группу по операции сложения по модулю k целочисленных арифметических векторов размерности n, каждая компонента которых принимает значения от 0 до k-1). Обозначая через [x]_k остаток от деления x на k~(x\in \mathbb{Z}), гомоморфизм h_1 зададим равенством h_1(\boldsymbol{x})= [\boldsymbol{x}]_k, где


\boldsymbol{x}= (x_1,\ldots,x_n)\in \mathbb{Z}^n,\qquad \bigl([x_1]_k,\ldots, [x_n]_{k} \bigr)\in\{0,1,\ldots,k-1\}^n.


По определению, h_2(\alpha)=[\alpha]_k,~ \alpha\in \mathbb{Z}. Умножение вектора на скаляр в каждом из модулей определим стандартно через умножение в соответствующем кольце, т.е. для первого модуля положим


\alpha\circ \boldsymbol{x}=\alpha\cdot \boldsymbol{x}=(\alpha\cdot x_1,\alpha\cdot x_2,\ldots,\alpha\circ x_n),

где \alpha\in \mathbb{Z},~ \boldsymbol{x}\in \mathbb{Z}^n, a для второго —


\alpha\circ \boldsymbol{x}= \alpha\odot_{k}\boldsymbol{x}= (\alpha\odot_{k}x_1, \alpha\odot_{k}x_2,\ldots, \alpha\odot_{k}x_n),

где \alpha\in\{0,1,\ldots,k-1\},~ \boldsymbol{x}\in\{0,1,\ldots,k-1\}^n. Тогда


h_1(\alpha\circ \boldsymbol{x})= [\alpha\cdot \boldsymbol{x}]_k= [\alpha]_k\odot_{k}[\boldsymbol{x}]_k= h_2(\alpha)\circ h_1(\boldsymbol{x}),
и равенство (4.3) выполняется.

В то же время если бы гомоморфизм h_1 мы задали как проектирующий, т.е. положили бы


h_1(\boldsymbol{x})= h_1(x_1,x_2,\ldots,x_n)=\boldsymbol{x}_i

(для некоторого фиксированного i,~ 1\leqslant i\leqslant n), тогда h_1(\alpha\circ \boldsymbol{x})=\alpha\cdot x_i, а


h_2(\alpha)\circ h_1(\boldsymbol{x})= [\alpha]_k\odot_{k}[x_i]_k= [\alpha\cdot x_i]_k\ne\alpha\cdot x_i\,.

Таким образом, в этом случае семейство (h_1,h_2) не будет многосортным гомоморфизмом, при том что каждое отображение семейства будет гомоморфизмом соответственно группы и кольца.


Заметим, что, если группы векторов рассмотренных модулей взять соответственно как аддитивную группу целых чисел и аддитивную группу вычетов по модулю k, многосортный гомоморфизм превращается в обычный канонический гомоморфизм кольца \mathbb{Z}.


б. Пусть векторами левого модуля \mathcal{M}_1 являются векторы какого-то конечномерного линейного пространства \mathcal{L} над полем действительных чисел, а скалярами модуля служат линейные операторы, действующие в этом пространстве. Пусть размерность пространства \mathcal{L} равна n. В качестве векторов модуля \mathcal{M}_2 рассмотрим линейное пространство действительных матриц-столбцов типа n\times1, а скаляров — квадратные матрицы n-го порядка (см. пример 2.12.г). Зафиксировав в пространстве \mathcal{L} базис, зададим отображение h_1 так, чтобы оно каждому вектору из \mathcal{L} сопоставляло столбец его координат в данном базисе, а отображение h_2 пусть для каждого линейного оператора, действующего в пространстве \mathcal{L}, дает его матрицу в том же базисе. Основываясь на известных результатах линейной алгебры, можно утверждать, что тем самым определен многосортный изоморфизм модуля \mathcal{M}_1 на модуль \mathcal{M}_2.




Замечание 4.6. Как и для обычного "односортного" случая, в теории многосортных алгебр можно доказать теоремы, аналогичные теоремам 4.3 и 4.4 и связывающие понятия многосортного гомоморфизма и многосортной фактор-силгебры. Не рассматривая этот вопрос подробно, заметим, что переход от многосортной алгебры \mathcal{A}=((A_i)_{i\in I}, \Omega) к ее фактор-алгебре осуществляется на основе многосортной конгруэнции — такого семейства отношений эквивалентности (\rho_i\subseteq A_i^2)_{i\in I}, что для любых попарно эквивалентных элементов a_i,b_i\in A_i,~i\in I, т.е. таких, что a_i\,\rho_i\,b_i, имеет место также и эквивалентность (a_{i_1}\ldots a_{i_n}\omega)\,\rho_{i_0}\,(b_{i_1}\ldots b_{i_n}\omega), какова бы ни была n-арная операция \omega\in\Omega типа (i_0,i_1,\ldots,i_n). Тогда любая такая операция может быть распространена на семейство фактор-множеств \bigl((A_i/\rho_i)_{i\in I},\Omega\bigr) согласно равенству


[a_{i_1}\ldots a_{i_n}\omega]_{\rho_{i_0}}= [a_{i_1}]_{\rho_{i_1}}\ldots [a_{i_n}]_{\rho_{i_n}}\omega\,.

Определенную таким образом многосортную алгебру называют фактор-алгеброй исходной алгебры \mathcal{A}=((A_i)_{i\in I},\Omega) относительно многосортной конгруэнции (\rho_i)_{i\in I}.


Многосортные алгебры широко используются в современном теоретическом программировании.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved