Непрерывные характеры топологических абелевых n-арных полугрупп с сокращениями Текст научной статьи по специальности «Математика»

УДК 512.541

муХИн Владимир Васильевич, доктор физико-математических наук, профессор, профессор кафедры математического и программного обеспечения ЭВМ института информационных технологий Череповецкого государственного университета. Автор 150 научных публикаций, в т. ч. двух монографий, 30 учебных пособий

ёш: 10.17238/^п2227-6572.2015.3.117

СЕргЕЕВА дина Владимировна, преподаватель кафедры информатики и математики Вологодского института права и экономики Федеральной службы исполнения наказаний. Автор 17 научных публикаций, в т. ч. двух учебных пособий

непрерывные характеры топологических абелевых

парных полугрупп с сокращеншии

В работе изучаются гомоморфизмы топологических абелевых и-арных полугрупп с сокращениями в группу по умножению всех комплексных чисел по модулю равных 1. Такие отображения называются характерами. Множество всех непрерывных характеров топологической и-арной полугруппы X обозначаем X . Относительно поточечного умножения характеров множество X является бинарной группой. В качестве предварительного результата показано, что абелеву и-арную полугруппу с сокращениями X можно рассматривать в качестве и-арной подполугруппы и-арной группы G, которую по аналогии с бинарным случаем можно назвать и-арной группой частных абелевой и-арной полугруппы с сокращениями. В теореме 1 показано, что каждый характер абелевой и-арной полугруппы естественным образом продолжается до характера на и-арную группу ее частных. Группа X наделяется топологией равномерной сходимости на

компактных множествах. В теореме 2 устанавливается, что эта топология согласована с групповой структурой, т. е. XX становится топологической бинарной группой. В теореме 3 найдены условия, при которых группа X алгебраически и топологически изоморфна группе (3 . Группу непрерывных характеров бинарной группы XX обозначаем символом X . По аналогии с бинарным случаем рассматривается естественное отображение л изXв XX , которое для каждого х изXсоотносит характер л(х) группы XX в соответствии с формулой л(х)(х) = х(х) (х е X). В теореме 4 устанавливается, что если на топологической абелевой и-арной полугруппе с сокращениями X существует ненулевая инвариантная борелевская мера, то отображение л непрерывно и инъективно, X обладает непустым открытым множеством и таким, что сужение л на и является гомеоморфизмом и на открытое подмножество л(и) группы XX .

Ключевые слова: характер, п-арная полугруппа, топология, инвариантная мера.

Характеры на и-арных полугруппах и группах являются естественным распространением этого понятия с бинарного случая. Множество

© Мухин В.В., Сергеева Д.В., 2015

характеров и-арной полугруппы относительно обычного умножения функций является бинарной группой. Это, а также то, что то-

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

В данной работе изучаются группы характеров топологических абелевых и-арных полугрупп с сокращениями. Основными являются теоремы 3 и 4. В теореме 4 устанавливается связь между топологической абелевой и-арной полугруппой с сокращениями, обладающей ненулевой инвариантной мерой, и второй группой непрерывных характеров этой и-арной полугруппы. Данную теорему можно рассматривать как распространение результатов работы [1] на рассматриваемый случай.

Некоторые определения и предварительные результаты. Упорядоченную пару (X;[]), где X - непустое множество, [ ] - ассоциативная и-арная операция на X, называют и-арной полугруппой.

Последовательность а1,...,аи обозначаем через а", а результат операции [ ] на этой последовательности - через [а; ] Ассоциативность и-арной операции [ ] означает выполнение равенства

[[ -г ] -и2:-1 ]=[ х [ < ] ^ ],

для любой последовательности х12и 1 е X2и 1 и для любого j = 1,2,..., и -1. Стационарную последовательность а,...,а длины к будем обок

значать а . и-арную полугруппу (X;[ ] называют абелевой, если результат [ Хи ] не зависит от перестановки элементов последовательности -и для любой последовательности X е Xи.

Абелеву и-арную полугруппу (X;[ ] называют и-арной полугруппой с сокращениями, если отображение х ^ [о1и-1 х] (х е X) инъек-тивно для каждой последовательности а;-1 е Xи-1.

и-арную полугруппу ^ [ ] называют и-арной группой, если каждое из уравнений

[xa"-1 ] = a и [a"-1 x] = a (1)

разрешимо для любой последовательности

a"-1а е X".

В n-арной группе (X;[] последовательность а"-1 е X"-1 называют нейтральной последовательностью, если для некоторого x е X выполняется хотя бы одно из равенств: [xa"-1 ] = x, [a"-1 x] = x. Для любой последовательности a1"-2 е Xn-2 существует единственный элемент а е X такой, что последовательность a"-2a является нейтральной. Этот элемент a обозначаем [a" 2 ] 1. n-арную полугруппу (X;[ ] , наделенную топологией т, называют топологической n-арной полугруппой, если n-арная операция [] непрерывна по совокупности переменных. Допуская некоторую вольность, такой объект мы будем обозначать (X;[], т). n-арную группу (X;[], т) называют топологической n-арной группой, если она является топологической n-арной полугруппой и решение x каждого из уравнений в (1) непрерывно зависит от a"- а е Xn. Инвариантной мерой на топологической абелевой n-арной полугруппе (X;[], т) мы называем счетно-аддитивную неотрицательную функцию ц, определенную на о-кольце, порожденном совокупностью K (X) всех компактных подмножеств (X;[] , т) (элементы этого о-кольца называют борелевскими подмножествами X), конечную на любом компактном подмножестве X, такую, что

ц(В) = sup |ц(С) | C с B, C е K(X)} для любого борелевского множества В и

ц([ x"-1c ]) = ц(С) для любого компактного множества С и любой последовательности x" -1 е Xn-1, где

[х"-1C] := {[х"-1 x]| х еС}.

Пусть ¡X;[ ] - абелева и-арная полугруппа с сокращениями. В [2] показано, что существует абелева бинарная группа (3; ) и инъектив-ный гомоморфизм ф: X ^ О. Не ограничивая общности, будем отождествлять X с ф(X), т. е. будем предполагать, что X с О и что сужение бинарной операции из О на X совпадает с и-арной операцией на X, т. е. [х"] = х1 — • хи для любой последовательности х1и е Xи.

Предложение. Множество А = {х-(и-2)-уи-11 х, у еX} является п-арной подгруппой группы (; •), содержит множество X и является наименьшей п-арной подгруппой группы •), содержащей множество X, где п-арная операция () на А определяется равенством: (х1и) = х1 • — • хи для любой последовательности х1и е Аи.

Доказательство. Для любого х е X имеем

х-(и-2) хи-г = х е А .

Пусть xi, у{ е X, I = 1, 2, —, п

Тогда

( х- (и - 2) У;и-1 )• — •( х -- 2) упп-1 ) =

= (х; • — • хи )-(и-2) (У; • — • Уи Г' е А.

Пусть Ь2, а1, с еX, I = 1,2, —, п, х = Ь; • а;-1 х

X— • а _1, у = Ь • г 4 • • г .

"У и2 Ч ■■■ Си

Тогда ^ = х-(и-2)уи-1 является решением уравнения

- (и-2) и-1

г и-1 г, - (и-2) пи-1 _ — и -(и - 2) И и-1

а с; — а и с; z =ь; ь2

Следовательно, А является и-арной подгруппой группы {(;•).

Так как каждая и-арная подгруппа группы (; • ), содержащая множество X, содержит х-(и-2)уи-1 для любых х у е X, ибо из равенства х- (и- 2) хи-1 = х следует, что элемент х- (и-2) должен принадлежать и-арной подгруппе группы • ), содержащей X, то А является наименьшей и-арной подгруппой группы {О; •), содержащей множество X .

Предложение 1 доказано. Далее будем предполагать, что (О; ( )) -абелева и-арная группа, содержащая X , сужение и-арной операции () на X совпадает с [ ] и

О = •

и -2

х

и-1 у

х, у е X'

Основные результаты. Далее (X;[], т) топологическая абелева и-арная полугруппа с сокращениями, топология которой хаусдорфо-ва. Т - группа комплексных чисел по модулю равных единице с операцией обычного умножения чисел, наделенная естественной топологией. Отображение х: X ^ Т назовем характером и-арной полугруппы {X; [ ], т), если

х([ хи ]) = х( < )•—• х( хи)

для любой последовательности х1и е Xи.

Произведение двух характеров (непрерывных характеров) и-арной полугруппы (X; [ ], т) является характером (непрерывным характером) этой и-арной полугруппы, и множество X всех непрерывных характеров и-арной полугруппы (X; [ ], т) с так определенным умножением является абелевой бинарной группой. Бинарную группу X будем называть группой характеров топологической абелевой и-арной полугруппы (X;[] , т). Группу характеров

группы X будем обозначать символом X .

Теорема 1. Пусть х - характер абелевой п-арной полугруппы (X;[ ] . Тогда формула

Л

С , Л-1 ч

[их2] "У = (х(х))2-и (х(у))и-1, (х, у е X)

х I у

V х '

определяет характер на {О;( ) , причем его сужение на X совпадает с X.

Если /- характер (О; ( , то его сужение х на Xявляется характером (X;[ ] и/г совпадает с f.

Доказательство. Пусть х1, х2 у1, у2 е X и

и-2 4 1 и-1

и-2Ч 1 и—1

У1 У 2

и -1( и - 2\ и-1 и-1

X У1

Л

/ V

и-1 и-1

и -1 /" и-2Ч и-1 и-1

У11 У1 I Х1 У 2

Тогда

Отсюда имеем ^ х1 х2 у1 J = ^ у1 х1 у2 J.

Следовательно, Х( х,) (х( х2 ))и-1 (х( У1 ))и-1 = = Х( У1) (Х( -1 ))и-1 (Х( У 2 ))и-1 и поэтому

(Х(Х))2- и (Х(-2 ))и-1 = (Х(У1 ))2-и (Х(У2 ))и-1.

Тем самым корректность определения /х установлена. Ясно, что | /Х (х) | = 1 для любого

хеG.

Пусть g1 =

и-2 Ч 1 и-1

х (01 х2 (О

V 4 '

\

е(,

где х1 (О, х2(?) е X, I = 1,2,..., п . Из доказательства предложения имеем

V и-2 Ч-1 и-1

(g; )= (-1 (1). -1 (и)) (-2 (1)... -2 (и))

Л '

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

/х ((81)) = (х((х (1). х (п)))2-и (х((х2 (1). х2 (п)))и-1 =

= (Х(-1 (1)))2-и ■ . ■ (х(- (и)))2-и (х(((1)))и-1 ■ . ■ (х((и)))и-1 = = ((х(-1 (1)))2-и (х((1)))и-1) ■. ■ ((х((-(и)))2-и ■. ■ (х(-2 (и)))и-1) =

= /х(gl) ■.■* ■ /х(g").

Так как для любого - е^^имеем

Vу У

то /х (х) = (Х(х))2-и (Х(х))и-1 =Х(х).

Последнее утверждение теоремы очевидно. Теорема доказана.

Теорема 2. Группа XX , наделенная топологией равномерной сходимости на компактных подмножествах X, является топологической бинарной группой.

Доказательство. Семейство отклонений ( /к ) К еК ( X) на X, где /к (Х1, Х2) = sup{| Х1 (х)-х2 (х)|: : - е К}, порождает топологию равномерной сходимости на компактных подмножествах X в бинарной группе XX .

Для любых Х, Х1, Х2 е X , х е X справедливо равенство | х(х1 (- х(х2 (| = | х1 (- х2 (|. Отсюда следует, что Л (Х Х1, Х Х2) = /к (Х1, Х2) для любых х, Х1, Х2 е XX и любого К е К(X). Так как X является абелевой группой, то, как показано в [3], семейство отклонений ( /к ) К еК (X) порождает топологию, превращающую XX в топологическую группу.

Теорема доказана.

Теорема 3. Пусть (X; [ ], т) - топологическая абелева п-арная полугруппа с сокращениями и на п-арной группе {(; ( ^ задана такая локально компактная топология %а, превращающая ее в топологическую п-арную группу, что сужение топологии т( на X слабее топологии т и существует непустое множество и ет( п т такое, что сужения топологий т( и т на X совпадают.

Тогда /Хе( для всякого Х е X и отображение Х —^ /Х (Хе^) является изоморфизмом локально компактных групп X и (( .

Доказательство. Пусть х е X . Из теоремы 1 следует, что /х совпадает с Х на непустом множестве и, открытом в топологии т и в топологии . Так как Х непрерывна в каждой точке и, а сужения топологий т и т( на и совпадают, то /х непрерывна в каждой точке множества и . Пусть х0 е и , уо - произвольная точка ( . Существует последовательность а1и 1 е ( такая, что (а1и 1-о) = уо. Для каждого -из и имеем / (аи-1 х) = Л (а) ■. ■ /х (аи-1) ■ / (х). Так как отображение - ^ (а1и-1 -) является го-

меоморфизмом и на открытое подмножество (а1и-1и) группы О, то /х непрерывна в точке у0 .

Заметим, что если у е (3 , то сужение х характера У на X является характером на X , непрерывным характером на X , ибо сужение топологии на X слабее топологии т, и

/у / .

Отсюда следует, что отображение X ^ /х (х е X) является биекцией и, очевидно, и гомоморфизмом XX на (3 .

Покажем, что отображение х ^ /г (хеХ) является гомеоморфизмом. Пусть обобщенная последовательность |х(а)}иеА сходится к х в XX . Пусть К - компактное подмножество О в топологии , а С - фиксированная компактная окрестность у0 е V в топологии т, целиком лежащая в V . В силу условий теоремы 3 такое множество существует. Так как сдвиги х ^ (Ь1и-1 х) в О являются гомеоморфизмами, то из компактности К следует существование набора Ь1и-1 (г)еОи-1, i = 1,2,—,т такого, что

т

У (ЬГ1 (г)С )з К.

¿=1

Для любого х е С и любого i = 1,2, —, т обобщенная последовательность { М аеА

где

К (х) = /Х(а)((ьи-1 (г)х)) =

= /х(а)( Ь1 ( г ))^ —• /х(а)( Ь и-1 ( г ^ /х(а)( х ) =

= /х(а)( Ь1 ( г ))^—^ /х(а)( Ь и-1 ( г ) ) Ха ( х ) ,

равномерно сходится на множестве С к функции /х(Ь1 (г ))•-• /х(Ьи-1 (г ))•*( х) = фи-1 (г)х))

по направленности А, ибо { х(а) }аеА сходится равномерно на С к х по этой направленности А . Следовательно, обобщенная последовательность {/х(а) }аеА сходится к /х по направленности А. Тем самым мы доказали, что отобра-

жение х ^

х^/ (хе*)

непрерывно.

Так как каждое компактное подмножество X является компактным в О и обратное к отображению х ^ /х есть отображение, которое каждому характеру/из б ставит в соответствие характер из XX , равный сужению / на XX , то и отображение обратное к отображению х ^ /х (х е X) будет непрерывным отображением.

Так как О является локально компактным топологическим пространством [1], то и гомео-морфное с ним пространство XX локально компактно. Тем самым теорема 3 доказана.

Теорема 4. Если на топологической абеле-вой п-арной полугруппе (X; [ ], т) с сокращениями существует ненулевая инвариантная мера Ц, то топологические группы XX и XX являются локально компактными, естественное отображение р из X в XX , задаваемое формулой

р(х)(х) = х(х) (хеX),

непрерывно и инъективно, X обладает непустым открытым подмножеством V таким, что сужение р на V является гомеоморфизмом V на открытое подмножество р(и) локально компактной группы XX .

Доказательство. Пусть аи-2 е X'5-2 (О; ( )) - наименьшая абелева и-арная группа, содержащая (X;[ ] в качестве и-арной подполугруппы. Зададим бинарные операции * и ° на X и О соответственно формулами:

х * у = ( ха;-2у ) (х, у е X);

х ° у = ( ха1и-2у ) (х у еО).

Тогда (X, *) будет бинарной подполугруппой бинарной абелевой группы [О,°), а (X, *, т) - топологической бинарной полугруппой с ненулевой инвариантной мерой Ц.

Из теоремы 4.8 работы [4] следует, что на (О; °) существует такая локально компактная топология тО, превращающая О в топологическую группу, что (X, *, т) имеет открытый идеал V с открытыми сдвигами на элементы X

и для каждого такого идеала и имеем и ета, сужения топологий та и т на и совпадают, а сужение топологии та на X слабее топологии т.

Из равенства (х1и) = х1 о х2 о. о хи °I а , где х1и еаи, а - элемент из {(;( ) обратный к

последовательности а1 , следует, что и-арная операция ( ) непрерывна по совокупности аргументов в топологическом пространстве

(а, Та ) .

Пусть с1и-1, с е(и. Так как (хс^-1) = = (-аи-2ас1и-1) = х о (ас1и-1), то решение х уравнения (-сГ1) = с в (а; ( совпадает с решением уравнения хо(ас1и-1) = с в группе (а;о). Поэтому такое решение - непрерывно зависит в топологическом пространстве (а, та) от с и от (ас1и-1). Так как (ас1и-1) непрерывно зависит в (а, та) от ас1и-1 е аи по совокупности аргументов, то решение х непрерывно зависит в топологическом пространстве (а, та) от с1и-1с еаи. Таким образом мы показали, что ( ( ), является топологической и-арной группой.

Из теоремы 3 вытекает, что отображение Х ^ /х из XX в (3 будет изоморфизмом топологических групп; обозначим его через ф.

Для любого g е(3 композиция

(фо g )(Х) = g (Ф(Х)) (Хе£) является непрерывным характером группы XX , и отображение ф(g) = фоg (g еС) будет изоморфизмом топологических групп (3 и XX .

Пусть Н - обертывающая группа для топологической и-арной группы а, т. е. а с Н , Н обладает инвариантной подгруппой Ь такой, что yL = Ly = а для любого у еС , факторгруппа Н / Ь есть циклическая группа порядка

и -1, порожденная элементом уЬ, множества Ь, уЬ,..., уи-2 Ь попарно не пересекаются и в объединении дают Н, совокупность всех подмножеств группы Н вида {А ....■ Лк |Л, е,/ = 1,2,...,к,к = 1,2,...,и-1} образует базу локально-компактной топологии группы Н, согласованной с групповой структурой Н [5].

Заметим, что Н - абелева группа, каждое из множеств уа, где у е Н , является открыто-замкнутым подмножеством Н. Сужение этой топологии на а совпадает с топологией та.

Рассмотрим отображения:

а — а (£( х)(х) = Х( х), Х е а);

?: Н —Н £'(х)(х) = Х(х), ХеН); 7: а — Н (7(х) = х).

В теореме 4 из [1] показано, что отображение ^ из а в с является непрерывным инъек-тивным гомоморфизмом из а в (3 , при этом ^(а) является открытой и-арной подгруппой (3 и классом смежности по открытой подгруппе Ь группы 33 , и порядок <3 / L равен и -1. В теореме 3 из [1] установлено, что отображение л: Н — (3 , где л(х) - сужение характера Х е Н на а, является топологическим и алгебраическим изоморфизм Н на <3 . Отображение - изоморфизмом топологических групп (знаменитая теорема Понтрягина).

Пусть л* (у) = у о л (у е С). Тогда л* является изоморфизмом топологических групп С и Н . В [1] показано, что £(х) = л*-1(^'(/(х)). Отсюда следует, что £ - открытое отображение.

Пусть р - вложение X в С, т. е. р(х) = х. Тогда р является непрерывным отображени-

ем, а его сужение на открытое подмножество I - гомеоморфизмом I на р(1). Заметим, что р(х) = ф(i(р(х))). Отсюда и вытекает справедливость теоремы.

Список литературы

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

1. Мухин В.В., Сергеева Д.В. Теорема двойственности для локально компактных абелевых n-групп // Сибир. математ. журн. 2008. Т. 49, № 6. С. 1361-1368.

2. Markovski S. n-Subsemigroups of Cancellative Semigroups // Proc. of the symposium n-ary structures. Skopje, 1982. P. 149-156.

3. Бужуф Х., Мухин В.В. О топологиях на полугруппах, определяемых семействами отклонений и полунорм // Изв. вузов. Математика. 1975. № 5. С. 74-77.

4. Mukhin V.V. Invariant Measure on Topological Semigroups Which Have an Ideal with Open Translation Mapping // Semigroup Forum. 2001. Vol. 62. P. 159-172.

5. Cupona G. On Topological n-group // Bull. Soc. Math. Phys. 1971. № 22. P. 5-10.

6. Сергеева Д.В. О существовании инвариантных мер на топологических абелевых n-арных полугруппах с сокращениями // Вестн. Ижев. гос. техн. ун-та. Математика. 2013. № 2. С. 140-141.

References

1. Mukhin W, Sergeeva D.V. Teorema dvoystvennosti dlya lokal'no kompaktnykh abelevykh n-grupp [Duality Theorem for Locally Compact Abelian n-Groups]. Sibirskiy matematicheskiy zhurnal [Siberian Mathematical Journal], 2008, vol. 49, no. 6, pp. 1361-1368.

2. Markovski S. n-Subsemigroups of Cancellative Semigroups. Proc. of the symposium n-ary structures. Skopje, 1982, pp. 149-156.

3. Buzhuf Kh., Mukhin W O topologiyakh na polugruppakh, opredelyaemykh semeystvami otkloneniy i polunorm [On Topologies on Semigroups Defined by Families of Deviations and Seminorms]. Izv. vuzov. Matematika [Russian Mathematics (Iz. VUZ)], 1975, no. 5, pp. 74-77.

4. Mukhin V V. Invariant Measure on Topological Semigroups Which Have an Ideal with Open Translation Mapping. Semigroup Forum, 2001, vol. 62, pp. 159-172.

5. Cupona G. On Topological n-group. Bull. Soc. Math. Phys. R. S. Macedonia 22, (1971), pp. 5-10.

6. Sergeeva D.V. O sushchestvovanii invariantnykh mer na topologicheskikh abele-vykh n-arnykh polugruppakh s sokrashcheniyami [On the Existence of Invariant Measures on Topological Abelian Cancellative n-ary Semigroups]. Vestn. IzhGTU. Matematika [Bulletin of Kalashnikov ISTU. Mathematics], 2013, no. 2, pp. 140-141.

Mukhin Vladimir Vasil'evich

Institute of Information Technology, Cherepovets State University (Cherepovets, Russia)

Sergeeva Dina Vladimirovna

Vologda Institute of Law and Economics of the Federal Penitentiary Service of Russia (Vologda, Russia)

CONTINUOUS CHARACTERS OF TOPOLOGICAL ABELIAN CANCELLATIVE n-ary SEMIGROUPS

The paper studies the homomorphisms of topological Abelian cancellative n-ary semigroups into the group under multiplication of all complex numbers of modulus 1. These mappings are called characters. The set of all continuous characters of topological n-ary semigroup X is denoted XX . The setXX is a binary group with respect to the pointwise multiplication of characters. A preliminary result shows that the Abelian cancellative n-ary semigroup X can be considered as the n-ary subsemigroup of the n-ary group G, which as well as in the binary variant can be called the n-ary group of quotients of Abelian cancellative n-ary semigroup. Theorem 1 demonstrates that every character of Abelian n-ary semigroup naturally extends to the character on the n-ary group of its quotients. The group XX is endowed with the topology of uniform convergence on compact sets. Theorem 2 establishes that this topology is correlated with the group structure; i.e. XX becomes a topological binary group. Theorem 3 demonstrates the conditions of algebraic and topological isomorphism of the groupXX to the group G . The group of continuous characters of the binary groupXX is denoted by the symbol XX . By analogy with the binary variant we consider a natural mapping p from X into XX that the character p(x) of the groupX relates for every x of X in accordance with the formula p(x)(%) = %(x) (%еХ). Theorem 4 establishes that if there is a non-zero invariant Borel measure on a topological Abelian cancellative n-ary semigroup X, so the mapping p is continuous and injective, X has such nonvacuous open set U that restriction p to U is a homeomorphism of U onto the open subset p(U) of the group XX .

Keywords: character, n-ary semigroup, topology, invariant measure.

Контактная информация: Мухин Владимир Васильевич адрес: 162600, Вологодская область, г. Череповец, просп. Луначарского, д. 5;

e-mail: mukhinv1945@yandex.ru; mukhin@chsu.ru

Сергеева Дина Владимировна адрес: 160002, г. Вологда, ул. Щетинина, д. 2;

е-mail: dina_sergeeva@mail.ru