Научная статья на тему 'О катенарных инверсных полугруппоидах'

О катенарных инверсных полугруппоидах Текст научной статьи по специальности «Математика»

CC BY
85
21
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
АЛГЕБРА / АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ ПОЛУГРУПП / ПОЛУГРУППОИДЫ / КАТЕНАРНЫЙ ПОЛУГРУППОИД

Аннотация научной статьи по математике, автор научной работы — Арапина-арапова Елена Сергеевна

Автор ставит своей целью проанализировать вопрос катенарных инверсных полугруппоидов.

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

Текст научной работы на тему «О катенарных инверсных полугруппоидах»

Раздел I. Алгебра и геометрия

Е.С. Арапина-Арапова

О КАТЕНАРНЫХ ИНВЕРСНЫХ ПОЛУГРУППОИДАХ

Понятие катенарного полугруппоида ввел в геометрических целях В.В. Вагнер [2]. Полугруппоидом называется сильно ассоциативный частичный группоид, т.е. частичный группоид

(5*/) является полугруппоидом тогда и только тогда, когда из того, что определено в 8 одно из произведений (Л' • у) • 2 , X • (у • 2) следует, что определено и другое, и выполняется равенство

(х-у)-г = х-(у-г). (1)

Если произведение Ы • V не определено в 5*, то пишем Ы • V = 0.

Очевидно, частичный группоид (5*/) есть полугруппоид тогда и только тогда, когда его

нулевое расширение [3] 5 =5 ^ {0} является полугруппой. Поэтому всякое свойство полугруппоидов влечет очевидное следствие для полугрупп (с нулем).

Идемпотентный коммутативный полугруппоид называем частичной полурешеткой. Идемпотентный частичный группоид называется антицепью, если условие Ху Ф 0 всегда влечет X = у.

Частичный группоид (£'/) называют катенарным, если условие X • у Ф 0 Ф у • 2

всегда влечет (х • у) ■ г Ф 0 Ф X ■ (у • г) .

Условие катенарности частичного группоида группоида 5 равносильно условию катего-

рийности в нуле его нулевого расширения 5 0.

Принятая полугрупповая терминология сохраняется нами и для произвольных полугруппоидов. Понятны, например, термины регулярный, инверсный, простой, вполне простой полугруппоиды и т.д. Вполне простой инверсный полугруппоид называют группоидом Брандта.

Для произвольных классов 2-, 1 полугруппоидов через обозначен класс всех полу-

5, на которых существует такая конгруэнция Т, что 5/ €Е Г .

группоидов о , на которых существует такая конгруэнция с , что ь I , а каждый замкнутый в

.V т -класс принадлежит X . Всякий полугруппоид класса X *Г называем 1 -полугруппоидом

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

Обозначения: а - класс антицепей; в - класс группоидов Брандта; i - класс полурешеток;

q - класс катенарных частичных полурешеток

м - класс инверсных клиффордовых полугруппоидов, в которых идеальная эквивалентность Грина О является конгруэнциеи;

К - класс тех полугруппоидов 5* ЕМ, для которых бинарное отношение

<= {(а,0)е %ха°Р = а]

Вестник ТГПИ

Естественные науки

удовлетворяет условию

(у < а & у < ß) —>• (у < а о ß) (2)

Теорема 1. Q=I* А

Доказательство. Если S El* А. т.е. S - прямое объединение полурешеток, то идемпотентность и коммутативность полугруппоида S очевидны. Пусть X, у, Г G S, Ху Ф 0 Ф yz . Тогда,

по определению (* ) и класса А, элементы X, У, Z принадлежат некоторой подполурешетке Sa полугруппоида S, а поэтому (xy)z (= x(yz)) принадлежит Sa , т.е. (xy)z Ф 0 Ф x(yz). Значит S - катенарный идемпотентный коммутативный полугруппоид, т.е. S - катенарная частичная полурешетка, следовательно, S Е О. Итак, /* А d Q.

Докажем обратное включение. Если S E.Q, то отношение 0 = {(х, у) G S X Ф 0}

является эквивалентностью. В самом деле, рефлексивность и симметричность 0 следуют соответственно из идемпотентности и коммутативности умножения в S. Если, наконец хву, yOz, т.е

Ху Ф 0 Ф yz , то, в силу катенарности, (xy)z Ф 0 . Но S - полугруппоид, поэтому

(xz)y = (zx)y = z(xy) Ф 0 . Отсюда следует X0Z . Значит, в - эквивалентность на S . По

определению в, если хву, то Ху Ф 0 , т.е. Ху G S. Но X • (ху) = X у = Ху Ф 0, поэтому хв( ху ). Таким образом, каждый в - класс есть обычный (т.е. полный) группоид, а поэтому является обьиной полурешеткой. Из сказанного следует S £/* А Этим доказано включение QC1 /*/4, а вместе с ним и требуемое равенство.

В [4] доказано, что полугруппоиды класса К и только они являются катенарными частичными полурешетками группоидов Брандта, т.е. К=В* Q, откуда, по теореме 1, К=В* (/* А). Естественно, возникает вопрос о строении катенарных полугруппоидов класса к. Решение этого вопроса и является целью настоящей работы.

Теорема 2. Полугруппоид S класса к катенарен тогда и только тогда, когда для любых

о /

ОС, ß G , таких, что ß <1 ОС и любого идемпотента 6 El ОС найдется единственный идем-

потент f G ß такой, что f ^ в.

Доказательство. Пусть S катенарный полугруппоид из К. В этом случае, как показано в [4] обозначенное в формулировке условие выполнено. Покажем обратное. Пусть

Sek

и указанное в формулировке условие выполнено. Берем произвольные идемпотенты / , g Е S такие,

что ßf Ф 0 Ф fg и покажем, что

(3)

Т.к.

Sek,

то S является частичной полурешеткой Y группоидов Брандта {ОНСС Е Y J. Следовательно найдутся такие ОС, у Е Y , что в Е ОС , f Е ß. g Е У. Поскольку cf Ф 0 Ф fg

то, по определению частичного факторгруппоида = У , имеем ОС °

Т.к.

частичная полурешетка Y катенарна, то отсюда следует ОС ° ß ° у Ф0. Очевидно

а о ß о у < ß. (4)

Т.к. ßf Е ОС о ß. то по условию, найдется идемпотент /?| Е ОС ° ß ° у такой, что

кх<е/</. (5)

Аналогично, существует идемпотент €= ОС ° Р ° У такой, что

(6)

Но ао^о /ед т.е а о Р о у - группоид Брандта и /?,, /?2 <Е « ° /? ° /. значит либо /?1 И2 = 0, либо /?| = /?2. Если /?| ^ /?2 • то в группоиде СС ° Р ° у нашлись различные идемпотенты ^, ^, удовлетворяющие (5), (6) и выполняется неравенство (4), что противоречит требованию «единственности» в формулировке теоремы. Значит И^ = И^. откуда получаем

0 ^ /?| = /?| = /?| /?2 = /?| (е/ ) • ( /£")/?2 = /?| (е/^)И2, поскольку полугруппоид. Отсюда следует С^ ^ 0. Таким образом, в инверсной полугруппе = ^ {0} полурешетка

идемпотентов категорийна в нуле, а потому категорийна в нуле и полугруппа 5 , т.е. полугруппоид 5 катенарен.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Арапина-Арапова Е.С. Разложение полугрупп в объединение декартовых полугрупп // 11-я Международная конференция «Полугруппы: теория и приложения» в честь профессора Е.С. Ляпина. СПб, 1999. С. 66-67.

2. Вагнер В.В. Диаграммируемые полугруппоиды и обобщенные группоиды. Известия вузов, Математика, 1967. № 10. С. 11-23.

3. Клиффорд А., Престон Г. Алгебраическая теория полугрупп // Мир, М., 1972. Т. 1,2.

4. Кожевников О.Б. Об одной операции на классах полугруппоидов. Вестник ТГПИ, Естест. науки, 2009.

Д.А. Жуков

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

1. Формулировка результата.

Предметом исследования данной работы являются замкнутые поверхности, звездные относительно некоторой точки, лежащей внутри поверхности, склеенные из гладких кусков поверхностей неотрицательной гауссовой кривизны (каждый кусок класса С™2), причем гауссова

кривизна может быть равна нулю только в конечном числе изолированных точек и вдоль некоторых кривых.

Исследование ведется в трехмерном евклидовом пространстве.

Ставится задача: изучить поведение такой поверхности относительно бесконечно малых Ав-деформаций, считая, что поле деформации непрерывно на всей поверхности, а на гладких кусках поле деформации принадлежит классу С™, Ш > 2.

Рассмотрим поверхность Б: 7 = 7{и,У) еС",/И>2, (м^)еО.

Определение 1. Бесконечно малыми Ав-деформациями поверхности называют такие бесконечно малые деформации, которые сохраняют поточечно сферический образ поверхности

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