Научная статья на тему 'Об идеалах c *-алгебры, порожденной семейством частичных изометрий и мультипликаторами'

Об идеалах c *-алгебры, порожденной семейством частичных изометрий и мультипликаторами Текст научной статьи по специальности «Математика»

CC BY
188
38
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
C *-АЛГЕБРА / ЧАСТИЧНАЯ ИЗОМЕТРИЯ / PARTIAL ISOMETRY / ГЛАВНЫЙ ИДЕАЛ / ЦЕНТРАЛЬНЫЙ ПРОЕКТОР / CENTRAL PROJECTION / АЛГЕБРА КАЛКИНА / CALKIN ALGEBRA / C *-ALGEBRA / PRINCIPAL IDEAL

Аннотация научной статьи по математике, автор научной работы — Кузнецова Алла Юрьевна, Патрин Евгений Владимирович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

subalgebra of the algebra of all bounded operators on the Hilbert space l 2 generated by the multiplier algebra and a family of partial isometries satisfying some relations is covered in the paper. The ideals of the algebra under study, as well as the ideals of the quotient algebra, are considered over compact operators. It is demonstrated that the quotient algebra can be represented as a direct sum of two principal ideals and has nontrivial center.

Текст научной работы на тему «Об идеалах c *-алгебры, порожденной семейством частичных изометрий и мультипликаторами»

____________УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА

Том 157, кн. 1 Физико-математические науки

2015

УДК 517.98

ОБ ИДЕАЛАХ C*-АЛГЕБРЫ, ПОРОЖДЕННОЙ СЕМЕЙСТВОМ ЧАСТИЧНЫХ ИЗОМЕТРИЙ И МУЛЬТИПЛИКАТОРАМИ

А.Ю. Кузнецова, Е.В. Патрин

Аннотация

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

Ключевые слова: О * -алгебра, частичная изометрия, главный идеал, центральный проектор, алгебра Калкина.

Введение

В настоящей работе мы продолжаем исследовать свойства алгебры , конструкция которой была предложена в [12]. Алгебра является операторной алгеброй, порожденной семейством частичных изометрий и мультипликаторами, или, что то же, полугруппой (с некоторой системой соотношений на образующие) и максимальной коммутативной подалгеброй. Отправной точкой является заданное на произвольном счетном множестве отображение, которое определяет на пространстве l2 семейство частичных изометрий, чьи проекторы на начальные и конечные подпространства удовлетворяют определенным соотношениям.

В работе [1] Кунц впервые начал исследовать операторную алгебру On, n € (N \ {1}) U {то}, порожденную семейством некоммутирующих изометрий, чьи проекторы на конечное подпространство в сумме дают единицу. С этой работы начались исследования алгебр, порожденных как изометриями, так и частичными изометриями, удовлетворяющими некоторым соотношениям. В качестве примера можно привести алгебры Кунца-Кригера [2], Кунца-Пимзнера [3], алгебры, ассоциированные с операторами подсдвига [4, 5].

Алгебру можно в некотором смысле отнести к алгебрам, порожденным

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

С другой стороны, алгебру можно рассматривать как модификацию алгебры Арзуманяна - Вершика [6, 7], которая определяется как регулярное представление алгебры, порожденной бициклической полугруппой и некоторой коммутативной алгеброй с фиксированными коммутационными соотношениями.

В [12] было показано, что алгебра является ядерной Z-градуированной алгеброй, причем подалгебра, отвечающая нулю, является индуктивным пределом лиминальных C* -алгебр.

51

52

А.Ю. КУЗНЕЦОВА, Е.В. ПАТРИН

В настоящей работе мы описываем семейства собственных идеалов алгебры , а также центр и семейства главных идеалов факторалгебры по компактным операторам (аналог алгебры Калкина). Приводятся примеры алгебр для инъективного отображения.

1. Необходимые сведения

Пусть p : X —> X - отображение некоторого счетного множества в себя. Мы предполагаем, что для любого элемента мощность прообраза под действием отображения p ограничена. Кроме этого, предполагается, что на X отсутствуют циклические для p элементы, то есть не существует такого x G X, что pn(x) = x для некоторого n G N.

Пусть Ey = {x G X : pk (x) = y}, k G Z+ . В частности, E0 = {y}, E1 = Ey = = {x G X : p(x) = y} - полный прообраз элемента y G X. Элемент y G X, для которого Ey = 0, назовем p-начальным (или просто начальным). Очевидно, что если yi = y2, то E^ р| E^ = 0, и для каждого к множество X можно представить

в виде дизъюнктного объединения Ц Ey .

yex

Семейство функций {ex}xex, где ex(y) = Sx,y (Sx,y - символ Кронекера), образует естественный ортонормированный базис в гильбертовом пространстве l2(X) = = {f : X ^ C : ^2 \f(x)\2 < то}. При каждом фиксированном к гильбертово

xeX

пространство l2(X) можно представить в виде прямой суммы конечномерных подпространств, l2(X) = ф l‘2(Ely). Отображение p индуцирует оператор

yex

Tv : l2(X) l2(X), T f = f ◦ p.

Нетрудно проверить, что сопряженный к Tv оператор вычисляется по формуле

f Е f (x), если Ey = 0,

(Tf )(y) = \ xeEy

I 0, если Ey = 0.

Легко увидеть, что на базисных элементах T*ex = ev(x).

Оператор Tv, очевидно, определен на P(X) - пространстве всех конечных линейных комбинаций базисных функций. Область определения T* плотна, то есть T является сопряженным к плотно определенному оператору, следовательно, допускает замыкание.

Если же мощность прообраза ограничена в совокупности, то оператор Tv является ограниченным на l2(X).

В [11] было показано, что операторы T*TV и TVT* являются в существенном самосопряженными. Говоря о неограниченных операторах Tv, T*TV и TVT*, мы будем подразумевать их замыкания.

Имеем, что T*Е„ = ® kPk , где Pk -проектор из l2(X) на l2(Xk) = {f G l2(X) :

T keN

T*Tf = kf} и l2(X) = 0 l2(Xk) (если Xk = 0, то полагаем l2(Xk) = {0}).

kez+

Аналогично, TVT* = ® kQy, где Qy - проектор на l2k = {f G l2(X) : TvT*f =

keN

= kf} для всех k = 0. Определив l2 как ортогональное дополнение ко всем остальным lk, получим l2(X) = ф lk .

kez+

Заметим, проекторы Pk и Qk являются эквивалентными и в общем случае не коммутируют друг с другом.

ОБ ИДЕАЛАХ О* -АЛГЕБР

53

Соответствующий оператор частичной изометрии Uk, к — 0, определяется следующим образом:

' 9у, если у е Xk,

Соответственно,

Uk ву —

Ukgy —

0, если у </ Xk.

I ву, если у е Xk, 10, если у е Xk ■

1

Здесь семейство функций ду — £ вх при у е Xk образует ортонормирован-

ук xeEy

ный базис в пространстве lk при к — 0.

Тогда оператор Tv — U\ + %/2Ui + • • • + ^/mUm + • • • . Заметим, что для всех к

Uk — —^ QkTv и выполняются равенства: к

Г £ UkЩ — £ Qk — Q : l2(X) —> ф l\,

I keN keN keN

I £ U*kUk — £ Pk — P : ll(X) —> ф ll(Xk).

keN keN keN

Операторная алгебра, порожденная таким семейством частичных изометрий, изучалась в работах [8-11], в них можно также найти подробное изложение всех приведенных выше сведений.

Пусть Cb(X) - алгебра всех ограниченных функций на X. Каждая функция f из Cb(X) порождает оператор

Mf : ll(X) ll(X), Mfд — fg,

где д е ll(X), и (Mf )* — Mj. Обозначим через M(X) C*-алгебру, порожденную всеми операторами Mj (мультипликаторами), f е C^(X).

Обозначим через Mv C*-подалгебру B(l2(X)), порожденную алгеброй M(X) и операторами частичной изометрии {Uk}keN. Любое конечное произведение операторов из семейства {Uk}keN, {Uk}keN и мультипликаторов назовем мономом. Очевидно, что линейные комбинации мономов плотны в Mv. Указанная алгебра была введена в работе [12], где были исследованы ее основные структурные свойства.

2. Идеалы в алгебре Mv

Сначала сформулируем критерий неприводимости алгебры Mv в терминах отображения <р. Это отображение порождает направленный граф (X,^[X]) с вершинами в точках x множества X и ребрами (x,p(x)).

Теорема 1. Если граф (X,^[X]) связный, то алгебра Mv неприводима.

Доказательство. Алгебра M(X) С Mv содержит все проекторы вида {Ру :— — MXY }ус_х , где ху - индикатор подмножества Y С X, в частности одномерные проекторы Р{х} :— MX{x}. Это означает, что если для фиксированной функции f для некоторого вх выполняется (f,ex) — 0, то вх е Mf. Отсюда и из связности графа следует, что M'v — CI, где I — id;2(x), а значит, Mv неприводима. □

Заметим, что алгебра Mv является унитальной.

54

А.Ю. КУЗНЕЦОВА, Е.В. ПАТРИН

Следствие 1. Если граф (X,p[X]) связный, то содержит идеал ком-

пактных операторов K(l2(X)).

В дальнейшем будем предполагать граф (X,p[X]) связным.

Отображение р задает частичный порядок на множестве X. Будем записывать x У у, если существует такой m G Z+, что рт(у) = x. Распространим отношение порядка на естественный базис {ex}xex пространства l2(X), полагая ex У ey, если x У у. Введенное отношение транзитивно, то есть если ex У ez и ez У ey, то ex У ey. Из (Ukex,ey) = 0 следует ex У ey, а из (U£.ex,ey) =0 - ey У ex.

Обозначим £x = У E£. Пусть Px - проектор на подпространство Hx с ба-kez+

зисом {ey : у G Ex}. Очевидно, что Px G для любого x, поскольку Cb(X) содержит индикатор множества Ex .

Заметим, что если x У у, то из определению множества Ex следует, что Ey G Ex, следовательно Py < Px . Если же элементы x и у несравнимы, то Ey HEx = = 0. Отсюда следует

Предложение 1. Если ex и ey - базисные элементы и

1) ex У ey, то VxVy = PyPx = Py;

2) ex и ey несравнимы, то PxPy = 0.

Сформулируем теперь основную лемму.

Лемма 1. Пусть x - произвольный элемент множества X. Тогда имеет место включение

PxA — APx G K (l2(X)) У A G rnv.

Доказательство. Достаточно доказать утверждение для операторов из семейства {Uk}keN. Рассмотрим действие оператора PxUj — UjPx на базисных элементах. Предположим, что Ujey = 0 и у G Ex. Тогда, очевидно, (PxUj — UjPx)ey = = 0. Если у G Ex и ey = ev^x), то опять (PxUj —UjPx)ey = 0. Если же ey = ev^x), то

(PxUj — Uj Px)ey

Px Uj ey

1

71

Px ez

zeE(p(x)

7 ex

то есть оператор PxUj — UjPx является оператором конечного ранга. Для любого монома V оператор PxV — VPx будет являться оператором конечного ранга. Из плотности линейных комбинаций мономов в алгебре , вытекает утверждение леммы. □

Поскольку для любого x G X l2(X) = Hx ® , то справедливо аналогичное

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

утверждение.

Лемма 2. Пусть x - произвольный элемент множества X. Тогда имеет место включение

(I — Px)A — A(I — Px) G K (l2(X)) У A G rnv.

Теорема 2. Множества {PxMv+K(l2(X))}x x , так же как и {(I—Px)mv+ + K(l2(X))} x , образуют семейства замкнутых собственных идеалов в .

Доказательство. Доказательство непосредственно следует из лемм 1 и 2. □

Предложение 2. Если x У у, то Py+ K(l2(X)) C PxMv + K(l2(X)).

ОБ ИДЕАЛАХ О* -АЛГЕБР

55

Доказательство. Доказательство следует из предложения 1. Случай PyЖр+ + K(l2(X)) = PxMlp + K(l2(X)) возможен, когда Ex\Ey - конечное множество. Для определенности предположим, что y G Elx. Тогда для любого z G Elx (возможно, исключая у) найдется такой k G Z+, что Ej = 0, то есть множество Ex\£y состоит из начальных элементов и их образов. В этом случае Px — Py - конечномерный проектор. Очевидно, если р - сюръекция, то Py+K(l2(X)) С PxMv+K(l2(X)).

Теперь рассмотрим другие проекторы в , удовлетворяющие соотношению из леммы 1. Пусть xy - характеристическая функция некоторого множества Y и Py - соответствующий проектор. Каким условиям должно удовлетворять Y, чтобы PyA — APy g K(l2(X)) для любого A G ?

Лемма 3. Пусть Y С X - некоторое подмножество и

1) либо p\Y] С Y, либо card p\Y] \ Y = M < то;

2) либо p-1\Y] С Y, либо card p-1\Y] \ Y = M' < то.

Тогда Py A — APy G K (l2(X)) для любого A G .

Доказательство. Сразу предположим, что Y - счетное множество, то есть Py - бесконечномерный проектор, иначе утверждение выполняется автоматически. Как и раньше, достаточно доказать лемму для операторов {Uk}keN. Очевидно, что операторы PyUk — UkPy = 0 только на базисных векторах {ex}x^_lp[Y]\y , если р-1\У] С Y, или на {ex}xev[Y]\Y{j {ex}v-i [x]c¥-i[y]\y . Заметим, что при этом к принимает конечный набор значений, зависящий от множеств p[Y] \ Y и p-1[Y] \ Y. Так же очевидно, что размерность образа Py Uk — U-Py не превосходит max { {card Ev(z) : z G p[Y ] \ Y } U{card Ez : p-1[z] С p-1[Y ] \ Y max{M, M'}. □

Очевидно, что любой такой проектор порождает в идеал вида Py+ + K(l2(X)).

Заметим, что приведенные в лемме 3 условия на множество Y в общем случае не являются необходимыми. Но для отображения с ограниченной в совокупности мощностью прообраза можно сформулировать следующий критерий.

Теорема 3. Пусть р - отображение с ограниченной в совокупности мощностью прообразов и Y С X - некоторое подмножество. Множество Y порождает идеал PyЖ v + K(l2(X)) в Ж v тогда и только тогда, когда

1) либо р\У] С Y, либо card p\Y] \ Y = M < то;

2) либо p-1\Y] С Y, либо card p-1\Y] \ Y = M' < то.

Доказательство. Нам нужно только показать, что условия на Y являются

необходимыми. Действительно, если sup card p-1[y] = m < то, то оператор Tv =

yex

= Ui + \fPU2 + • • • + \/mUm G Жр, и если PyЖр + K(l2(X)) - идеал, то операторы PyTv — TvPy и PyT* — T*Py должны быть компактными. Области определения операторов {Uk}'k=i различны, и компактность оператора PyTv — TvPy (и PyT* — — T*Py ) означает компактность оператора Py Uj — Uk Py ( Py U* — U*Py ) для любого к = 1, 2,... ,m, а это невозможно при нарушении условий 1), 2). □

Теорема 4. Пусть Y С X - такое подмножество, что PyЖр + K(l2(X)) -идеал в Ж v . Тогда найдется такой элемент x G X, что

Py Ж + K (l2(X)) С Pxmv + K (l2(X)) либо

Py Ж + K (l2(X)) С (I — Px)mv + K (l2(X)).

56

А.Ю. КУЗНЕЦОВА, Е.В. ПАТРИН

Доказательство. Предположим, что найдется такой элемент x, что x У у для любого у € Y. Тогда Ex является минимальным множеством, содержащим подмножество Y. Тогда, очевидно, PY+ K(l2(X)) C PxMv + K(l2(X)). Заметим, что если множество Y такое, что граф (У,ф\У]) связен и ф-1\У] С Y, то

Py rnv + к (i2(x)) = VxMv + к (i2(x)).

Если же такого элемента x не существует, то рассмотрим множество X \ Y. Из условий леммы 3 на множество Y видно, что тогда найдется x, что x У у для любого у € X \ Y .В этом случае Py + K (l2(X)) C (I -Vx)Mv + K (l2(X)). □

3. Факторалгебра

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

Предложение 3. Подалгебра M(X) является максимальной коммутативной подалгеброй в B(l2(X)).

Доказательство. Коммутативность алгебры M(X) очевидна. Допустим, что найдется такой оператор A € B(l2(X)), что AP = PA для любого P € M(X). Но Cb (X) содержит характеристические функции любого элемента x € X, значит, M(X) содержит все одномерные проектора. Так как A коммутирует со всеми одномерными проекторами, он является линейной комбинацией одномерных проекторов, то есть A € M(X). □

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

Приведем важный результат [13, 14], которым воспользуемся в дальнейшем. Напомним, что факторалгебра алгебры B(H) по алгебре компактных операторов K(H) называется алгеброй Калкина C.

Теорема 5 [13]. Если A C B(H) - максимальная коммутативная подалгебра и п - фактор-отображение, то п(А) -максимальная коммутативная подалгебра в алгебре Калкина C .

Пусть = Mv/K(l2(X)) - факторалгебра по компактным операторам,

[Px] - класс эквивалентности проектора Px . Очевидно, что [Px] - проектор в . Напомним, что главным идеалом называется идеал, порожденный одним элементом.

Теорема 6. Для любого x € X множество [Px]Mv, так же как и [I -Px]MV является главным идеалом в .

Доказательство. Доказательство следует из лемм 1 и 2. □

Следующее утверждение вытекает из лемм 3 и 1.

Теорема 7. Пусть задано такое отображение ф : X —> X, что существует Y С X, причем

1) Py и Px\y - бесконечномерные проекторы;

2) либо ф[Y] С Y, либо card ф\У] \ Y = M < ж;

3) либо ф-1\¥] С Y, либо card ^-1\Y] \ Y = M' < ж.

Тогда факторалгебра обла,да,ет нетривиальным центром.

ОБ ИДЕАЛАХ О* -АЛГЕБР

57

Доказательство. Если Ру - бесконечномерный проектор, то [Ру] = 0, так же как и [I-Ру] = 0. Поскольку для любого A G Ш- (лемма 3) имеем Ру A-APy G G K(l2(X)), то в факторалгебре [Ру][A] — [A][Py] = 0, то есть [Ру] G Z(M-), где Z(M-) - центр факторалгебры Ш- . Таким образом, Ш- обладает нетривиальным центром. □

Заметим, что теорему 7 можно сформулировать и следующим образом:

Теорема 8. Пусть задано такое отображение <р : X —> X, что существует элемент x G X, для которого множество Ex счетно. Тогда факторалгебра Ш-обладает нетривиальным центром.

Доказательство. Все проекторы {[pxX}x-x лежат в центре Ш- при условии, что Ex - счетное множество (лемма 1).

Если же найдется множество Y, удовлетворяющее условиям теоремы 7, то по теореме 4 найдется такой x G X, что Y G Ex либо X \ Y G Ex . Таким образом, обе формулировки равносильны. □

Теорема 9. Пусть <р - отображение с ограниченной в совокупности мощностью прообразов и пусть [Р] - центральный проектор в Ш- . Тогда любой элемент из класса [Р] имеет вид Ру + K(l2(X)), где Y С X удовлетворяет условиям теоремы 3.

Доказательство. Поскольку [Р] - центральный проектор, он содержится в максимальной коммутативной подалгебре факторалгебры. Согласно теореме 5 прообраз [Р] лежит в M(X), а значит, имеет вид Ру, где Y - подмножество в X, очевидно, удовлетворяющее соответствующим условиям. Из теоремы 3 следует, что других центральных проекторов быть не может. □

Далее предполагается, что условие теоремы 7 выполнено.

Предложение 4. Для любых x,y G X выполнены следующие условия:

1) если x ~< у, то [Py]Ш- С [Px]Ш-;

2) если x и у несравнимы, то [Px]M- П [Py]Ш- = {0}.

Доказательство. Первое утверждение, очевидно, является аналогом предложения 2. Второе сразу следует из предложения 1, поскольку из PxPy = 0 следует [Px][Py ]=0 . □

Следствие 2. Факторалгебра Ш- представима в виде прямой суммы двух главных идеалов.

Доказательство. Из теоремы 6 следует, что Ш- = [Px]M- ® [I — Px]M- . □

Заметим, что если р - инъекция, то в алгебре Ш- может не быть главных идеалов ([Px] = I) и разложение становится вырожденным. Такой пример рассмотрен в следующем разделе.

4. Примеры

В качестве примера рассмотрим случай, когда алгебра Ш- порождается оператором правого сдвига и мультипликаторами, то есть задано

Р : Z+

Z+, р(п) = n + 1.

58

А.Ю. КУЗНЕЦОВА, Е.В. ПАТРИН

Обозначим полученную алгебру через M%. В данном случае алгебра порождается одним коизометричным оператором (см. [9]) Tv = U, UU* = I и мультипликаторами. Оператор U, согласно теореме Кобурна, порождает алгебру Теплица, в которой все бесконечномерные проектора имеют конечномерное дополнение до единицы. Однако алгебра M(X) содержит бесконечномерные проектора Ру, где Y - любое счетное множество. Таким образом, факторалгебра M% не будет коммутативна.

Предложение 5. Центр факторалгебры M% является тривиальным.

Доказательство. В данном случае для отображения правого сдвига существует начальный элемент - 0. Соответственно, для любого n G Z+ множество En будет иметь конечную размерность, а именно n +1. Отсюда все проекторы Pn будут операторами конечного ранга. Отсюда же и все проекторы Ру, если card( p[Y] \ Y) < ж, тоже будут операторами конечного ранга. Из теоремы 9 также следует, что других центральных проекторов в M% быть не может. □

Заметим, что в данном случае в алгебре M% нет главных идеалов.

Рассмотрим еще один пример. Теперь в качестве заданного отображения рассмотрим двусторонний сдвиг, то есть теперь задано

p : Z —> Z; p(n) = n + 1.

Таким образом, алгебра Mv порождается унитарным оператором U и мультипликаторами, обозначим ее через Me. Алгебра, порожденная только унитарным оператором, изоморфна алгебре функций, непрерывных на окружности.

Предложение 6. Центр факторалгебры Me порождается двумя элементами.

Доказательство. В отличие от предыдущего случая, рассматриваемое отображение является сюръекцией. Любой проектор Pn будет бесконечномерным и удовлетворять условиям теоремы 7. Очевидно, что Pn+m — Pn G K(l2(X)) для любого m. Для любого проектора вида Ру, где Y удовлетворяет условиям теоремы 7, найдется такой n G Z, что Pn — Ру G K(l‘2(X)) (см. теорему 4). Таким образом, любые два бесконечномерных проектора вида Pn и I — Pn, а также два бесконечномерных проектора вида Ру2 и Ру2 (где Yi, Y2 удовлетворяют условиям теоремы 7), дополняющих друг друга до единицы с точностью до компактного оператора, перейдут при фактор-отображении в одни и те же элементы, обозначим их для определенности [P+] и [P—, [P+] + [P— = [I]. □

Таким образом, факторалгебра Me имеет единственное разложение,

Me = [P+ ]Me 0 [P-]Me.

Summary

A.Yu. Kuznetsova, E.V. Patrin. On the Ideals of C*-Algebra Generated by a Family of Partial Isometries and Multipliers.

C* -subalgebra of the algebra of all bounded operators on the Hilbert space l2 generated by the multiplier algebra and a family of partial isometries satisfying some relations is covered in the paper. The ideals of the algebra under study, as well as the ideals of the quotient algebra, are considered over compact operators. It is demonstrated that the quotient algebra can be represented as a direct sum of two principal ideals and has nontrivial center.

Keywords: C* -algebra, partial isometry, principal ideal, central projection, Calkin algebra.

ОБ ИДЕАЛАХ О* -АЛГЕБР

59

Литература

1. Cuntz J. Simple О* -algebras generated by isometries // Commun. Math. Phys. - 1977. -V. 57, No 2. - P. 173-185.

2. Cuntz J., Krieger W. A class of О * -algebras and topological Markov chains // Invent. Math. - 1980. - V. 56, No 3. - P. 251-268.

3. Pimsner M.V. A class of О* -algebras generalizing both Cuntz-Krieger algebras and crossed products by Z // Free Probability Theory, Fields Inst. Commun. - Providence, RI: Am. Math. Soc., 1997. - V. 12. - P. 189-212.

4. Matsumoto K. On О* -algebras associated with subshifts // Int. J. Math. - 1997. - V. 8, No 3. - P. 357-374.

5. Matsumoto K. Relation among generators of О* -algebras associated with subshifts // Int. J. Math. - 1999. - V. 10, No 3. - P. 385-405.

6. ExelR., Vershik A. О * -algebras of irreversible dynamical systems: arXiv:math/0203185v1 [math.OA]. - 2002. - 19 p.

7. Арзуманян В.А. Операторные алгебры, ассоциированные с несингулярными эндоморфизмами пространства Лебега // Изв. АН АрмССР. - 1986. - Т. 21, № 6. -С. 596-616.

8. Grigoryan S., Kuznetsova A. О* -algebras generated by mappings// Lobachevskii J. Math. - 2008. - V. 29, No 1. - P. 5-8.

9. Григорян С.А., Кузнецова A.Ю. О* -алгебры, порожденные отображениями // Ма-тем. заметки. - 2010. - Т. 87, № 5. - С. 694-703.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

10. Grigoryan S., Kuznetsova A. On a class of nuclear О * -algebras // An Operator Theory Summer: Proc. 23rd Int. Conf. on Operator Theory. - Bucharest: Theta Foundation, 2012. - P. 39-50.

11. Кузнецова A.Ю. Об одном класе О * -алгебр, порожденных счетным семейством частичных изометрий // Изв. НАН Армении. Матем. - 2010. - Т. 45, № 16. - С. 51-62.

12. Кузнецова A.Ю., Патрин E.В. Об одном классе О * -алгебр, порожденных частичными изометриями и мультипликаторами // Изв. вузов. Матем. - 2012. - № 6. -С. 44-55.

13. Johnson B.E., Parrot K.S. Operators commuting with a von Neumann algebra modulo the set of compact operators // J. Funct. Anal. - 1972. - V. 11, No 1. - P. 39-61.

14. Shelan S., Steprans J. Masas in the Calkin algebra without the continuum hypothesis // J. Appl. Anal. - 2011. - V. 17, No 1. - P. 69-89.

Поступила в редакцию 16.01.15

Кузнецова Алла Юрьевна - кандидат физико-математических наук, ассистент кафедры теории относительности и гравитации, Казанский (Приволжский) федеральный университет, г. Казань, Россия.

E-mail: alla.kuznetsova@gmail.com

Патрин Евгений Владимирович - ассистент кафедры теории относительности и гравитации, Казанский (Приволжский) федеральный университет, г. Казань, Россия.

E-mail: evgeniipatrin@mail.ru

i Надоели баннеры? Вы всегда можете отключить рекламу.