ЧАСТИЧНЫЕ ПОРЯДКИ НА *-РЕГУЛЯРНЫХ КОЛЬЦАХ Текст научной статьи по специальности «Математика»

ISSN 2074-1871 Уфимский математический журнал. Том 15. № 1 (2023). С. 35-43.

УДК 517.986.2

ЧАСТИЧНЫЕ ПОРЯДКИ НА ^-РЕГУЛЯРНЫХ КОЛЬЦАХ

К.К. КУДАЙБЕРГЕНОВ, Б.О. НУРЖАНОВ

Аннотация. В настоящей работе рассматриваются некоторые новые частичные порядки на *-регулярных кольцах. Пусть Л — *-регулярное кольцо, Р(Д) — решетка всех проекторов из Л и у — точная нормальная нормированная мера на Р(Д). Предположим, что (Л, р) — полное метрпческое *-кольцо относительно ранк-метрпки р на Л, определяемую следующим образом р(х,у) = ц,(1(х — у)) = ц,(г(х — у)), х,у £ Л, где 1(a), г (а) — левый и правый носитель элемента а, соответственно. На Л определим следующие три частичных порядка: а —s b ^^ b = а + с, а ± с; а —i b ^^ l(a)b = a; a —r b ^^ br(a) = а, а ± с означает алгебраическую ортогональность, т.е. ас = са = а*с = ас* = 0. Доказано, что порядковые топологии, ассоциированные с этими частичными порядками, сильнее чем топология, порожденная метрикой р. Рассматриваются сужения этих частичных порядков на подмножества проекторов, унитарных операторов и частичных изометрий *-регулярной алгебры Л.

В частности, показано, что эти три порядка совпадают с обычным порядком < на *

морфизмы *-регулярных колец сохраняют частичные порядки —¡и —г.

*

порядковая топология.

Mathematics Subject Classification: 46L10, 46L51, 16Е50

1. Введение

Г. Биркгоф и Дж. фон Нейман в своей знаменитой статье [1] показали, что набор утверждений квантовой механики имеет алгебраические свойства, отличные от булевой алгебры, а именно структуру ортомодулярной решетки. Тематика регулярных колец фон Неймана является частью некоммутативной теории колец, которая была первоначально введена фон Нейманом для прояснения некоторых аспектов операторных алгебр [2], [3]. Во многом развитие регулярных колец вызвано этой и рядом других связей с функциональным анализом двух основных типов: конструкции регулярных колец, ассоциированных с операторными алгебрами и полными дополненными модулярными решетками, а также структурными аналогиями между регулярными кольцами и операторными алгебрами. Современное состояние ортомодулярных решеток можно найти в работах [4], [5]. Существует ряд работ, посвященных звездному порядку и топологиям алгебр фон Неймана [6], [7]. В работе [6] была изучена топология, порожденная звездным порядком на алгебрах фон Неймана, и доказана, что порядковая топология тоньше, чем а-сильная* топология. Также показано, что порядковая топология совпадает с топологией сходимости по норме тогда и только тогда, когда алгебра фон Неймана конечномерна. В работе [8] авторы исследовали порядковую топологию на эрмитовой части алгебры фон Неймана

К.К. KUDAYBERGENOV, В.О. NURJANOV, PARTIAL ORDERS ON *-REGULAR RINGS. © КУДАЙБЕРГЕНОВ K.K., НУРЖАНОВ Б.О. 2023.

Исследование первого автора выполнено при частичной финансовой поддержке Министерства науки и высшего образования Российской Федерации, соглашение № 075-02-2022-896. Поступила 25 декабря 2021 г.

и дали характеризацию многих важных свойств алгебр фон Неймана, таких как конечность, сигма-конечность, конечность и атомичность, с точки зрения того, как порядковая топология сравнивается с другими известными топологиями на алгебрах фон Неймана, В данной работе вводятся некоторые новые порядковые отношения на *-регулярных

кольцах в смысле фон Неймана, Работа организована следующим образом. Во втором па*

*

*

кольцах. Пусть Л — *-регулярное кольцо и а,Ь € Л. На Л определяются следующие три частичных порядка:

(1) а Ь ^^ Ь = а + с, а ± с;

(2) а —I Ь ^^ 1(а)Ъ = а;

(3) а —г Ь ^^ Ъг(а) = а.

Доказывается, что если Л является *-регулярной алгеброй с ранк-метрикой р, то порядковые топологии, ассоциированные с этими частичными порядками, сильнее, чем топология,

порожденная метрикой р. Также рассматриваются сужения этих частичных порядков на

*

алгебры Л.

*

*

гебрах Мюррея-фон Неймана из работ [3], [9], [10],

Кольцо Л называется *-кольцом (или кольцом с инволюцией), если существует операция * : Л ^ Л такая, что для всех а,Ь € Л выполняются следующие равенства

(а* )* = а, (а + Ь)* = а* + Ь*, (аЬ)* = Ь*а*.

Напомним, что элемент е *-кольца Л называется проектором, если е2 = е = е*.

Кольцо Л называется регулярным, если дл я каждого х € Л существует эле мент у € Л такой, что хух = х. Инволюция * в Л называется собственной, если из х*х = 0 следует, что х = 0 для любого х € Л. *-кольцо Л называется *-регулярным, если оно является регулярным кольцом с собственной инволюцией.

Пусть Л — *-регулярное кольцо. Тогда существует единственный проектор г(х) такой, что

(1) хг(х) = х;

(2) ху = 0 тогда и только тогда, когда г(х)у = 0. Аналогично существует единственный проектор 1(х) такой, что

(3) 1(х)х = х;

(4) ух = 0 тогда и только тогда, когда у1(х) = 0.

Проекторы г(х) и 1(х) называются соответственно правым и левым проектором х. Проектор в(х) = 1(х) V г(х) называется носителем элемента х.

Пусть Л — *-регулярное кольцо, и пусть Р(Л) — решетка всех проекторов из Л, т.е. Р(Л) = {р € Л : р2 = р = р*} . Действительнозначная функция р, на Р(Л) называется нормальной точной нормированной мерой, если

(1) 0 < р(р) < 1;

(2) р(0) = 0, р(1) = 1;

(3) р(р V д)+ р(р А о)= р(р) + р(д);

(4) р < д ^ р(р) < р(д);

(5) если pi ^ р, то р(рг) Т ^(р).

Рассмотрим так называемую ранк-метрику р на А, определяемую следующим образом

p(x, у) = p(l(x - y)), х,у еА (2.1)

(см, [3, Лемма 18,1]),

Одним из важных классов *-регулярных алгебр являются алгебры Мюррея-фон Неймана (подробнее см, [11] [15]),

Пусть Н — гильбертово пространство, В(Н) — *-алгебра всех ограниченных линейных операторов в Н и М — конечная алгебра фон Неймана в В(Н).

Замкнутый линейный оператор х : dom(x) ^ Не плотной областью определения (здесь область определения dom (х) оператора х является плотным линейным подпространством в Н) называется присоединеиным к М, если ух С ху для каждого у го коммутанта М' алгебры М. Обозначим через S(М) множество всех операторов, прнсоедпненных к М. Хорошо известно, что S(М) является унитальной *-регулярной алгеброй над C (см, [16], [17]), Алгебра S (М) называется алгеброй Мюррея-фон Неймана, асе оптированной с М [12].

Пусть т — точный нормальный конечный след на М и р — ранк-метрика на S(М), определенная как в (2,1), Согласно [18, Предложение 2,1], алгебра S(М) с метрикой р является полным топологическим *-кольцом. Кольцевые изоморфизмы алгебры S(М) и их *-подалгебр в случае алгебр типа II i были описаны в работах [19], [20],

Пусть М — конечная алгебра фон Неймана. Пусть а = vial — полярное разложение элемента а е S(М). Тогда l(a) = vv* и r(a) = v*v — левый и правый носители элемента а соответственно. Проектор s(a) = l(a) V г (а) является носителем эл емента а. Существует единственный элемент i (а) в S (М) такой, ч то ai(a) = 1(а), г (а) а = г(а), аг(а)а = а, г(а)1(а) = i (а) и r(a)i(a) = i (а). Элемент г(а) называется частичным обратным к элементу а. (см, [9], [15]),

*

з.1. Частичные порядки. В этом подпараграфе Л — *-регулярное кольцо с ранк-метрикой р. Более того, мы будем предполагать, что (Л, р) — полное метрическое *-кольцо.

Пусть а,Ь е А Мы говорим, что а адгебранчеекп ортогонален Ь, если

ab = ba = a* b = ab* = 0

(обозначается а ± Ъ). В частности, если а,Ь е Ли = {х е А : х = х*} , то а алгебраически ортогонален Ь, тогда и только тогда, когда ab = 0.

Отметим, что а адгебраически ортогонален Ь, тогда и только тогда, когда s(a)s(b) = 0. Действительно, предположим, что s(a)s(b) = 0. Тогда

r(a)l(b) = r(b)l(a) = l(a)l(b) = r(a)r(b) = 0

и, следовательно, ab = ba = a*b = ab* = 0.

Если а и b алгебраически ортогональны, то отсюда следует, что

r(a)l(b) = r(b)l(a) = l(a)l(b) = r(a)r(b) = 0.

Таким образом, l(a) < 1 — l(b) и г (а) < 1 — l(b) и, следовател ьно, s(a) < 1 — l(b). Значит, s(a)l(b) = 0. Аналогично s(a)r(b) = 0. Таким образом, 1(Ъ) < 1 — s(a) и г(Ъ) < 1 — s(a) и, следовательно, s(b) < 1 — s(а). Значит, s(a)s(b) = 0. Для элементов а,Ъ е Л положим

а s b ^^ b = а + с, а ± с, а —i b ^^ l(a)b = а, а —г b ^^ Ъг(а) = а. Лемма 3.1. Пусть а,Ь е А. Тогда

а —s b тогда и только тогда, когда, s(a)b = bs(a) = а. (3,1)

Доказательство. Предположим, что а — Ь. В таком случае Ь = а + с, где а, с Е А такие, что 5 (а) в (с) = 0. Тогда

в(а)Ь = в(а)(а + с) = в(а)а + в(а)с = а

и

Ьв(а) = (а + с)з(а) = аз(а) + св(а) = а.

Теперь предположим, что в(а)Ь = Ьв(а) = а. Тогда 1(а) = 1(Ьв(а)) < 1(Ъ) < в(Ь) и г(а) < г(в(а)Ь) < г(Ь) < в(Ь). Следовательно, в(а) = 1(а) V г(а) < з(Ъ) V з(Ъ) = з(Ъ).

Рассмотрим разложение Пирса Ь = еЬе + еЬ/ + ¡Ье + где е = 5 (а) и / = 1 — в (а). Поскольку в(а)Ь = Ьв(а) = а, то из этого следует, что еЬе = а, еЬ/ = ¡Ъе = 0. Таким образом, Ь = а + с, где с = fbf.^ш как в (а) в (с) = ев (с) = е(/в(с)) = е/в(с) = 0, то имеем а — Ь. □

Лемма 3.2. Пусть а,Ь Е Л. Тогда,

а — Ь ^ а —1 Ь а* — Ь*. (3.2)

Доказательство. Пусть а — Ь, т.е. в(а)Ь = Ьв(а) = а. Таким образом, имеем

а = 1(а)а = 1(а)в(а)Ь = 1(а)Ь,

т.е. а —I Ь.

Поскольку г(а*) = 1(а), то следует, что а —I Ь а* —г Ь*. □

Лемма 3.3. Отношение —, где — Е {—3, —I, —г}, является частичным порядком на, Л, т.е.

(1) х — х;

(2) х — у, у — х ^ х = у;

(3) х — у, у — х ^ х — г.

Доказательство. Утверждение леммы проверим для случая — .Случаи —8 и — аналогичны.

Свойство (1) очевидно. Отметим, что из а — Ь следует, что

1(а) < 1(Ь). (3.3)

В самом деле, 1(а) = 1(Ьг(а*)) < 1(Ь).

Возьмем элементы х,у Е Л такие, что х —I у, у —I х. Тогда 1(х) < 1(у) и 1(у) < 1(х), т.е. 1(х) = 1(у). Далее, имеем

ж = 1(х)у = 1(у)у = у.

Пусть х —I ушу —I г. Тогда

1(Х) < 1(у), 1(у) < 1(г).

Таким образом,

х = 1(х)у = 1(х)(1(у)х) = 1(х)1(у)х = 1(х)х. Следовательно, х —I г. □

В общем случае, обратное к первой импликации в (3.2) неверно. Пусть Л — *-регулярное кольцо, содержащее кольцо матриц порядка 2. Возьмем ненулевые взаимно ортогональные эквивалентные проекторы р,д Е Л и элемент и Е Л такие, что и*и = р, ии* = д. Положим а = и* и Ь = и* + и. Тогда

1(а) = р, г(а) = д, в(а) = р + д.

Далее,

1(а)Ъ = 1(а)(и* + и) = р(и* + и) = ри* = а.

Таким образом, а —I Ь. Но

в(а)Ь = (р + д)Ь = Ь = а,

следовательно, а — Ь является неверным. Отметим, что

а — Ь ^ аЬ = Ьа = а2. (3,4)

Действительно, для элементов а и Ь, удовлетворяющих условию а — Ь, используя (3,1), имеем

аЬ = (ав(а))Ь = а(в(а)Ь) = а2 = (Ьв(а))а = Ьа.

Отметим, что бинарное отношение < на А является частичным порядком [4, Пример 1,6,7]:

а < Ь тогда и только тогда, когда аЬ = Ьа = а2.

В общем случае, обратная импликация в (3,4) неверна. Пусть А — *-регулярное кольцо, содержащее фактор типа 13. Возьмем ненулевые взаимно ортогональные эквивалентные проекторы р,д,г Е А и элементы а,Ъ Е А такие, что а*а = р, аа* = д,Ь = г. Тогда

аЬ = Ьа = 0 = а2,

но неравенство а Ь является неверным. Следует отметить, что

(а —I Ь) Л (а —г Ь) ^ аа* = Ьа*, а*а = а*Ь.

Действительно, для элементов а и Ь, удовлетворяющих условию а —I Ь, имеем

Ьа* = Ы(а*)а* = Ъг(а)а* = аа*,

и из неравенства а —г Ь следует

а*Ъ = а* г(а*)Ь = а*1(а)Ъ = а* а.

Отметим, что бинарное отношение -< на А, определяемое следующим образом

а — Ь аа* = Ьа*, а* а = а*Ь

является частичным порядком [6], [7], [21], [22], Этот порядок называется звездным по*

М.П, Дразиным в работе [21],

3.2. Порядковая топология. В этом подпараграфе мы будем рассматривать порядковые топологии па *-регулярном кольце А, порожденные частичными порядками — 8, —г и —г .

Понятие порядковой сходимости сети было введено Г. Биркгофом (см. [1]). Напомним понятие порядковой топологии или (о)-топологии (подробнее см, [1], [23]), Пусть — Е —I, —г}. Для сети {ха}аел С А понятие ха ^ х (соответственно ха ^ ж), где х Е А, означает, что ха — (соответетве нно хр — ха) да я а < ¡3 и х = вир ха (соответственно,

х = т£ жа). Сет ь {ха}аеА С А называется (о)-сходящейся к эле менту х в А (обозначается

ха х), если существуют сети {уа}аеА и {га}аеА из А такие, что уа — ха — ха для каждого а Е Аъуа ^ х, га ^ х. Сильнейшая топология на А, для которой (о)-еходимоеть сетей влечет их сходимость в топологии называется порядковой топологией или (о)-топологией, и обозначается 10(—).

Пусть — топология па ^порожденная ранк-ме трикой р.

Теорема 3.1. Пусть А — * -регулярное кольцо с ранк-метрикой р такое, что (А, р) является полным метрическим *-кольцом. Тогда порядковая топология Ь0(-<) сильнее, чем Ьр.

Для доказательства теоремы достаточно показать, что любая сеть {ха} С А, которая (о)-сходнтся к нулю, также сходится к нулю относительно топологии Мы докажем это в следующих двух леммах.

Лемма 3.4. Пусть {ха}аел С (А, —) — возрастающая (соответственно убывающая) сеть, где — Е { —3, —I, —г}■ Тогда существует х Е А такой, что

S)

(1) х = sup ха Е А (соответственно, х = inf ха Е А);

аеА аеА

(2) s(x) = sup s(xa) (соответственно, s(x) = inf s(xa));

аеА аеА

(3) xa У x.

Доказательство. Докажем три приведенных выше утверждения для случая — . Случаи —s и —г аналогичны.

Пусть [ха}аеА С (А, —) — возрастающая сеть. По скольку ха — для вс ex а < ft, то отсюда следует, что 1(ха) < 1(х$) (см, (3,3)), Следовательно, существует проектор I = sup 1(ха). Тогда

аеА

Т(1(х/з - ха)) = т(1(х/з - 1(ха)хр)) = т(1((1(х/з) - 1(ха))хр)) < т(1(хр) - 1(ха)) < т(I - 1(ха)) - 0.

Далее имеем

p(xfi,ха) = т(1(хр - ха)) — 0.

Это означает, что {ха}аеА является сетью Коши, Поскольку (А, р) полно, то существует элемент х Е А такой, что р(ха,х) — 0, т.е. ха -А х. Сначала покажем, что ха — х для всех а Е А.

Пусть 7 Е А — фиксированный индекс. Для всех а > 7 имеем l(x7)ха = х1, поскольку х-у — ха. Так как умножение в А ^непрерывно, отсюда следует, что 1(х~()ха -А 1(х~()х. Таким образом, 1(х1 )х = х1 и, следовательно, x~f — х, в частности, 1(ха) < 1(х) для всех а Е А.

Поскольку ха -А х, 1(ха) < 1(х) для всех а Е А, то отсюда следует, что l(x) = sup 1(ха).

аеА

Возьмем элемент у Е А такой, что ха — у, и покажем, что х — у. Имеем

для всех а Е А. Таким образом,

1(Ха)У Ха

lj(Xa)y 1(Ха)Х

для всех а Е А Поскольку l(x) = sup 1(ха), то

аеА

1(х)у = X.

Это означает, что х — у и, следовательно, х = supха. □

аеА

Пусть у — х — z. Тогда

p(x,z) < p(y,z) и р(у,х) < p(y,z). (3.5)

Докажем первое неравенство. Используя равенство

1(х)у = х,

получаем, что

р(х, г) = т(1(г — х)) = т(1(г — 1(х)г)) = т(1((1(г) — 1(х))г)) < т(1((1(г) — 1(у))г)) < т(1(г — у)) = р(у, г).

Лемма 3.5. Если X ^ - X, ТГ10 X ^ ^ X.

Доказательство. Пусть ха — х. Тогда существуют сети {уа}аеА и {га}аед такие, что Уа — — для каждого а Е А и уа ^ х, га х. По лемме 3.4 (3) имеем уа -— х и га -— х. Используя эти соотношения, получим

(3.5)

р(ха,х) < р(ха,уа)+ р(уа,х) < р(га,уа)+ р(уа,х) < р(га,х) + р(х, уа) + р(уа,х) — 0,

т.е. ха —— х. □

Замечание 3.1. Заметим, что если, А — конечномерная *-регулярная алгебра, с ранк-метрикой р, то обе топологии, Ь0 и являются, дискретными,. Действительно, поскольку А — конечномерна, то множество всех значений функции р конечно. Следовательно, топология является, дискретной. Кроме того, поскольку Ь0 должно быть сильнее, чем Ьр, то отсюда, следует, что порядковая топология также дискретна.

3.3. Сужение порядка на решетке проекторов и множестве частичных изо-метрий. Пусть Дн — подмножество всех эрмитовых элементов из А и А+ — конус всех положительных элементов из Дн, т.е, А+ = {х Е Ан ■ х = у2, у Е Ан} .Пуст ь < — обычный порядок на Ан, поэтому для х,у Е Ан неравенство х < у означает, что у — х Е А+.

Частичные порядки — 8, —г и — г на множестве Р(А) всех проекторов из А совпадают <.

Действительно, пусть р,д Е Р(А) такие, что р —г д, где г Е {в,1,г}. Поскольку в(р) = 1(р) = г(р) = р, то го равенств 1(р)д = дг(р) = р вытекает, что рд = др = р, а это означает, что р < д.

Наоборот, если р < д для р,д Е Р(А), то го этого следует, что рд = др = р. Значит, Р —г Е {в, I, Г'}.

Обозначим через ЯМ(А) множество всех частичных изометрий в А, т.е.

ЯМ(А) = {т Е А ■ т = *т} .

Отметим, что 1(1и) = ww* и г(т) = ш*т являются левым и правым носителями для т Е Яи (А).

На множестве ЯМ (А) можно определить частичный порядок следующим образом:

^ У V * * *

и ^I V ^ ии ^ т , и = ии V.

Ясно, что

и ^г V ^ и и ^ V V, и = ьи и

также определяет частичный порядок па множестве ЯМ (А) и

и ^I V ^ и ^г V .

Это означает, что сужения частичных порядков —¡и — г на ЯМ (А) совпадают с частичными порядками ^г и , соответственно.

Ф(1(х)) = Ф(хг(х)) = Ф(х)Ф(г(х))

I (Ф(1(х))) < I (Ф(х)).

Ф(ж) = Ф(1(х)х) = Ф(1(х))Ф(х).

I (Ф(х)) < I (Ф(1(х))) I (Ф(х)) = I (Ф(1(х))).

(3.7)

(3.6)

3.4. Кольцевые изоморфизмы — отображения, сохраняющие порядок. Покажем теперь, что кольцевые изоморфизмы регулярных колец сохраняют частичные порядки — и —г .

Предложение 3.1. Пусть Л, В — *-регулярные кольца н Ф : Л ^ В — кольцевой изоморфизм. Тогда

1. х —I у тогда и только тогда, когда, Ф(ж) —I Ф(у).

2. х —г у тогда и только тогда, когда, Ф(ж) —г Ф(у).

Доказательство. Достаточно рассмотреть случай —г .Случай —г аналогичен. Пусть х —I у, т.е.

1(х)у = х.

Имеем и поэтому Далее,

Следовательно, и

В конечном итоге, имеем

(3.7)

I (Ф(х)) Ф(у) I (Ф(1(х))) Ф(у) = I (Ф(1(х))) Ф (1(х)) Ф(у) = I (Ф(1(х))) Ф (1(х)у) (3=6) I (Ф(1(х))) Ф (х)

I (Ф(ж))Ф(ж) = Ф(ж).

Это означает, что Ф(ж) —I Ф(у). Ф

пликация также верна. □

Благодарности

Авторы выражают глубокую благодарность рецензенту за ценные замечания и предложения.

СПИСОК ЛИТЕРАТУРЫ

1. G. Birkhoff, J. von Neumann. The logic of quantum mechanics // Ann. of Math. 37:4, 823-843 (1936).

2. J. von Neumann. Continuous rings and their arithmetics // Proc. Nat Acad. Sci. U.S.A. 23, 341-349 (1937).

3. J. von Neumann. Continuous geometry. Princeton: Princeton University Press. 1960.

4. A. Dvurecenskij, S. Pulmannova. New trends in quantum structures. Dordrecht: Springer. 2000.

5. P. Ptak, S. Pulmannova. Orthomodular structures as quantum logics. Dordrecht: Kluwer Academic Publishers Group. 1991.

6. M. Bohata. Star order and topologies on von Neumann algebras // Mediterr. J. Math. 15:4, 14 pp. (2018).

7. Х.Р. Zhang, W.J. Shi, G.X. Ji. Star partial order in a von Neumann algebra // Acta Math. Sinica (Chin. Ser.). 60:1, 19-30 (2017).

8. E. Chetcuti, J. Hamhalter, H. Weber. The order topology for a von Neumann algebra // Studia Math. 230:2, 95-120 (2015).

9. S.K. Berberian. Baer *-rings. New York-Berlin: Springer-Verlag. 1972.

10. K.R. Goodearl. Von Neumann regular rings. London: Pitman. 1979.

11. R. Kadison, J. Ringrose. Fundamentals of the Theory of Operator Algebras, vol II. Orlando: Academic Press. 1986.

12. R. Kadison, Z. Liu. A note on derivations of Murray-von Neumann algebras // Proc. Natl. Acad. Sci. U.S.A. 111:6, 2087-2093 (2014).

13. M.A. Muratov, V.I. Chilin. *-algebras of unbounded operators affiliated with a von Neumann algebra // J. Math. Sci. 140:3, 445-451 (2007).

14. E. Nelson. Notes on non-commutative integration //J. Funct. Anal. 15:2, 103-116 (1974).

15. K. Saito. On the algebra of measurable operators for a general AW *-algebra //// Tohoku Math. J. 23:3, 525-534 (1971).

16. I.E. Segal. A поп-commutative extension of abstract integration // Ann. Math. 57:3, 401-457 (1953).

17. A. Thom. L2-cohomology for von Neumann algebras // Geom. Funct. Anal. 18:1, 251-270 (2008).

18. L. Ciach. Linear-topological spaces of operators affiliated with von Neumann algebra // Bull. Polish Acad. Sc. 31:3, 161-166 (1983).

19. Sh.A. Avupov, K.K. Kudavbergenov. Ring isomorphisms of Murray-von Neumann algebras // J. Funct. Anal. 280:5, 108891 (2021).

20. Sh.A. Avupov, K.K. Kudavbergenov. Ring isomorphisms of *-subalgebras of Murray-von Neumann factors // Lobachevskii J. Math. 42:12, 2730-2739 (2021).

21. M.P. Drazin. Natural structures on semigroups with involution // Bull. Amer. Math. Soc. 84:1, 139-141 (1978).

22. R.E. Hartwig, M.P. Drazin. Lattice properties of the *-order for complex matrices //J. Math. Anal. Appl. 86:2, 359-378 (1982).

23. B.Z. Vulikh. Introduction to the Theory of Partially Ordered Spaces. New York: Gordon and Breach. 1967.

Каримберген Кадирбергенович Кудайбергенов,

Институт математики им. В.И. Романовского АН Республики Узбекистан, ул. Университетская, 9, 100174, Ташкент, Узбекистан

Каракалпакский государственный университет им. Бердаха, ул. Ч. Абдирова, 1, 230112, Нукус, Узбекистан

Северо-Кавказский центр математических исследований ВНЦ РАН,

ул. Маркуса, 22,

362027, Владикавказ, Россия

E-mail: [email protected]

Бердах Орынбаевич Нуржанов,

Институт математики им. В.И. Романовского АН Республики Узбекистан, ул. Университетская, 9, 100174, Ташкент, Узбекистан

Каракалпакский государственный университет им. Бердаха, ул. Ч. Абдирова, 1, 230112, Нукус, Узбекистан E-mail: [email protected]