CC BY
18
С другой стороны (g22 -gп)2 > 0, т. е. (g22)2 - 2gng22 + С?п)2 > 0 • отсюда следует, что
Сg22)2+(gn)2>2gug22 (20)
Из формул (19) и (20) следует, что | Я^ |>| Я4 | и IndÁ2 =1пёЯъ.
h = §22^ + guiü = 822V + ftl^ + g22iü + guiü ~ gll^ " g22iü = = (g22 + gll)^ + (g22 + gu)iü - gll^ - g22iü-
Обозначим Л5 =(g22 +gn)v + (g22 +gn)iú , Á6 = -gnv-g22iú ; | Л5 |>| Л6 |, так как
l/(g22 + gil)2v2+(g22+ gil)2U2 >V(gn)2*2+(g22)2U2 . Следовательно IndA^ = Indl5.
¿5 = (g22 +g 11 + (g22 + g\l)iü = (g22 + £ll№ + iú) ■
Это означает, что IndÁ5 =Ind(g22 + gn) + Ind(v + iü) Ind(g22 + gn) = 0, так как Re(g22 + ííi 1) > <• • окончательно имеем: Ind/12 =IndA3 =IndA5 = Ind(y + iü).
Получается, что к = IndÁ = Ind\ + IndA2 = 2Ind(v + iü).
Так как мы имеем дело с поверхностью положительной гауссовой кривизны с краем взаимно-однозначно отображающуюся на плоскую область G, то граница области G гомеоморфна единичной окружности, поэтому, не нарушая общности, будем считать, что граница области G - единичная окружность, и = cos <р, V = sin(р, 0 < <р < 2л, следовательно н - -sin ср. v - cos(р. Используя формулу подсчета индекса из [2, 96], находим:
2ж 2ж
K = IndX = 2Ind(v + iu) = 2— -—-р—-—-¡~d(p =--\d<p = - 2.
2л j <sin ín + тя tn Л j
2л J sin <p + cos <p л
При а = 0 выполнены условия теоремы 4.5 из [1], из которой следует, что при а = 0 бес-
конечно малая MG-деформация является только тривиальной, т. е. у = const. Докажем обратное утверждение.
Пусть у = const, тогда из равенств dy = д1ydu + д2ydv и (3) следует, что д}-у = а^дкг = 0, j = 1,2 ,
следовательно, ак. = 0, j = 1,2, отсюда, в силу (11), получаем, что <т = 0 . Таким образом, мы доказали пункт а) теоремы.
При а ^ 0 задача (15)-(18) удовлетворяет условию теоремы 4.10 из [1], из которой следует справедливость пункта б) теоремы.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Векуа И.Н. Обобщенные аналитические функции. М.: Наука, 1988. 512 с.
2. Гахов Ф.Д. Краевые задачи. М.: Физматгиз, 1958. 544 с.
3. Фоменко В.Т. О единственности решений проблем Кристоффеля и Минковского для овалоидов // Сб. науч. тр. по межвуз. программе «Университеты России - фундаментальные исследования». Таганрог: Изд-во Таганрог. гос. пед. ин-та, 1998. С. 73-95.
О.Б. Кожевников, Е.С. Арапина-Арапова ИНВЕРСНЫЕ КЛИФФОРДОВЫ ПОЛУГРУППОИДЫ
Факторгруппоид произвольной полугруппы является полугруппой. В настоящей работе рассматривается весьма широкий класс полугруппоидов, на которых не выполняется аналог этого полугруппового свойства. Иными словами, частичный факторгруппоид полугруппоида не всегда является полугруппоидом. Изучаемый в работе класс является подклассом класса полугруппоидов, рассмотренного ранее в [4].
Если в частичном группоиде произведение х-у не определено, то пишем х-у = 0 (иногда символ (•) опускается). Частичный группоид (8; ) называется сильно ассоциативным (слабо ассоциативным), если
(х-у) 7 = х-(у^) (1)
(соответственно условие (х-у) ъ Ф о Ф х-(у/.) влечет равенство (1) для любых хл :/. €= 8). Символ (=) здесь означает равенство на множестве 8 и {0}. Сильно ассоциативный частичный группоид В.В. Вагнер называет [1] полугруппоидом.
Отображение (р частичного группоида 8 в частичный группоид Т (здесь и далее применяется мультипликативная терминология) называется [2] гомоморфизмом, если
(2)(ху Ф о) -> ((ху)= ф (х) (р (у)Фо)
для любых х,у £ 8. Если при этом из (р (х) (р (у) Ф о всегда следует хуФ о, то (р называют сильным гомоморфизмом.
Эквивалентность т на частичном группоиде S называется конгруенцией, если произведение любых двух т - классов (как подмножеств в S) содержится в некотором т - классе. При этом т называют сильной конгруенцией, если условие хту & игу & ху Ф 0 всегда влечет иу Ф 0. Если т - конгруен-ция на частичном группоиде 8, то фактормножество 8 / т относительно частичной операции (°),
определяемой правилом: если а-Ь Ф 0, то т(а) °т(Ь) = т(а-Ь), а если а-Ь = 0, то т(а) °т(Ь) = 0, называется частичным факторгруппоидом частичного группоида 8 по конгруенции т.
Если (р :8—>Т - сюръективный гомоморфизм частичного группоида 8 на частичный группоид Т и Кег (р - ядро отображения (р, то существует биективный гомоморфизм (не обязательно сильный) из частичного факторгруппоида 8 /Кег (р на Т, а потому, в отличие от обычных универсальных алгебр, 8 /Кег (р не всегда изоморфен Т. Очевидно 8 /Кег (р изоморфен Т тогда и только тогда, когда гомоморфизм (р сильный.
Группоид, являющийся нулевым расширением [3] частичного группоида 8, обозначается 8° (=8 ^ {0}), а частичный группоид, являющийся нулевым ограничением группоида 8 (обладающего нулем) - через 8* (=8\{0}). Частичный группоид 8 является полугруппоидом тогда и только тогда, когда S° - полугруппа. Это обстоятельство позволяет без труда переносить полугрупповую терминологию на класс полугруппоидов. Например, полугруппоид 8 называется инверсным (простым), если S° - инверсная (0 - простая) полугруппа; ограничение на 8 естественного порядка инверсной полугруппы S° - естественным порядком на полугруппоиде S; ограничение на 8 идеальной эквивалентности Грина полугруппы S° - соответствующей эквивалентностью Грина на полугруппоиде 8 и т. д. Идемпотент е полугруппоида 8 называем примитивным идемпотентом полугруппоида S, если е примитивен [3] в полугруппе S°.
Инверсный простой полугруппоид с примитивным идемпотентом называется полугруппоидом Брандта (в литературе чаще - группоидом Брандта). Известно [3], что бициклическая полугруппа, т.е. двупорожденная полугруппа <а,Ь> с единицей е и определяющим соотношением аЬ=е, является, в отличие от полугруппоида Брандта, примером инверсного простого полугруппоида без примитивного идемпотента. Этот факт будет использован нами при доказательстве основной теоремы.
Полугруппоид, являющийся объединением полугруппоидов Брандта, назовем клиффордо-вым полугруппоидом. Полный клиффордов полугруппоид суть клиффордова полугруппа. Различные классы клиффордовых полугруппоидов изучались авторами ранее. В настоящей работе исследуется класс К инверсных клиффордовых полугруппоидов, идемпотенты которых составляют попарно не пересекающиеся цепи, т.е. подчинены условию
(еГ Ф о) —> (е < V ^е), где (<) - естественный порядок на инверсном полугруппоиде.
Доказано, что эквивалентность Грина I на полугруппоиде класса К всегда является конгруенцией, а частичный факторгруппоид 8 / I не обязательно является полугруппоидом.
Л е м м а 1. Каждый I - класс полугруппоида 8 класса К является замкнутым в 8 полугруппоидом Брандта.
Доказательство. Докажем вначале, что любой .1 - класс Ла). содержащий а £ 8, замкнут в 8. Действительно, если а / Ь и аЬФ о, то а'а-ЬЬ' Ф о (здесь и далее символ х' означает элемент, инверсный элементу х £ 8). Ввиду условия (2), для элементов е = а а, ЬЬ' = Г имеем с£Г.
либо ^е. Полагаем для определенности ^е. Если допустить f Ф е, то, согласно а I Ь, существует
такой элемент с €= 8, что сс' = е, с' с = ^ откуда получаем ее = се = с , ее' = с' е =с', с' с Ф е = сс'. Благодаря лемме 1.31 в [3], отсюда следует, что < с,с> - бициклическая подполугруппа полугруппоида 8. Но это невозможно ввиду клиффордовости полугруппоида 8. Полученное противоречие означает f = е, а потому а = аа а=аЬЬ'. Отсюда по определению идеальной эквивалентности Грина Я получаем а /? аЬ. Но /? С1 .1 и, следовательно, а .1 (аЬ). Итак, Ла) - замкнутый подполу-группоид в S. Из вышесказанного следует также примитивность полугруппоида J(a). То, что 1(а) -инверсный простой полугруппоид, вытекает из самого определения отношения I. Таким образом, Ла) - полугруппоид Брандта и лемма 1 доказана.
Если в условии леммы 1 предположить, что полугруппоид S полный, то лемма превращается в известное утверждение о том, что каждый I - класс инверсной клиффордовой полугруппы является группой.
Л е м м а 2. Эквивалентность Грина I на любом полугруппоиде класса К является конгруен-
цией.
Доказательство. Пусть 8 £ К, а,Ь £ 8, аЬ Ф о. Докажем, что 1(а)-1(Ь) С 1(аЬ). Ввиду леммы 1, Ла). ЛЬ). ЛаЬ) - полугруппоиды Брандта. Тогда, если с £ Ла). с1 £ ЛЬ). сс1 Ф о, то
найдутся такие х £ 1(а), у ^ 1(Ь), что хх' = с с, аа' = х'х, уу' = сГс1, ЬЬ' = у у. Так как аЬ Ф о, то, ввиду условия (2), либо а' а < ЬЬ', либо ЬЬ' < а' а. Для определенности полагаем ЬЬ' < а' а. Аналогично, либо с' с < dd', либо dd' < с' с. Если имеет место первое, то, как и при доказательстве леммы 1, получим бициклическую полугруппу (с единицей dd') в инверсном клиффордовом полугруппоиде S, что невозможно. Значит, dd'< с с.
Из последнего неравенства при помощи представления элементов инверсной полугруппы S° биективными частичными преобразованиями легко получаем равенство схаЬ = cdyb, откуда получаем (сх) ^уЬ = аЬ, то есть элемент сd делит элемент аЬ внутренним образом. Аналогично и наоборот, аЬ делит сd внутренним образом, то есть (аЬ) I Поэтому I - конгруенция на полугруппоиде 8, что и требовалось.
З а м е ч а н и е. Согласно лемме 2, существует частичный фактор группоид 8 / I. Однако этот факторгруппоид, вообще говоря, полугруппоидом не является (хотя 8 - полугруппоид). Это подтверждает следующий
Пример. Пусть В = ¡с.а.а'.Г| - полугруппоид Брандта с идемпотентами е и Г Если Й.И £ В, то, доопределяя на множестве В ^ частичную операцию до полной так, как показано в [4], получаем полугруппоид 8 = В и ig.li! такой, что эквивалентность / на 8 является кон-груенцией, но Б / / полугруппоидом не является, хотя 8 - полугруппоид. Для любых классов Е,Г частичных группоидов через Е * Г обозначается класс всех тех частичных группоидов 8, на которых существует такая конгруенция т, что 8 / т £ Г, а каждый т - класс, как частичный подгрупо-ид, принадлежит Е. Частичные группоиды класса Е * Г назовем частичными Г - группоидами частичных Е - группоидов.
Пусть Е - некоторый класс полугрупп. Тогда, если Г - класс полурешеток, то Е * Г - класс частичных полугруппоидов, являющихся полурешетками Е - полугрупп. А если Г - класс антицепей, то Е * Г - класс прямых объединений Е - полугрупп. На этом же языке можно характеризовать и клиффордовы полугруппы.
Из доказанных лемм и основного результата работы [4] непосредственно следует
Т е о р е м а. Инверсный клиффордов полугруппоид, удовлетворяющий условию (2), является идемпотнтным коммутативным слабо ассоциативным частичным группоидом полугруппоидов Брандта.
Эта теорема является аналогом известного свойства инверсных клиффордовых полугрупп.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Вагнер В.В. Диаграммируемые полугруппоиды и обобщенные группоиды // Изв. вузов. 1967. Мат. № 10 (65).
2. Мальцев А.И. Алгебраические системы. М.: Наука, 1970.
3. Клиффорд А., Престон Г. Алгебраическая теория полугрупп. М.: Мир, 1972.
4. Кожевников О.Б. Об одном классе инверсных полугрупп с нулем // Вестник ТГПИ. 2007. Естественные науки.
О.Б. Кожевников
О КАТЕГОРИИ ПОЛУГРУПП И КАТЕГОРИИ ПОЛУГРУППОИДОВ
Доказано, что категория [1] полугрупп есть собственная подкатегория категории полугруппоидов, а категория полугрупп Брандта [2] - собственная подкатегория категории группоидов Брандта. Это означает, что теорию полугруппоидов нельзя свести к теории полугрупп, а теорию группоидов Брандта - к теории полугрупп Брандта.
Частичный группоид ( 8 ; •) называется полугруппоидом, если для любых \.у./ £ 8
(х-у) -г = х- (у-т),
где (=) означает предикат равенства на множестве 8 ^ {о} (о^8) а равенство ил = о означает, что произведение ил в 8 не определено и (ил)л\ = \у- (ил ) = о для любого \у £ 8. Скажем,что 8 -полный частичный группоид, если операция (•) всюду определена.
Между понятиями полугруппы и полугруппоида существует тесная связь. Полугруппы - это в точности те полугруппоиды, операция в которых всюду определена. С другой стороны, если 8 -частичный группоид (здесь и далее заданный в мультипликативной терминологии), и 0 ^ 8, то, доопределяя на множестве 8 ^ {0} частичную операцию (•), полагая ху = 0 тогда и только тогда, когда х-у = 0 в S и считая 0 нулем этого группоида, получаем группоид, обозначаемый в дальнейшем S° и называемый нулевым расширением частичного группоида S. Обратно, если 8-группоид с нулем, то частичный группоид, нулевым расширением которого является S, обозначается 8* и называется нулевым ограничением группоида S. Таким образом, = 8 для любой полугруппы с нулем 8 и = 8 для любого частичного группоида 8. Очевидно, частичный группоид 8 является полугруппоидом тогда и только тогда, когда 8° - полугруппа. Если т - бинарное отношение на полугруппе 8 с нулем 0 и (0,0) Е т, то бинарное отношение
т* = т \ {(0,0)}
на полугруппоиде S* назовем нулевым ограничением бинарного отношения т. Если т - эквивалентность на 8 и {0} есть т - класс, то т* - эквивалентность на S*. В частности, если т - одна из идеальных эквивалентностей Грина на полугруппе 8 с нулем 0, то т* называется соответствующей эквивалентностью Грина на полугруппоиде 8*.
Отображение (р частичного группоида в частичный группоид называется [3] гомоморфизмом, если (ху Ф о —> (р (х) (р (у) Ф о) & ((р (ху) = (р (х) (р (у)) для любых х,у £ 8. Если при этом выполняется и обратная импликация, то (р называют сильным гомоморфизмом.
Пусть 8,Т - полугруппы с нулем 0. а (р - такой гомоморфизм из 8 в Т, что (р (х)=0<->х=0 для любого х £ 8. Как показал В.Т. Кулик, отображение
(р*= (р \ {(0,0)}
полугруппоида 8* в полугруппоид Т* является сильным гомоморфизмом, называемым нулевым ограничением гомоморфизма (р и, наоборот, если (р - сильный гомоморфизм полугруппоида 8 в полугруппоид Т, то отображение
(7) ф° = (р и {(0,0)} является гомоморфизмом полугруппы S° в полугруппу Т°.
