Многообразие полуколец, порожденное двухэлементными полукольцами с коммутативным идемпотентным умножением

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 15 Выпуск 3

УДК 512.558

МНОГООБРАЗИЕ ПОЛУКОЛЕЦ, ПОРОЖДЕННОЕ ДВУХЭЛЕМЕНТНЫМИ ПОЛУКОЛЬЦАМИ С КОММУТАТИВНЫМ ИДЕМПОТЕНТНЫМ УМНОЖЕНИЕМ1

Е. М. Вечтомов, А. А. Петров

Аннотация

В статье исследовано многообразие N, порожденное двухэлементными коммутативными мультипликативно идемпотентными полукольцами.

При изучении многообразий полуколец исходными служат две классические теоремы Биркгофа (о характеризации многообразий алгебраических структур и о подпрямой разложимости).

J. A. Kalman в 1971 году доказал, что с точностью до изоморфизма существует три подпрямо неразложимых коммутативных идемпотентных полукольца, обладающих двойственным законом дистрибутивности x + yz = (x+y)(x+z): двухэлементное поле, двухэлементное моно-полукольцо, а также некоторое трехэлементное полукольцо.

В 1999 году S. Ghosh показал, что произвольное коммутативное мультипликативно идемпотентное полукольцо с тождеством x + 2xy = x будет подпрямым произведением булева кольца и дистрибутивной решетки. Аналогичный результат для класса всех мультипликативно идемпотентных полуколец с нулем и единицей, обладающих тождеством 1 + 2x = 1, получил F. Guzman в 1992 году. Показано, что любое такое полукольцо коммутативно и является подпрямым произведением семейства двухэлементных полей и двухэлементных цепей, а также может быть порождено одним трехэлементным полукольцом.

Нами в даной работе получены следующие результаты. Доказаны некоторые необходимые условия подпрямой неразложимости полуколец из многообразия M всех полуколец с коммутативным идемпотентным умножением. Показано, что произвольное полукольцо из M является подпря-мым произведением двух коммутативных мультипликативно идемпотент-ных полуколец, одно из которых обладает тождеством 3x = x, а другое — тождеством 3x = 2x.

Найдены все подпрямо неразложимые полукольца в N. Описаны подмногообразия в N. Показано, что в классе M многообразие N задается

1 Работа выполнена в рамках государственного задания Минобрнауки РФ, проект № 1.1375.2014/К

одним тождеством x + 2xy + yz = x + 2xz + yz. Доказано, что решетка всех подмногообразий многообразия N является 16-элементной булевой решеткой.

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

Библиография: 16 названий.

VARIETY OF SEMIRINGS GENERATED BY TWO-ELEMENT SEMIRINGS WITH COMMUTATIVE IDEMPOTENT MULTIPLICATION

E. M. Vechtomov, A. A. Petrov

Abstract

The article is devoted to investigation of an variety N generated by two-element commutative multiplicatively idempotent semirings. Two classical theorems of Birkhoff (about the characterization of varieties of algebraic structures, and subdirect reducibility) are initial in the studying of semiring varieties.

In 1971 J. A. Kalman proved that there exist up to isomorphism three subdirectly irreducible commutative idempotent semirings satisfying the dual distributive law x + yz = (x + y)(x + z), namely a two-element field, a two-element mono-semiring, and the some three-element semiring.

In 1999 S. Ghosh showed that any commutative multiplicatively idempotent semiring with identity x + 2xy = x is the subdirect product of a Boolean ring and a distributive lattice. In 1992 F. Guzman got a similar result for the variety of all multiplicatively idempotent semirings with zero and unit, satisfying the identity 1 + 2x = 1. It was proved that every such semiring is commutative. This one is the subdirect product of two-element fields and two-element chains and it may be generated by a single three-element semiring.

We obtained the following results in the work. We proved some necessary conditions for subdirect irreducibility of semirings from the variety M of all the semirings with commutative indempotent multiplication. It was shown that an arbitrary semiring from M is subdirect product of two commutative multiplicatively idempotent semirings, one of which has the identity 3x = x, and the other has the identity 3x = 2x. We found all the subdirectly irreducible semirings in N and discribed varieties in N. It was obtained that in the class M the variety N is defined by the single identity x + 2xy + yz = x + 2xz + yz. We proved that the lattice of all the subvarieties of the variety N is a 16-element Boolean lattice.

Keywords: semiring, multiplicatively idempotent semiring, the variety of semirings.

Bibliography: 16 titles.

1. Введение

Результаты работы анонсированы в [3, 4, 5, 6, 7, 8].

Полукольцом называется алгебраическая структура (5, +, •) с бинарными операциями сложения + и умножения •, такая, что (5, +) — коммутативная полугруппа, (5, •) — полугруппа, умножение дистрибутивно относительно сложения с обеих сторон.

Полурешеткой называется любая идемпотентная коммутативная полугруппа.

Элемент в полукольца 5 назовем поглощающим по умножению (поглощающим по сложению), если для всех х € 5 выполняется х • в = в • х = в (соответственно, х + в = в). Элемент полукольца, поглощающий по сложению и по умножению, называется поглощающим и обозначается то. Если в полукольце 5 существует элемент 0, нейтральный по сложению и поглощающий по умножению, то 5 называется полукольцом с нулем 0. Если полукольцо 5 обладает элементом 1, нейтральным по умножению, то 5 называется полукольцом с единицей 1.

Отметим, что к любому полукольцу 5 можно присоединить естественным образом нулевой элемент 0 или поглощающий элемент то. Обозначим полученные полукольца 5 и {0} и 5 и {то}, соответственно.

Полукольцо называется коммутативным, если на нем тождественно ху = = ух. Полукольцо с тождеством хх = х (х + х = х) называется мультипликативно идемпотентным (аддитивно идемпотентным). Отметим, что любое мультипликативно идемпотентное полукольцо удовлетворяет тождеству х + х + х + х = х + х, то есть 4х = 2х. Полукольцо, одновременно мультипликативно и аддитивно идемпотентное, называется идемпотентным. Полукольцо 5 называется дистрибутивным, если на нем выполняется двойственный закон дистрибутивности х + уг = (х + у)(х + г). Идемпотентное полукольцо с тождеством х + у = ху называется моно-полукольцом. Будем говорить, что полукольцо 5 обладает константным сложением, если существует элемент £ € 5, такой, что х + у = £ для всех х,у € 5 (равносильно, 5 удовлетворяет тождеству х + у = и + V).

Отношение эквивалентности р на произвольном полукольце 5 называется конгруэнцией, если для всех х, у, г € 5 из хру следует

(х + г)р(у + г), (хг Иуг), (гх)р(гу).

На любом полукольце 5 есть две тривиальные конгруэнции: нулевая конгруэнция 0^ — отношение равенства и единичная конгруэнция 1s — одноклассовая.

Полукольцо 5 называется подпрямо неразложимым, если на нем существует наименьшая ненулевая конгруэнция. Неодноэлементное полукольцо называется конгруэнц-простым, если на нем нет нетривиальных конгруэнций. Конгруэнц-простые полукольца подпрямо неразложимы.

При изучении многообразий полуколец исходными служат две классические теоремы Биркгофа. Напомним, что многообразием полуколец называется класс всех полуколец, удовлетворяющих некоторому набору полукольцевых тождеств. По первой теореме Биркгофа [9, с. 185], произвольный класс полуколец будет многообразием тогда и только тогда, когда он замкнут относительно взятия подполуколец, гомоморфных образов и любых прямых произведений. Из второй теоремы Биркгофа [9, с. 115] следует, что любое полукольцо является подпрямым произведением подпрямо неразложимых полуколец.

Собственный идеал I полукольца 5 называется простым, если аЬ € I влечет а € I или Ь € I (Vа, Ь € 5). Через 5рес5 обозначим множество всех простых идеалов полукольца 5.

В произвольном полукольце 5 вводится «разностное» отношение

х ^ у ^ х = у или 3 г€5 (х + г = у).

Оно рефлексивно и транзитивно, но не обязательно антисимметрично. Если отношение ^ антисимметрично, то есть является отношением порядка, то полукольцо назовем упорядочиваемым. Заметим, что в случае аддитивно идемпо-тентных полуколец отношение ^ является порядком, при этом х ^ у^х + у = у.

Бинарное отношение ~ на полукольце 5

х~у^х^ уи у ^ х

является конгруэнцией на 5. Соответствующее факторполукольцо 5/~ уже упорядочиваемо. Упорядочиваемость полукольца 5 равносильна тому, что ~ есть отношение равенства на 5. См. [2, с. 30].

Предложение 1. [11, следствие 1]. Произвольное мультипликативно идемпотентное полукольцо 5 упорядочиваемо тогда и только тогда, когда на нем тождественно 3х = 2х.

Доказательство. Необходимость. Если мультипликативно идемпотентное полукольцо 5 упорядочиваемо, то для х € 5 получаем 3х = 2х, поскольку 2х ^ 3х и 3х ^ 4х = 2х.

Достаточность. Пусть на 5 тождественно 3х = 2х. Покажем, что отношение ^ на 5 антисимметрично. Пусть а ^ Ь и Ь ^ а в 5, то есть существуют такие элементы 8, £ € 5, что а + в = Ь,Ь + £ = а. Тогда а + в + £ = Ь + £ = а, откуда а + 2в + 2£ = а + в + £ = а. В силу тождества 3х = 2х получаем а = (а + 28 + 2£) + 8 = а + в = Ь.

Ясно, что полукольцо 5 мультипликативно идемпотентно (идемпотентно) ^ классы любой конгруэнции на 5 являются подполугруппами полугруппы (5, •) (соответственно, подполукольцами в 5).

Любой элемент а коммутативного полукольца 5 определяет конгруэнцию ~а на 5 :

х у ^ ха = уа.

Нетрудно видеть, что справедлива

Лемма 1. Для элементов а, Ь коммутативного мультипликативно идем-пот,ент,ного полукольца 5 выполняются следующие свойства:

1. х ~а (ах) для любого х € 5;

2. если, 5 обладает единицей 1, то а ~а 1 и 1 является единственным обратимым элементом в 5;

3. если а ~а Ь и а ~ь Ь, то а = Ь.

Для произвольного элемента а полукольца 5 рассмотрим бинарное отношение а~:

^х, у € 5) ха~ у ^ х + а = у + а.

Отметим, что отношение а~ является конгруэнцией на полугруппе (5, +) , и если а — поглощающий элемент по умножению, то а~ является конгруэнцией на полукольце 5.

Говорят, что простые идеалы полукольца 5 разделяют его элементы, если для любых а, Ь € 5, а = Ь, найдется простой идеал в 5, содержащий ровно один из элементов а, Ь.

Предложение 2. [11, Теорема 1]. Прост,ые идеалы произвольного полукольца 5 разделяют его элементы тогда и только тогда, когда 5 коммутативно и мультипликативно идемпотентно.

Доказательство. Необходимость. Пусть Р — простой идеал полукольца 5 и а, Ь € 5. Тогда а2 € Р ^ а € Р. Тем самым, элементы а2 и а не разделяются простыми идеалами, и, значит, они равны, а полукольцо 5 мультипликативно идемпотентно. Далее, пусть аЬ € Р. В Р лежит также элемент ЬаЬа = Ьа. Значит, полукольцо 5 коммутативно.

Достаточность. Рассмотрим произвольное коммутативное мультипликативно идемпотентное полукольцо 5. По умножению 5 является полурешеткой. Возьмем в полукольце 5 элементы а = Ь. Не выполняется одно из равенств а = аЬ или Ь = аЬ. Можно считать, что а = аЬ. Главный идеал Ь5={в€5: вЬ = в} полукольца 5 не содержит элемент а. В силу леммы Цорна существует идеал Р, максимальный среди идеалов 3 в 5, обладающих свойствами Ь5 С 3 и а € 3. Покажем, что Р — простой идеал. Пусть х, у € 5 \ Р. Тогда х5 + Р 3 Р и у5 + Р 3 Р, поэтому а € (хв + Р) П (у5 + Р). Значит, а = хв + р = у£ + д для некоторых в,£€5и р, д € Р. Следовательно,

а = а2 = (хв + р)(у£ + д) = (ху)в£ + (хвд + ру£ + да),

откуда ху € Р, поскольку хвд + ру£ + да € Р. Это доказывает простоту идеала Р. Остается заметить, что Ь = Ь2 € Ь5 С Р, но а € Р- Тем самым, простой идеал Р разделяет элементы а и Ь (а = Ь) данного полукольца 5.

Для произвольного простого идеала Р коммутативного полукольца 5 определяется конгруэнция 0(Р) [12, р. 210]:

^х, у € 5) (х0(Р)у) ^ € 5 \ Р (хг = уг).

Лемма 2. Для всякого простого идеала Р коммутативного мультипликативно идемпотентного полукольца 5 справедливы следующие утверждения:

1. множество 5 \ Р будет классом конгруэнции 0(Р);

2. факторполукольцо 5/0(Р) является полукольцом с единицей.

Доказательство. (1) Заметим, что м^(Р)г> для любых и, V € 5\ Р, так как и(и^) = ии = г'(иг'). Пусть теперь для элементов р € Р, и € 5 \ Р выполняется р0(Р)и, то есть рш = мш для некоторого ^ € 5 \ Р. Тогда иш € Р, что невозможно, так как Р — простой идеал. Таким образом, 5 \ Р является классом конгруэнции 0(Р).

(2) Класс 5 \ Р является единичным элементом в 5/0(Р). В самом деле, (рм)0(Р)р для любых р € Р, и € 5 \ Р.

Лемма 3. Для любого коммутативного мультипликативно идемпотентного полукольца 5 справедливо равенство П »(Р) = 0в, следовательно,

Р евреев

имеет место изоморфное вложение 5 в коммутативное мультипликативно идемпотентное полукольцо п 5/0(Р) с единицей.

Р евреев

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

Лемма 4. Произвольное коммутативное идемпотентное полукольцо 5 с единицей 1 является моно-полукольцом тогда и только тогда, когда оно удовлетворяет квазитождеству х + 1 = у + 1 ^ х = у.

Доказательство. Необходимость очевидна.

Достаточность. Для любого х € 5 выполняется х + 1 = (х + 1) + 1, откуда х + 1 = х. Тогда для всех х, у € 5 имеем х + ху = ху, у + ху = ху. Получаем х + у = (х + у)2 = х + ху + ху + у = ху + ху = ху.

2. О подпрямо неразложимых полукольцах в М

Обозначим через М многообразие всех коммутативных мультипликативно идемпотентных полуколец.

Легко видеть, что с точностью до изоморфизма существует четыре двухэлементных коммутативных мультипликативно идемпотентных полукольца:

• двухэлементная цепь В;

• двухэлементное поле Z2;

• двухэлементное моно-полукольцо О = {1, то} с единицей 1;

• двухэлементное полукольцо Т = {1, то} с единицей 1 и константным сложением.

Предложение 3. Решетка Ь(М) имеет ровно 4 атома: М(В), М^2), М(О), М(Т) и является атомной.

Доказательство. Покажем, что любое неодноэлементное полукольцо 5 € М, имеет двухэлементное подполукольцо.

Если За € 5, такой, что 3а = 2а, то {2а, 3а} — подполукольцо в 5, изоморфное Z2.

Пусть теперь в 5 выполняется тождество 3х = 2х. Если За € 5, такой, что 2а = а, то {а, 2а} будет подполукольцом в 5, изоморфным Т.

Если же 5 идемпотентно, то для всех а = Ь из 5 либо а = аЬ, либо Ь = аЬ. Пусть а = аЬ. Тогда либо а + аЬ = а, либо а + аЬ = аЬ. В первом случае подполукольцом в 5 будет = {а, а + аЬ}, во втором — Т2 = {аЬ, а + аЬ}, причем = О, Т2 = В.

Отметим, что решетка подмногообразий любого нетривиального многообразия атомна [10, с. 376].

Обозначим через N многообразие полуколец, порожденное полукольцами

В, Z2,0, Т или, равносильно, одним полукольцом В х 22 х О х Т.

Лемма 5. Полукольца В, Z2, О, Т суть (с точностью до изоморфизма) все конгруэнц-простые коммутативные мультипликативно идемпотентные полукольца.

Доказательство. Пусть 5 — произвольное конгруэнц-простое коммутативное мультипликативно идемпотентное полукольцо. Для любого элемента а € 5 имеем ~а= 0в или ~а= 1в .В первом случае получаем, что а — нейтральный элемент по умножению, так как ха ~а х для всякого х € 5. Во втором случае имеем х ~а у для любых х,у € 5, в частности х ~а а, откуда ха = а, то есть а — поглощающий элемент по умножению. Нейтральный и поглощающий элементы по умножению произвольного полукольца, если они существуют, единственны. Кроме того, если они равны между собой, то полукольцо одноэлементно. Следовательно, |51 = 2.

В полукольце с единицей 1 обозначим 2 = 1 + 1, 3=1 + 1 + 1 = 2 + 1.

Теорема 1. Для всякого подпрямо неразложимого коммутативного мультипликативно идемпотентного полукольца 5 справедливы следующие утверждения:

1. 5 имеет единицу 1;

2. множество S\ {1} — наибольший идеал в S, обладающий единицей е;

3. наименьшей ненулевой конгруэнцией на S служит конгруэнция, склеивающая только элементы 1 и е;

4. в S верно равенство 3 = 2 или 3=1 и е = 2.

Доказательство. (1) Пусть S — полукольцо, удовлетворяющее условию теоремы. По лемме 3 S с—— п S/0(P), а по лемме 2 S/#(P) — полуколь-

P eSpecS

цо с единицей для любого P £ SpecS. Так как S подпрямо неразложимо, то существует Q £ SpecS, такой, что S/0(Q) = S, откуда S обладает единицей.

(2) Предположим, что (Vx £ S \ {1}) (3y £ S \ {1}) (xy = y). Рассмотрим произвольные элементы а = b из S \ {1}. По лемме 1 либо а фа b, либо а фь b. Пусть а Фа b, то есть а = ab. Тогда а =а 1, b Фа 1. Кроме того, по предположению ас = с для некоторого c £ S \ {1}, откуда а фс 1, а =с ас. Значит, любые элементы x, y £ S \ { 1 } можно разделить некоторой нетривиальной конгруэнцией, и для всех x £ S \ {1} найдется нетривиальная конгруэнция, разделяющая элементы x и 1 . Получаем противоречие с подпрямой неразложимостью полукольца S.

Обозначим через е элемент из S \ {1}, для которого xe = x при всех x £

S\{1}.

Покажем, что S \ {1} является идеалом в S. Учитывая пункт (2) леммы

1, S \ {1} выдерживает умножение на элементы из S. Если же s + t = 1 для некоторых s, t £ S\ {1}, то е = е  1 = e(s +1) = es + et = s +1 = 1, противоречие.

(3) Легко видеть, что конгруэнция =e склеивает только элементы 1 и е, поэтому она и будет наименьшей ненулевой конгруэнцией на S.

(4) Пусть в S имеем 3 = 2. Поскольку 3 = 2, то конгруэнция = ненулевая.

Значит, по пункту (3), 1 = е, в частности, е ^ 1, е + s = 1 для некоторого s £ S. В силу того, что S \ {1} является идеалом в S, получаем s = 1, то есть е + 1 = 1 и е + е = е. Так как 2=1, то е = е + е = 2е = 2.

В качестве следствия получаем следующий результат о структуре полуколец из M.

Предложение 4. Произвольное полукольцо S £ M является подпрямым произведением полукольца T £ M с тождеством 3x = x и полукольца T2 £ M с тождеством 3x = 2x.

Доказательство. Представим S как подпрямое произведение семейства

Si (i £ I) подпрямо неразложимых полуколец Si £ M : s = (s^) £ П Si для

iei

каждого s £ S. Пусть Д — множество всех индексов i £ I, таких, что Si удовлетворяет тождеству 3x = x, и I2 = I\ Ii. По утверждению 4 теоремы 1 для любого i £ I2 полукольцо Sj удовлетворяет тождеству 3x = 2x. Можно считать, что Ii и I2 непустые. Получаем искомые полукольца Tk = {(si) : i £ Ik} при k=1,2.

Для непустого собственного подмножества M полукольца S через тм обозначим разбиение S, при котором одним классом будет M, а остальные классы одноэлементны.

Будем говорить, что разбиение полукольца S является конгруэнцией на S, если оно задает конгруэнцию на нем.

Лемма 6. Во всяком подпрямо неразложимом полукольце S Є M, |S| ^ З, найдутся такие элементы s, t, что 1 + s = 1,1 + t = 1.

Действительно, в противном случае разбиение ts\{1} = {{1}, S\{1}} является конгруэнцией на S, разделяющей элементы І и e, что невозможно по пункту (2) леммы 1. a

Замечание 1. Если подпрямо неразложимое полукольцо S Є M обладает нулем О, то полукольцо S U {то} также будет подпрямо неразложимым. В самом деле, для любых a, b Є S и конгруэнции p на S U {то} из ap<ro следует 0pто, так как (a  0)p(то  О). Тогда bp<ro, поскольку (b + 0)p(b + то). Таким образом, p = 1SU{^}, откуда для любой нетривиальной конгруэнции p' на S U {то} класс [то]р одноэлементен. Значит, полукольцо SU{<ro} подпрямо неразложимо вместе с S. Аналогично проверяется, что для всякого подпрямо неразложимого полукольца S Є M с поглощающим элементом то полукольцо S U {О} является подпрямо неразложимым. Поэтому и на основании теоремы 1 полукольца B U {то}, Z2 U {то}, D U {0}, T U {0} будут (единственными с точностью до изоморфизма) трехэлементными подпрямо неразложимыми полукольцами в M.

Отметим результат А. Романовской [16, corollary 2.9]: для любого кардинала m ^ 2 существует по крайней мере два подпрямо неразложимых коммутативных идемпотентных полукольца мощности m.

З. Подмногообразия в N

Опишем все подмногообразия многообразия N.

Для полуколец S1,... , Sn через M(S1,... , Sn) будем обозначать многообразие полуколец, порожденное этими полукольцами. Это означает, что многообразие M(S1,... , Sn) задается множеством всевозможных тождеств, выполняемых на каждом из полуколец S1,... , Sn. Тогда N = M(B, Z2, D, T).

Отметим, что M(B) есть многообразие всевозможных дистрибутивных решеток, то есть полуколец с полурешеточным умножением, обладающих законом поглощения x + xy = x. Легко видеть, что многообразие всех булевых колец характеризуется в M тождеством x + 2y = x и совпадает с M(Z2).

Предложение 5. Произвольное моно-полукольцо есть подпрямое произведение семейства полуколец D. Следовательно, M(D) — многообразие всевозможных моно-полуколец.

Доказательство. Пусть S — подпрямо неразложимое моно-полукольцо. Рассмотрим разбиение ts\{1} полукольца S. Для любых x,y £ S \ {1} имеем x + y = xy= 1,1 + x = 1  x = x= 1. Значит, ts\{1} — двухклассовая конгруэнция на S, разделяющая элементы 1 и е. По теореме 1 ts\{1} = 0S и S = D.

Многообразие M(D) фактически совпадает с многообразием всех полуреше-ток, а многообразие M(T) представляет собой класс всевозможных полуреше-ток с поглощающим элементом.

Предложение 6. Всякое полукольцо из M с константным сложением будет подпрямым произведением семейства полуколец T. Значит, M(T) — многообразие всех коммутативных мультипликативно идемпотентных полуколец с константным сложением.

Доказательство. Пусть S £ M — подпрямо неразложимое полукольцо, обладающее константным сложением. Для любого x £ S\{1} имеем 1+x = то =

1. Как и в предложении 5, разбиение ts\{1} является конгруэнцией, ts\{1} = 0S и S = T.

Лемма 7. Для любого элемента а дистрибутивного идемпотентного полукольца S бинарное отношение а= является конгруэнцией на S.

Доказательство. Требуется проверить только замкнутость умножения. Если для некоторых элементов x,y,z £ S выполняется xa= y, то xz + а = = (x + а)(г + а) = (y + а)(г + а) = yz + а, то есть (xz) а= (yz). Аналогично, (zx) а= (zy).

Приведем новые доказательства двух известных результатов.

Утверждение A [14, theorem]. С точностью до изоморфизма существует три подпрямо неразложимых дистрибутивных коммутативных идемпотентных полукольца: двухэлементная цепь B, двухэлементное моно-полукольцо с единицей D и трехэлементное полукольцо B U {то}.

Доказательство. Пусть S — подпрямо неразложимое коммутативное идемпотентное дистрибутивное полукольцо. Обозначим Q = S\{1, е}. Заметим, что в силу леммы 1 xy £/ {1, е} для всех x, y £ Q.

Далее, отметим, что е + 1 £ Q. Действительно, если e + 1 = q£Q, то e = e + e = e(e + 1) = eq = q. Противоречие.

Возможны два случая: е + 1 = 1 или е + 1 = е. Заметим, что в обоих случаях е + е = е.

Первый случай. Пусть е + 1 = 1. По лемме 7 отношение e = является конгруэнцией на S, причем 1еФ е, так как 1 = 1 + е = е + е = е. Значит, е= есть отношение равенства на S, откуда элемент е аддитивно сократим.

Выше показано, что QS С Q, при этом множество S \ Q = {1, е} мультипликативно замкнуто. Рассмотрим элементы x, y £ Q. Заметим, что x+y = 1 в силу

того, что S \ {1} — идеал. Если x + y = е, то x + e = x + x + y = x + y = e = e + e, откуда x = е, противоречие. Таким образом, Q — простой идеал в S.

Покажем, что S \ Q + Q С Q. Действительно, если для некоторого q £ Q выполняется 1 + q £ {1, e} (или e + q £ {1, e}), то e + q = e = e + e, откуда q = e, противоречие.

Если |S| = 2, то S = B. Если же |S| ^ 3, то, учитывая лемму 6, разбиение тq является конгруэнцией на S, разделяющей элементы 1,е. Значит, tq = 0s и S = B U {то}.

Второй случай. Пусть е+1 = е. По лемме 7 конгруэнция 1= есть отношение равенства на S, откуда элемент 1 аддитивно сократим. По лемме 4 S является моно-полукольцом, и по предложению 5 S = D.

Следствие 1. M(B, D) = M(B U {то}) — многообразие всех дистрибутивных коммутативных идемпот,ент,ных полуколец.

Утверждение B [13, corollary 4.4]. Любое коммутативное мультипликативно идемпотентное полукольцо с тождеством x + 2xy = x является подпрямым произведением двухэлементных полей и двухэлементных цепей, стало быть, булева кольца и дистрибутивной решетки.

Доказательство. Пусть S £ M — подпрямо неразложимое полукольцо, обладающее тождеством x + 2xy = x. Подставляя в тождество x = 1, получаем 1 = 1 + 2y= (1+ y)+ y для всех y £ S, откуда 1 + s = 1 для любого s = 1, в силу того, что S \ {1} является идеалом в S. Тогда ts\{1} является конгруэнцией на S, откуда ts\{1} = 0S. Теперь, если 2 = 1, то S = B. Если же 2 = 1, то S = Z2.

Следствие 2. M(B, Z2) — многообразие всех коммутативных мультипликативно идемпотентных полуколец с тождеством x + 2xy = x.

Предложение 7. Произвольное коммутативное мультипликативно идемпотентное полукольцо с тождеством x + xy = 2x является подпря-мым произведением полуколец B и T, а значит, дистрибутивной решетки и коммутативного мультипликативно идемпотентного полукольца с константным сложением. Таким образом, M(B, T) — это многообразие всех коммутативных мультипликативно идемпот,ент,ных полуколец с тождеством x + xy = 2x.

Доказательство. Пусть S £ M — подпрямо неразложимое полукольцо, обладающее тождеством x + xy = 2x. При x = 1 имеем 1 + y = 1 + 1 для всех y £ S, откуда для всех s = 1 получаем либо 1 + s = 1 + 1 = 1, либо 1 + s = 1 + 1 = 1. В обоих случаях ts\{1} является конгруэнцией на S, поэтому ts\{1} = 0S. В первом случае S = B, а во втором S = T.

Предложение 8. Любое коммутативное мультипликативно идемпотентное полукольцо с тождеством x + y = 2xy является подпрямым произведением семейства полуколец Du T, равносильно, некоторых моно-полукольца

и коммутативного мультипликативно идемпотентного полукольца с константным сложением. Поэтому M(D, T) есть многообразие всех мультипликативно идемпотентных полуколец с тождеством x + y = 2xy.

Доказательство. Пусть S £ M — подпрямо неразложимое полукольцо, обладающее тождеством x + y = 2xy. При y = 1 получаем x + 1 = x + x для всех x £ S. Значит, для любого s из идеала S \ {1} имеем 1 + s = s + s = 1. Таким образом, ts\{1} является конгруэнцией на S. Значит, ts\{1} = 0S. Если 2 = 1, то S = D, если же 2 = 1, то S = T.

Предложение 9. Всякое коммутативное мультипликативно идемпо-т,ент,ное полукольцо с тождеством 2x = 2y является подпрямым произведением семейства полуколец Z2 и T, стало быть, булева кольца и коммутативного мультипликативно идемпотентного полукольца с константным сложением. Следовательно, M(Z2, T) совпадает с многообразием всех коммутативных мультипликативно идемпотентных полуколец с тождеством 2x = 2y.

Доказательство. Пусть S £ M — подпрямо неразложимое полукольцо, обладающее тождеством 2x = 2y. Подставляя x = s = 1,y=1, получаем s + s = 1 + 1 для всякого s £ S \ {1}, откуда 2 = 1.

Предположим, что существует а £ S \ {1}, такой, что 1 + а = 1. Тогда в силу тождества 2x = 2y, получаем 1 = 1 + а = (1 + а) + а = 1 + (а + а) = = 1 + (t + t) = (1 + t) + t для любого t £ S \ {1}. Откуда 1 + t = 1, так как S \ {1} является идеалом в S. Получаем, что ts\{1} является конгруэнцией на

S, поэтому ts\{1} = 0S и S = Z2.

Если 1 + b = 1 для некоторого b £ S\{1}, то по только что доказанному 1 + t = 1 для всех t £ S \ {1}. В этом случае S = T.

Предложение 10. Произвольное коммутативное мультипликативно идемпотентное полукольцо с тождеством 2x + xy = xy является подпрямым произведением семейства полуколец D, Z2 и Z2 U {то}. Следовательно, многообразие M(D, Z2) = M(Z2 U {то}) является многообразием всевозможных коммутативных мультипликативно идемпотентных полуколец с тождеством 2x + xy = xy.

Доказательство. Пусть S — подпрямо неразложимое полукольцо из многообразия полуколец с тождеством xy + 2x = xy. Оно обладает единицей 1 и элементом е, таким, что em = m для любого m из максимального идеала M = S \ {1}. При этом из тождества xy + 2x = xy следует, что для всех x £ S выполняется x + 2 = x.

Пусть 2 = 1 . Тогда для всех x, y £ S справедливо x + 1 = x, y + 1 = y, откуда x + xy = xy = y + xy. Получаем x + y = x + y + 2xy = 2xy = xy. Таким образом, S — моно-полукольцо и по предложению 5 S = D.

Пусть 2 = е. Тогда для всякого x £ S справедливо x + е = x. Заметим, что множество S \ {1, е} является простым идеалом в S. Если S \ {1,е} = 0, то

£ = ^2. Если же $ \ {1, е} = 0, то разбиение Т5\(1,е} является конгруэнцией на £, поэтому Г5\{1,е} = 0^ и £ = Z2 и {то}.

Пусть теперь 2 Е {1, е}. Тогда е + е = 2и х + 2 = х для всех х Е £. Если е + 1 = 1, то 2 = е + 2 = е. Если же е + 1 Е {1, е}, то е + 1 = е(е + 1) = е + е = 2, откуда е = е + 2 = 2 + 1 = 1. Противоречие. Значит, е + 1 = е. Теперь, 1 = = 2 + 1 = (е + е) + 1 = е + (е + 1) = е + е = 2, противоречие.

В произвольном полукольце £ Е N выполняется тождество

х + 2ху + уг = х + 2хг + уг, (*).

поскольку ему удовлетворяют полукольца В, Z2,0, Т.

Лемма 8. Если £ Е N обладает единицей 1, а элементы из £\ {1} аддитивно идемпотентны, то Ух Е £, Уу Е £ \ {1} справедливо равенство:

1+ х + у= 1 + х + ху.

Доказательство. Пусть полукольцо £ удовлетворяет условию леммы. Тогда на £ выполняется тождество (*). Подставив в (*) х = 1 и переобозначив переменные, получаем равенство 1+2х+ху = 1+2у+ху. Если х Е £ и у Е £\{1}, то 1+х+ху = 1+у+ху. Имеем 1+х+ху = (1+х+ху)+х = (1+у+ху)+х = 1+х+у.

Замечание 2. Полукольца О и {0} и Т и {0} не удовлетворяют тождеству (*), стало быть, они не принадлежат многообразию N. В самом деле, для полукольца О и {0} при х = 1, у = то, г = 0 имеем то = 1 + 2 -1 - то + 1  то  0 = = 1 + 2 -1  0+1  то  0 = 1. В полукольце Т и {0} при х = у= 1, г = 0 получаем то = 1 + 1 + 0= 1 + 0 + 0= 1.

Лемма 9. Для произвольного коммутативного идемпотентного подпрямо неразложимого полукольца £ Е N справедливы следующие утверждения:

1. отношение 1~ является конгруэнцией на £;

2. если 1 + е = 1, то отношение е~ является конгруэнцией на £.

Доказательство. (1) Достаточно проверить, что 1~ сохраняет полуколь-цевое умножение. Пусть для некоторых а,Ь Е £ выполняется а + 1 = Ь + 1. Рассмотрим произвольный элемент с Е £. Имеем 1 + а + с = 1 + Ь + с. Из равенства (**) получаем 1 + а + с = 1 + а + ас. Подставляя теперь в (**) х = а, у = ас, имеем 1 + а + ас = 1 + ас + ас = 1 + ас. Аналогично, 1 + Ь + с = 1 + Ьс. Таким образом, 1~ является конгруэнцией на £.

(2) Покажем, что е~ сохраняет полукольцевое умножение. Пусть для элементов а,Ь Е £ выполняется а е~ Ь, то есть а + е = Ь + е. Нужно показать, что ас + е = Ьс + е для любого с Е £. Заметим, что из а + е = Ь + е следует ас + ес = Ьс + ес.

При с = 1 получаем требуемое.

Пусть теперь с = 1. Учитывая е+1 = 1, имеем а+1 = а+е+1 = Ь+е+1 = Ь+1. Тогда из пункта (1) ас + 1 = Ьс + 1, откуда ас + е = Ьс + е, так как с = 1.

Пусть £ — произвольное подпрямо неразложимое полукольцо в М, причем |£| ^ 3. Тогда в силу леммы 6 существует следующее разбиение полукольца £ :

т = {{1},А = {хЕ £ :х = 1, х + 1 = 1}, В = {хЕ £ :х = 1, х + 1 = 1}}.

Лемма 10. Разбиение т произвольного подпрямо неразложимого полукольца £ Е М, |£| ^ 3, обладает следующими свойствами:

1. 1 + А = {1},А + АСА,ААСА,В + £СВ;

2. если £ Е N и в нем 3=1 = 2, то т = и £ = Z2 и {то}.

Доказательство. (1) Ясно, что А + 1 = {1}.

Пусть а, а' Е А, то есть а + 1 = а' + 1 = 1. Тогда а + а' + 1 = (а + 1) + а' = = 1 + а' = 1, откуда а + а' Е А. Заметим, что аа' = аа'  1 = аа'(а + 1) = аа' + аа'. Учитывая это, получаем 1 = а + а' + 1 = а + 2аа' + а' + 1 = аа' + 1, откуда аа' Е А.

Если для некоторых х = 1 = у выполняется х + у +1 = 1, то х + 1 = у +1 = 1. Значит, если Ь Е В, то Ь + « Е В для любого 5 = 1.

Пусть Ь Е В. Рассмотрим элемент Ь + 1 = 1. Предположим, что Ь + 1 Е А, то есть Ь +1 + 1 = 1. Если 1 + 1 = 1, то 1 = Ь + 1 + 1 = Ь +1 = 1, противоречие. Если же 1 + 1 = 5 = 1, то Ь + 5 = Ь +1 + 1 = 1, что также невозможно, так как £ \ {1} является идеалом в £. Таким образом, 1 + В Е В.

Итак, имеем 1 + А = {1}, А + А С А, АА С А, В + £ С В.

(2) По пункту (4) теоремы 1 имеем е = 2, откуда е + 1 = 1. Значит, £ \ {1} является идемпотентным подполукольцом в £, и по лемме 8 на £ для всех х,у Е £ \ {1} выполняется равенство (**).

Пусть а Е А, Ь Е В, то есть а + 1 = 1, Ь = 1 = Ь+1. Если аЬ + 1 = 1, то, учитывая (**), получаем 1 = 1 + а + аЬ= 1 + а + Ь= 1 + Ь = 1, противоречие. Значит, АВ С В.

Пусть теперь Ь, Ь' Е В. Предположим, что ЬЬ' + 1 = 1. Тогда 6 = 6-1 = = Ь(ЬЬ' + 1) = Ь + ЬЬ'. Из равенства (**) получаем 1 + ЬЬ' + Ь = 1 + ЬЬ' + Ь  ЬЬ', откуда 1 = 1 + ЬЬ' = 1 + Ь + ЬЬ' = 1 + Ь = 1, противоречие. Стало быть, ВВ С В.

Таким образом, учитывая пункт (1), т является конгруэнцией на £, причем т разделяющей элементы 1 и е. Значит, т = 0^и £ = Z2U{то}.

Теорема 2. Полукольца В, Z2,0, Т,В и {то},Z2 и {то} исчерпывают — с точностью до изоморфизма — все подпрямо неразложимые полукольца многообразия N.

Доказательство. Пусть £ — подпрямо неразложимое полукольцо из N.

Рассмотрим все возможные случаи.

1. Пусть 2 = 1 , то есть £ идемпотентно.

1.1) Предположим, что 1 + е = 1. По лемме 9 е~ будет конгруэнцией на £,

причем ееф 1, поэтому е~= 0^. Таким образом для всех х,у Е £ справедлива импликация х + е = у + е^х = у. Тогда для всякого х Е £ выполняется

х + е = х, так как х + е = х + е + е.

Рассмотрим произвольные элементы в,£ Е £\{1,е}. Заметим, что 1 + в Е Е {1,е}, иначе в = в + в = е. Далее, заметим, что если в + £ Е {1,е}, то в + £ +1 = 1, в силу 1 + 1 = 1 + е = 1. Так как £ \ {1} является идеалом в £, то должно выполняться 1 + в = 1 и 1 + £ = 1, что, как показано выше, невозможно. Значит, в + £ Е {1, е}.

Если |£| = 2, то £ = В. Если же |£| ^ 3, то разбиение т^\{1,е} является

конгруэнцией на £. Значит, т^^} = 0^ и £ = В и {то}.

1.2) Пусть 1 + е = 1. Тогда е + 1 = е(е + 1) = е + е = е. По лемме 9 отношение 1~ является конгруэнцией на £, при этом е 1ф 1. Значит, 1~= 0^ и элемент 1 аддитивно сократим. По лемме 4 £ — моно-полукольцо, поэтому £ = О.

2. Пусть 3 = 2=1.

2.1) Предположим, что 2 = е. Тогда е + 1 = 3 = 2 = е. Если для любого х Е £\{1} выполняется х+1 Е £\{1}, то разбиение т^^} является конгруэнцией на £, поэтому т^\{1} = 0^ и £ = Т.

Пусть теперь существует а Е £\{1,е}, такой, что а + 1 = 1. Тогда а + е = е, а + а = а и, по замечанию 2, подполукольцо {а, 1, 2} = Т и {0} Е N. Противоречие.

2.2) Пусть 2 Е {1,е}. Тогда е + е = е + 1 = 2 = е + 2. Если для любого х Е £ \ {1} выполняется х + 1 = 1, то разбиение т^\{1} является конгруэнцией на £, откуда т^\{1} = 0^ и £ = Т.

Если же существует а Е {1, е}, такой, что а + 1 = 1, то тогда а + е = е,а + а = = а, а + 2 = 2, и подполукольцо {а, 1, 2, е} Е N так как в нем не выполняется (*). Противоречие.

3. Пусть 3 = 2. Тогда 3 = 1 по пункту (4) теоремы 1. Если |£| = 2, то £ = Z2.

Если же |£| ^ 3, то по лемме 10 (2) £ = Z2 и {то}.

Следствие 3. Произвольное полукольцо £ Е N будет подпрямым произведением некоторого семейства полуколец В, Z2,0, Т, В и {то}, Z2 и {то}.

Следствие 4. В классе М многообразие N задается одним тождеством

(*).

Теорема 3. Решетка подмногообразий многообразия N является 16-эле-ментной булевой решеткой.

Доказательство. Имеем М(В и {то}) = М(В, О) и М^2 и {то}) = = М^2,0). Поэтому в силу теоремы 2 любое подмногообразие в N определяется подмножеством множества М = {В,Z2,0,Т.} При этом, как легко видеть, разные подмножества в М порождают разные многообразия. Стало быть, решетка Ь(^ подмногообразий многообразия N будет 16-элементной булевой

решеткой. Наименьшим элементом в Ь(^ является тривиальное многообразие, наибольшим — само N. Многообразия М(В), М^2), М(0), М(Т) — атомы в Ь(^, многообразия М(В, Z2,0), М(В, Z2, Т), М(В, 0, Т), М^2,0, Т) — коатомы.

Замечание 3. Теорема 3 может быть также выведена из одного результата Б. М. Верникова и М. В. Волкова [1]. Действительно, легко видеть, что многообразие М(В, Z2,0) удовлетворяет следующему условию: в каждой алгебре многообразия у каждой нетривиальной конгруэнции есть неодноэлементный класс, являющийся подалгеброй. Поэтому по [1, теорема] решетка подмногообразий этого многообразия является 8-элементной булевой решеткой. Решетка подмногообразий многообразия N = М(В, Z2,0) V М(Т) будет прямым произведением 8-элементной булевой решетки и двухэлементной цепи, то есть 16-элементной булевой решеткой.

Предложение 11. Для всякого полукольца £ Е М имеют место следующие утверждения:

1. £ Е М(В, Z2, Т) ^ £ обладает тождеством х + 2ху = 3х;

2. £ Е М(В, 0, Т) ^ £ дистрибутивно ^ £ Е N и удовлетворяет тожде-

ству 3х = 2х;

3. £ Е М^2,0, Т) ^ £ обладает тождеством х + 2ху = 3ху;

4. £ Е М(В,Z2,0) ^ £ Е N и £ удовлетворяет тождеству 3х = х.

Доказательство. (1) Ясно, что полукольцо £ е М(В, Z2, Т) удовлетворяют тождеству х + 2ху = 3х, а оно, в свою очередь, влечет тождество (*), но неверно на 0. Остается применить теорему 3.

Утверждения (2)-(4) доказываются аналогичным образом. Только надо показать, что тождество (*) выполняется в любом дистрибутивном полукольце £ Е М. Для этого заметим, что в £ выполняется тождество х + ху = х + 3ху, а из двойственного закона дистрибутивности получаем х + уг = (х + у)(х + г) = = х+ху+хг+уг. Откуда х+2ху+уг = х+3ху+хг+уг = х+ху+хг+уг = х+уг. Поэтому и х + 2хг + уг = х + уг.

Замечание 4. Мы видим, что многообразие N содержит четыре подмногообразия с идемпотентным тождеством х + х = х : тривиальное, М(В), М(0), М(В, 0). Как показано в [15] в многообразии М существует еще одно «идем-потентное» подмногообразие — многообразие всех коммутативных идемпотент-ных полуколец. Оно совпадает с М(0 и {то}) и строго содержит М(В, 0).

В заключение отметим, что в классе полуколец М каждое тождество, из которого вытекает тождество (*), задает одно из 16 подмногообразий в N в силу теоремы 3. Приведем несколько примеров.

1. Во всяком полукольце £ Е М тождество (*) эквивалентно любому из следующих тождеств:

х + 2ху + хуг = х + 2хг + хуг,

х + 2ху + 2хуг = х + 2хг + 2хуг,

определяющих многообразие N. Однако тождество (*) не равносильно ни одному из тождеств 2х + 2ху + 2уг = 2х + 2хг + 2уг и 2х + 2ху+2хуг = 2х+2хг + 2хуг. В самом деле, полукольцо (Ти{0})и{то} Е N но в нем выполняются указанные тождества.

2. В многообразии М каждое из тождеств

х + ху + уг = х + хг + уг,

х + уг = х + ху + уг

равносильно двойственному закону дистрибутивности, то есть любое из этих тождеств определяет многообразие М(В, 0, Т).

3. В классе М тождество 3х = 3у равносильно каждому из тождеств х + у = х + г,х + у = и + ,уи определяет многообразие М(Т).

4. Заключение

В работе изучено многообразие N порожденное двухэлементными коммутативными мультипликативно идемпотентными полукольцами. Описаны подмногообразия в N. Показано, что в классе М всех полуколец с коммутативным идемпотентным умножением многообразие N задается одним тождеством х + 2ху + уг = х + 2хг + уг, и что решетка всех подмногообразий многообразия N будет 16-элементной булевой решеткой.

Сформулируем несколько задач для дальнейшего исследования:

1. описать подмногообразия многообразия М;

2. изучить свободные мультипликативно идемпотентные полукольца с конечным числом свободных образующих;

3. построить теорию полумодулей над мультипликативно идемпотентными полукольцами.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Верников Б. М., Волков М. В. Дополнения в решетках многообразий и квазимногообразий // Изв. вузов. Математика. 1982. №11. С. 17-20.

2. Вечтомов Е. М. Введение в полукольца. Киров: Изд-во ВГПУ, 2000. 44 с.

3. Вечтомов Е. М., Петров А. А. Некоторые многообразия коммутативных мультипликативно идемпотентных полуколец // Современные проблемы математики и ее приложений: труды 45-й Международной молодежной школы-конференции, посв. 75-летию В. И. Бердышева. Екатеринбург, 2014.

С. 10-12.

4. Вечтомов Е. М., Петров А. А. О многообразии полуколец с идемпотентным умножением // Алгебра и логика: теория и приложения: тез. докл. Между-нар. конф., посвящ. памяти В.П. Шункова. Красноярск, 2013. C. 33-34.

5. Вечтомов Е. М., Петров А. А. О подмногообразиях многообразия полуколец с полурешеточным умножением // Алгебра и математическая логика: теория и приложения: матер. Междунар. конф. Казань, 2014. С. 155-156.

6. Вечтомов Е. М., Петров А. А. О подпрямо неразложимых коммутативных мультипликативно идемпотентных полукольцах // Алгебра и теория чисел: современные проблемы и приложения: тез. докл. XI Междунар. конф. Саратов, 2013. C. 14-15.

7. Вечтомов Е. М., Петров А. А. О полукольцах с полурешеточным умножением // Алгебра и теория чисел: современные проблемы и приложения: материалы XII Международной конф., посв. 80-летию проф. В. Н. Латышева. Тула, 2014. С. 154-157.

8. Вечтомов Е. М., Петров А. А. Полукольца с коммутативным идемпотент-ным умножением // Математика в современном мире: материалы Международной конференции, посв. 150-летию Д. А. Граве. Вологда, 2013. С. 10-11.

9. Кон П. Универсальная алгебра //М.: Мир, 1968. 351 с.

10. Мальцев А. И. Алгебраические системы. М.: Наука, 1970. 392 с.

11. Петров А. А. Полукольца с условиями идемпотентности // Чебышевский

сборник. 2012. Т. XIII, вып. 1(41). С. 118-129.

12. Chermnykh V. V. Functional representations of semirings // Journal of Math.

Sci. (New York), 2012. Vol. 187, №2. P. 187-267.

13. Ghosh S. A characterization semirings which subdirect products of rings and distributive lattices // Semigroup Forum, 1999. Vol. 59. P. 106-120.

14. Kalman J. A. Subdirect decomposition of distributive quasilattices // Fund. Math., 1971. Vol. 71. P. 161-163.

15. McKenzie R., Romanowska A. Varieties of Л-distributive bisemilattices //

Contrib. Gen. Algebra: Proc. Klagefurt Conf. Klagefurt, 1979. P. 213-218.

16. Romanowska A. On bisemilattices with one distributive law // Algebra universalis. 1980. Vol. 10. P. 36-47.

Вятский государственный гуманитарный университет

Поступило 18.07.2014