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

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

CC BY
188
25
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ГРАФ ДЕЛИТЕЛЕЙ НУЛЯ / ПЛАНАРНЫЙ ГРАФ / ЭЙЛЕРОВ ГРАФ / КОНЕЧНОЕ КОЛЬЦО / КОЛЬЦА С ПОЛИНОМИАЛЬНЫМИ СООТНОШЕНИЯМИ / ZERO-DIVISOR GRAPH / PLANAR GRAPH / EULERIAN GRAPH / FINITE RING / RINGS WITH POLYNOMIAL IDENTITIES

Аннотация научной статьи по математике, автор научной работы — Кузьмина А. С.

Графом делителей нуля ассоциативного кольца R (не обязательно коммутативного и не обязательно имеющего единицу) называется граф. вершинами которого являются все ненулевые (односторонние и двусторонние) делители нуля кольца R, причем две различные вершины х, у соединяются ребром тогда и только тогда, когда либо ху = 0, либо ух = 0. В настоящей работе исследуются подпрямо неразложимые конечные кольца, удовлетворяющие тождествам х2 = x3f(x),pt x = 0, где f(x)Z[x] и р нечетное простое число, и имеющие планарные графы делителей нуля

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

On Stucture of Rings with Planar Zero-Divisor Graphs

The zero-divisor graph of an associative ring R is the graph whose vertices are nonzero (one-sided and two-sided) zero-divisors of R, and two distinct vertices x and у are joined by an edge iff xy = 0 or yx = 0. In this paper, we study subdirectly irreducible finite rings that satisfy the identities x2 = x3f(x), pt x = 0, where f(x)  Z[x] and p is an odd prime number, and have planar zero-divisor graphs.

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

УДК 512.552.4

А. С. Кузьмина

О строении колец с планарными графами делителей нуля

В данной работе рассматриваются ассоциативные кольца.

Определение. Графом делителей нуля кольца Е (не обязательно коммутативного и не обязательно имеющего единицу) называется граф, вершинами которого являются все ненулевые делители нуля кольца (односторонние и двусторонние), причем две различные вершины х, у соединяются ребром тогда и только тогда, когда либо ху = 0, либо ух = 0 (см.: [1]).

Е

Е

зовать такое обозначение.

Идея построения графа делителей нуля впервые была использована в работе [2], в которой решались проблемы, связанные с раскраской графов делителей нуля коммутативных колец. Граф делителей нуля И. Бек определил следующим образом: в качестве вершин графа делителей нуля коммутативного кольца он рассматривал все элементы кольца, причем две раз-ху ху

В работе [3] Д. Андерсон и Ф. Ливингстон несколько изменили способ построения графа делителей нуля: вершинами графа делителей нуля коммутативного кольца с единицей считались все ненулевые делители нуля кольца. По мнению авторов, такое определение лучше иллюстрирует структуру множества делителей нуля кольца. Действительно, например, в [3, с. 438] доказано, что граф делителей нуля коммутативного кольца с единицей, вершинами которого являются лишь ненулевые делители нуля кольца, является связным. Если же рассматривать в качестве вершин графа все элементы кольца, то это утверждение становится очевидным, поскольку нуль - вершина, которая является смежной для всех остальных вершин кольца.

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

ми такого графа считаются все делители нуля (левосторонние и правосторонние), причем две различные вершины соединяются ориентированным ребром x —> у тогда и только тогда, когда ху = 0 (см., в частности, работы: [1, 4]. Во-вторых, используется определение, приведенное нами выше (определенный таким образом граф делителей нуля не ориентирован)1.

В дальнейшем на протяжении всей работы мы, говоря о графе делителей нуля кольца, будем подразумевать определение, приведенное нами в начале статьи (ясно, что в случае коммутативности кольца такое определение графа делителей нуля совпадает с определением Д. Андерсона и Ф. Ливингстона из работы [3]).

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

Настоящая работа посвящена исследованию колец (необязательно имеющих единицу и необязательно коммутативных), графы делителей нуля которых планарны [8, 9]. В первом разделе доказаны некоторые свойства графа делителей нуля кольца. Аналоги некоторых из этих свойств (предложения 1.1, 1.2) были доказаны для коммутативного случая в работе [3]. Во втором разделе мы описываем конечные подпря-мо неразложимые кольца, удовлетворяющие тождествам X — x3f(x) = 0,ptx = 0, где f(x) е Z[x] и р > 2 - простое число, и имеющие планарные графы делителей нуля. В третьем разделе изучаются локальные кольца, удовлетворяющие тождеству x — x f(x) = 0, где f(x) е Z[x], графы делителей нуля которых планарны. Четвертый раздел посвящен исследованию конечных нильпотентных колец, имеющих планарные графы делителей нуля.

Введем обозначения и определения, исполь-

1 Как видео из ссылок в работе [1] и неориентированный, и ориентированные графы делителей нуля некоммутативного кольца исследовались также в следующей работе: Redmond S.P. The zero-divisor graph of a noncommutative ring // Int. J. Commut. Rings. 2002. №1(4). P. 203-211.

зуемые в настоящей работе. Пусть для простого р

Np2 =< a; a = pa,pa = 0 >;

GF(pn) GF(pn)

;

,o _ ( GF(pn) o;,

APn “ ^ GF(pn) 0 ) ’

GF(p) GF(pj)

0 GF(p)

a b

Av

B„

'2,P

;a,b e GFp };

N

P,P

a

ab

0 0 a | ;a,b е GF(p)

0 0 0

В данной работе радикал Джекобсона кольца R обозначается через J(R). Под термином ’’локальное кольцо” мы понимаем такое конеч-R

кольцо R/J(R) является толем. Через D(R) будем обозначать множество всех (односторон-

R

NR

R

D(R)* = D(R) \ {0}.

Для любого элемента a е R, где R -произвольное кольцо, будем использовать следующие обозначения: 1(a) = {x е R;xa = 0},

r(a,) = {x е Rax = 0}, ann(a) = 1(a) П r(a).

Приведем некоторые определения из теории графов, используемые в настоящей работе (см.: [10-12]).

G

последовательность ребер E0, Ei,..., En графа

G, что конечная вершина ребра Ei совпадает с начальной вершиной ребра Ei+i для всех

i = 0,1,2,... ,n — 1. Маршрут называется цепью, если каждое его ребро встречается в нем не более одного раза. Маршрут называется простой цепью, если все его вершины различны.

G

его различных вершин соединена простой цепью. Длина маршрута - количество ребер в нем. Расстоянием d(u,v) между двумя различными вершинами u и v графа G называется длина кратчайшей простой цепи, соединяющей их; если u и v не соединены, то полагаем d(u, v) = ж.

G

расстояние между двумя его вершинами. Диаметр графа G обозначается diam(G). Степенью вершины, графа называется число ребер, инцидентных этой вершине.

Граф называется конечным, если множество его вершин и множество его ребер конечно [11].

2 Как видео из ссылок в работе [1], даевое утверждение S.P. The zero-divisor graph of a noncommutative ring // Int.

G

шин V которого можно разбить на два непе-ресекающихся непустых подмножества V и V2

G

единяет вершины из разных подмножеств. Если G

VV

вается полным двудольным. Полные двудольные графы обозначаются Kn,m, где n = \Vi | и m = \V-i \. Полным n-вершинным графом Kn называется граф (без петель и кратных ребер), n

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

Напомним также, что граф планарен тогда и только тогда, когда он не содержит подграфа, K , K

ского [12, с. 133]). На протяжении данной статьи мы неоднократно будем пользоваться этой теоремой.

1. Некоторые свойства графа делителей нуля кольца

R

R

R

D R { }

R

ляется конечным и непустым графом. Тогда найдутся ненулевые x,y е R, такие, что xy = 0. Поскольку С D(R), то ^x) - конечное множество. Кроме того, yr е r(x) дая всех r е R. Если кольцо R бесконечно, то найдется i е ^x) такой, что множество J = {t е R\yt = i} бесконечно. Для всех t, s е J имеем ^t — s) = 0. Таким образом, множество r(y) С D(R) беско-

R

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

R

R

diam(F(R)) < 3.

R

из одной вершины, то все доказано. Поэтому бу-R

x y xy yx

d x, y xy

yx

независимо было доказано в следующей работе: Redmond J. Commut. Rings. 2002. №1(4). P. 203-211.

x y xy y, x y

xy xy x, xy xy

xy x, xy y

Тогда x — xy — y является простой цепью длины xy xy b е D(R)* \ {x, y}, такой, что yb = 0 либо by = 0. yb bx x y

x — b — y bx

bx x ybx yx

bx y bx yx

bx x bx y x y

x — bx — y

by

xy

простой цепью длины 2.

Аналогично рассматривается случай, когда xy

Далее, пусть x2 ф 0, y2 Ф 0. Тогда найдется b е D(R)* \ {x, y}, такой, что yb = 0 либо by = 0, и найдется a е D(R)* \ {x, y}, такой, что xa = 0 ax a b x y

стой цепью длины 2: x — a — y. Пусть a ф b. Воз-

xa , by

ax , yb ax , by xa , yb .

xa , by . ab x y

x — a — b — y ab ab x xab x

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

ab y, aby y

ab x, ab y

xy x — ab — y

ax , yb

ax , by ya

x y x— a— y

ya ya x yax x

ya y yax yx

Снова получили противоречие. Таким образом,

ya x, ya y ya b x y

x — ya — y

ya b x y

x — ya — b — y

Аналогично рассматривается случай, когда xa , yb

x y ay

Предложение доказано.

Предложение 1.3. Пусть T(R) = Kn,m R

R

либо T(R) = K,т-

Доказательство. Пусть T(R) = Kn,m и D(R)* = V U V2, V П V2 = 0 Если R содержит ненулевой нильпотентный элемент, то найдется

a е R a скольку a2 = 0, то a е D(R)*, т.е. a является

вершиной в Г(Е). Следовательно, а € V или а € У%. Положим, что а € V-

Пусть а ^ — а. Следовательно, —a € У2. Предположим, что V \ {а} ф 0, ш возьмем у € V \ {а}- Тогда — ом = 0 либо м(—а) = 0, т.е. ом = 0 или ма = 0; противоречие. Следовательно, V = {о} и Г(Е)= К,т-

Пусть о = — а. Если V = {о}, то все доказано. Положим, что V \ {о} 7^ 0- Возьмем м € V \ {о} и Ь € У - Тогда или аЬ = 0, или Ьа = 0- Заметим, что ом ф 0 и ма ф 0, причем ма? = 0, = 0, м. ма,ам € У- Однако

либо (ма)Ь = 0, либо Ь(ам) = 0- Следовательно, Ь = ма или Ь = ам- Кроме того, (ма)(ам) = 0, т.е. ма = ам = Ь- силу произвольности выбора элемента Ь имеем V = {Ь} и Г(Е) = К,т-Предложение доказано.

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

Е

Е

Е

ряет одному из следующих условий:

Е

(2) Е = 0к=!СГ(р^), причем рг Ф 2 при г = 1, ---,к и к >2;

(3) Е - такое локальное кольцо, что |Е| = 2", п > 2, и X = 0 для всех х € Ц(Е).

Е

Е

СЯ эйлеровым. Пусть п = 1Е1 = р!- - -р3аз , в >

1. Тогда Е = Е ® - - - 0 Е3, где |Ег^ = рга,г =

1, - - -, в.

Случай 1. Пусть в > 2 и ег - единица кольца Ег,г < в.

Рассмотрим элемент а = (0, - - - ,0, ег,0, - - -, 0). Его аннулятор равен

Е 0 --- 0 Е— 0 {0} 0 Ег+1 0 --- 0 Ее,

аЕ

равно

Р а - --р— а— рг+1а^ ---ра — 1Е

но быть четным, т.е. рг ф 2 для всех г < в. п

сти, если 2х = 0 для некоторого х € Е, то х = 0. Пусть найдется такой ненулевой элемент и € Е, что и = 0. Тогда и ф —и и степень элемента иЕ

—и и

бой смежной с и вершины у(у ф —и) вершина

—y u

u

чие. Следовательно, при s > 2 в кольце R нет

R

прямая сумма полей GF(q^, 1 < i < к, где qi -нечетные числа.

\ R\ pn p >

n>

Если J(R) Ф 0, то найдется О Ф a е J(R), такой, что a2 = 0. Тогда a ф —a и степень a не-

—a

ay с вершиной a и не равн ой — a, верши на —y тоже a

aa

JR Rp

\ R\ n n >

R

мент a е D(R)*, что $ ф 0 и ann(a) ф (0). По теореме Лагранжа \l(a)\, \r(a)\, \ann(a)\ - чет-

a

равная

\(l(a) U r(a)) \ {0}\ = \l(a)\ + \r(a)\ — \ann(a)\ — 1,

является нечетным числом. Полученное противоречие показывает, что для каждого a е D(R) a ann a

J R , R ма полных матричных колец над полями характеристики 2. Однако е2! ф 0 и ann(en) ф 0, поскольку е-22 е ann(eii). Значит, в разложе-R

R ®k=1 GF(2ft). Пусть

к > 2 и ех - единица поля GF(2е). Обозначим a = (ei, 0,0,..., 0) е R. Тогда a2 ф 0 и ann a

к = 1 и R - поле.

JR

R/.J(R) = ®k=iMni(GF(2ei)) и найдется такое натуральное число N > 1, что J(R)N Ф 0, J(R)N+1 = 0. Для любого ненулевого a е J(R) имеем ann(a) ф (0), поскольку 0 Ф J(R)N Q an^a. Поэтому a2 = 0 для всех a е J(R). Пусть ei, ...,ek - система ортогональных идемпо-

R/J R

ницами в Mni (GF( 2е)),..., Mnk( GF( 2вк)) соответственно. Пусть к > 2. Тогда e2 / 0 и ann(ei) ф (0), поскольку e2 е ann(ei); противоречие. Значит, к = 1 и R/J(R) = Mni (GF(2е)). n>

J R R

с. 84]. Следовательно, согласно [13, с. 86], систему матричных единиц кольца Mni (GF(2в1))

R

же способом, как это было сделано выше, при-

nR

кальное кольцо.

Обратно, пусть R = ®f=1 GF(p^), pi ф 2 при i = 1,..., s. Элемент a = a,..., as) является де-

ai

i

литель нуля a = (щ, a2,..., as). Пусть I - мно-

i ai .

a

совпадает со множеством (A Ф ... Ф А^ \ {0}, где Ак = GF(pak) при к е I и Ак = (0) при к е I- Поэтому степень элемента a равна nke/pkak — 1- Это четное число. Следователь-R

R \ R\

2n,n > 2, ш. x = 0 для всех x е J(R). Заметим,

D R J R [14, с. 74]). Далее, для любых x,y е D(R) имеем 0 = (x + y)2 = x + xy + yx + y2 = xy + yx, xy —yx. ann x l x r x

любого элемента x е D(R). Возьмем произвольный элемент a е D(R)*. Поскольку a2 = 0, то ann a ann a

a

ная \ann(a)\ — \{0, a}\, является четным числом

a

R

a

леров). Таким образом, мы показали, что граф R

2. Подпрямо неразложимые конечные кольца, удовлетворяющие тождеству вида x = x3f(x), где f(x) е Z[x] и имеющие планарные графы делителей нуля

R

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

ряющее некоторому тождеству вида

x = x3f(x), (1)

где f(x) е Z[x], и K - ниль-идеал кольца R. Тогда xy + yx = 0, x = 0 и 2xyz = 0 - тождества в K. В частности, если pfR = Q,t >1 и p ф 2, K

Доказательство. Пусть a е K - произ-

aN

N>

зуя тождество (1), получим, что a2 = a3f(a) = a4 (f(a))2 = ... = aN (f(a))N _2 = 0. Таким образом, a = 0 для всех a е K. Пусть a,b е K. To-a b , a ab ba b ab ba.

Таким образом, ab+ba, = 0 дая всех a,b е K. Далее, возьмем произвольные элементы a,b,c е K.

ab ba

a bc — bc a — b ca ca b

с(аЪ) = -аЪс,т.е. 2аЪс = 0. Если же р/Е = 0,і > 1 и р ф 2, то аЪс = 0. Лемма доказана.

Лемма 2.2. Графы Г(Аръ),Т(А%п) при рп >

3 не планарны. Графы Г(Аз),Г(Аз) планарны. Граф Г (Б Р) не планарен при р > 2.

Доказательство. Граф Г(Арп) при рп > 3 не планарен, поскольку граф делителей нуля множества {вц,ави, ввц}и{в12, ав12, вв12}, где

а, в Є ОГ(рп) \ {0,1} и а ф в, содержит в качестве подграфа К3 ,з- Аналогично граф Г(Ар„) при рп > 3 не планарен, поскольку граф делителей нуля множества {вц, авц, ввц} и {е2і, а^ьв^і}, где а, в Є ОГ(рп) \ {0, 1 } и а ф

в, также содержит в качестве подграфа К,з-Граф Г(БР) не планарен при р > 2, поскольку граф множества {%Д^Ь вГ2} и {в22, 2в22,2вГ2} содержит в качестве подграфа К,з- Поскольку все вершины графа Г(Аз), кроме Є12 и 2ві2, име-

А

подграфа, гомеоморфного К или К ,з- Поэто-А

шины графа Г(А|), кроме в2і и 2в-ц, имеют сте-А

доказана.

Предложение 2.1. Пусть Е - подпря-мо неразложимое конечное кольцо, удовлетворяющее некоторому тождеству вида (1), причем граф Г(Е) планарен. Пусть р/Е = 0, где р > 2 - простое число. Тогда для кольца Е выполняется одно из следующих условий:

(1) Е = ОГ(рп);

Е

Е

НЕ)3 = (0);

(4) Е = А (АI).

Доказательство. Обозначим ЦЕ) * =

ЦЕ) \ {0}. Если -НЕ) = 0, то по теореме Веддерберна-Артина Е = Мк(ОГ(рп)). Если к > 2, то, по лемме 2.2 Г(Е), не планарен; противоречие. Значит, Е = С¥(рп). Если Е = ЦЕ), Е

Пусть Ц{Е) ф (0),Е ф .ЦЕ) и ргЕ = 0, где р > 2 - простое число. Тогда Е/ЦЕ) = ®і=іМпЛС¥((іі)). По лемме 2.1 ху + ух = 0,х2 = 0, хуг = 0 - тождества в ЦЕ). Покажем, ЧТО Щ = . . . = Пк = 1. Пусть вг, ..., вк -система ортогональных идемпотентов, образы которых в Е/ЦЕ) являются единицами в Мпі (ОГ(ді)), ...,Мпк(С¥(цк)) соответственно. Предположим, например, что щ > 1. В силу нильпотентности ЦЕ) кольцо Е является БВІ-кольцом [13, с. 84]. Следовательно, согласно [13, с. 86], найдутся такие элементы х, у, г, і Є віЕві, что X = х, у2 = у, гі = х, іг = у, г2 = і2 =

0,ху = ух = 0,уг = гх = 0,хг = гу = г-Тогда граф множества {х,2х, г} и {у,2у,2г} содержит в качестве подграфа К ,з! противоречие. Следовательно, щ = - - - = пк = 1 и Е/ЦЕ =0^=1 ОПсл) -

Заметим, что при к > 3 граф множества {е , е , е } и {е , е , е } подграфа граф К,з- Следовательно, к <3.

г, < г < к, вый идеал егЦБ) является двусторонним идеалом кольца 5- Поскольку ху = —ух - тождество в ЦЕ), то ЦЕ)(еЦ(Е)) С еЦ(Е)2 С еЦ(Е)-Пусть, далее, в € ЦЕ)- Тогда в = ^^=1 а^е^ Ч, где ч€ЦЕ), а^ € ЦЕ)*,^ = 1,---,к- Значит, вегЦЕ) = агегЦЕ) + цегЦЕ)- Обозначим Чг = агег — егаг € ЦЕ),г = 1, к- Тогда агегЦЕ) =

(агег) егЦ(Е) (Чг ег а^ егЦ(Е) С Ц( Е) егЦ( Е) ~\~

егЦЕ) С егЦЕ)- Следовательно, аегЦЕ) = агегЦ(^^ дегЦ(Е) С егЦ(Е)- Тем самым доказано, что егЦ(Е) < Е, г = 1, к- Аналогично доказывается, что односторонние идеалы ЦЕ)ег, (1 — ен),7(Е) = {Ь — егЦЪеАЕ)}, ЦЕ)(1 — ен) = {Ь — Ьег\Ь € ЦЕ)},г = 1,к являются двусторон-Е-

Поскольку Е ф Ц(Е), то, по крайней мере, один из идемпотентов ег, г = 1, к, не равен нулю. Не нарушая общности, мы можем положить, что е

жения рассмотрим следующие случаи.

Случай 1. (0)-

ЦЕ е -

ЦЕ е -I = ЕегЕ- Поскольку ех ^ 0, то I ф (0). Покажем, ЧТО I П Ц(Е) = (0)- ^^ТЬ Ч = '^Н=1 хге\Уг €

I П Ц(Е), где хг, уг € Е,г < т- Мы можем записать хг = J2j=l ацеэ + Чг, уг = ^,1=1 виеь + , где

Яг,Чг € Ц [Е), в%1е1 е1в%1 — Яц € Ц [Е), агз , в%\ €

ЦЕ *-

Ч =

Ет^(Ек=1 аИез+ яде1(£к1=г рие1 + Я')) =

агЗ е3 е1рг1 е1 (аг1 ^(е1рг1 “Ъ Чц))

аИ е1вИ -

Далее,

Ч — аа е1е1ри =

(аи^(рае1 + Ча)) =

= (Егк=1 аае1рг1^ е1 = Че1= 0-

Следовательно, I П Ц{Е) = (0), причем Ц(Е) ф

(0) и I ф (0). Получили противоречие с тем, Е

ЦЕ е - ЦЕ — е

ца Ей ЦЕ)ег П ЦЕ)(1 — ег) = (0), то ЦЕ)(1 — ех) = 0- Отсюда следует, что ЦЕ = ЦЕ&1-ЦЕ ЦЕ е ЦЕ -

рЦЕ рЦЕ е ЦЕ ре С Ц Е ре ре е ре е ЦЕ , рЦ Е

ре -

Если к = 1, то рЕ = 0 и Е - О^{р)-алгебра. По теореме Веддерберна-Мальцева, Е = ОЕЫ^ + ЦЕ, где еЦ(Е) = (0), ЦЕ) = ЦЕ е - и ЦЕ -

Тогда иЕ = иОЕ(ях)ех < Е- Если существует ненулевой элемент у € ЦЕ), не содержащийся в иЕ, то иЕ П мЕ = (0)- Противоречие. Следовательно, ЦЕ = иЕ и Е = А° - По лемме 2.1 Е - А°-

Если к > 2, то (0) = ЦЕ)ех П ЦЕ)е^ = ЦЕ П ЦЕ)е^ = ЦЕ)е^ щи з > 2- Рассуждая так же, как это было сделано выше, получим, что ЦЕ) = е2ЦЕ, з > 2- Если к = 3, то ЦЕ) =

е2ЦЕ) = е3ЦЕ и Ц(Е) = е2е3ЦЕ) = (0)-к , ЦЕ

е ЦЕ е , ре , ре ре е ЦЕ е и Е - ОЕ(р)-адгебра. По теореме Веддерберна-Мальцева, Е = О¥((1х)ех + ОР(я2)е2 + ЦЕ)-и ЦЕ -

ие е и и

тами {^, ^, и}, изоморфно кольцу Бр- Однако по лемме 2.1 при р > 2 граф Г(БР) не планарен, к

Аналогично при ЦЕ)ег = (0) получаем Е =

А-

е ЦЕ ЦЕ е -

е ЦЕ П е ЦЕ ЦЕ е П ЦЕ е ,

Е

е ЦЕ ЦЕ е -

— е ЦЕ П е ЦЕ ЦЕ)(1 — ех) П ЦЕе1 = (0), то (1 — ех)ЦЕ) = (0) ЦЕ — е е ЦЕ ЦЕ

ЦЕ е

Рассмотрим идеал I = Ее2Е- Возьмем

Ч € Ее2Е П ЦЕ- Проведя те же рассуждения, что и при рассмотрении случая 1, можно показать, что я = яе-2 = 0- Следовательно, Ее Е П ЦЕ - Е

ЦЕ , Ее Е ,

т.е. е2 = 0- Значит, к = 1-

еЕ аЕ сан следующим образом: а = ^а + ч = в^1 + Ч, где я, я' € ЦЕ,а,в € ЦЕ*- Значит,

е1а = е1а + ч = аи аех = + я' = а- Итак,

- единица кольца Е и Е - локальное кольцо. Предложение доказано.

Как видно из предложения 2.1, задача полного описания конечных подпрямо неразложимых колец, удовлетворяющих тождеству вида (1) и имеющих планарный граф делителей нуля, разбивается на два случая: описание нильпо-тентных колец и описание локальных колец, имеющих планарные графы делителей нуля. Оказывается, справедлива следующая теорема.

Е

жимое конечное кольцо, удовлетворяющее некоторому тождеству вида х2 = х3/(х),/(х) € Z[х], причем р/Е = 0, где р > 2 - простое чи-Е

Е

(1) Е - ОЩр"),р >2,п > 1;

(2) Е - А3(А°);

(3) Е = (а : а2 = 0,ра = 0) ,р = 3, 5;

(4) Е — Zp2,р = 3,5;

(5) Е = Т2,р,р = 3,5.

Мы сначала докажем ряд вспомогательных утверждений и в конце раздела 4 вернемся к доказательству теоремы 2.1.

3. Локальные кольца, удовлетворяющие тождеству вида х2 = х3/(х), где /(х) € Z[х], и имеющие планарные графы делителей нуля

На протяжении всего этого раздела мы буЕ

дующее обозначение: М = ЦЕ). Напомним, что В(Е) = М для локального кольца Е [14, х , ху ух , хуг х, у, г М

раздела доказываются для локального кольца с М,

телей нуля пуст, следовательно, планарен.

Е

мое кольцо. Тогда |Е| = рг, М| = рг, где pJ -некоторое простое число и 1 < г <1.

Е

М

вида (1) и имеющее планарный граф делителей Е

дующих условий:

(1) М2=0, М| < 5, Е <25;

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

(2) М3=0,\М2 \ =2;

(3) ^0,^0, Е = 2г,Ь > 4-

М

|М| > 6, то К С Г(Е); противоречие. Сле-| М| < М

вое векторное пространство над полем Е/М, то |Е/М| <М| < 5 и Е <25-

\ \ М ,

М3 = (0). Еели \М'2 \ > 4, то М | > 8- Поэтому мы можем взять попарно различные ненулевые элементы а,Ь,с € М и попарно различные ненулевые элементы х,у,г € М \ {а,Ь,с}- Граф {а, Ь, с} и {х, у, г} \ \

К,з; противоречие. Следовательно, \Ы2\ < 3. Покажш, что случай \Ы'2 \ = 3 невозможен. Пусть \Ы'2\ = 3 и М2 = {0,х,2х},х2 = 0. Возьмем произвольный элемент у € М \ М2. По-у,

ства {х,2х, у,2у, х + у} образует К5; противоре-\М \

М

лемме 2.1 |Е| = 2Ь,Ь > 4. Покажем, что ин-М

Предположим противное, а именно: Мф 0, Мк = 0, к > 5. Тогда \И'2 \ >8 и \М— \ > 4-Кроме того, М2Мк~2 = 0 и к — 2 >2. Поэтому, взяв попарно различные ненулевые элементы а,Ь,с € Мк~2 и х,у,г € М2 \ {а, Ь, с}, мы получим, что граф К,з является подгра-Е

М

Е

М

да (1) и имеющее планарный граф делителей Е

дующих условий:

(1) М2=0, М| < 5, Е <25;

(2) М3 = 0, \ М2\ = 2, М| < 8, Е < 16, Е / М =■ ^2;

М , \\ М \\ , \\ М \\ , | М| < ,

Е <32, Е/М = %2 -

Доказательство. Для доказательства тео-

Е

\\

пусть М3 = 0, \Ы2 \ = 2- Поскольку М2 - пра-\ \ Е/М

\М2\ > Е/М| и Е/М = Х2.Есл.и М| = 4, то все \ \ | М| >

\ М/М \ > - М { , х}

мем т,т € М \ М2 такие, что т Ф т2 и т — т х, т — т / М т т ,

{х, т , т , т х, т х} зует К5; противоречие. Значит, тт2 Ф 0.

апп т { , х, т, т х} любого элемента т € М \ М2. Рассмотрим множество представителей ненулевых классов {т,т, - - - ,тк} в М/М2. Согласно только что доказанному, тгт^ ф 0 при г ф ]. Значит, тгт^ = х щи г ф з Если к > 4, то имеем т т т т т т х-т(т — тз) = т(т — тз) = 0- Значит, т —

т , т — т апп т { , х, т , т х} лу выбора т2, т3, 'т элементы т2 — т3, т — т3

х

т2 — т3 Ф т — т- Тогда возможны два случая: 1) т — т = т — т = т + х; 2)т2 — т3 = тх + х, т — т3 = тг. Нетрудно видеть, что в обоих случаях т — т2 € М2; противоречие. Значит, т2 — т3 = т4 — т3, т.е. тт

довательно, к < 3. Поэтому М| = 2^+2 <8и |Е| <

\ \ М , М4 = 0, |Е| = 24, Ь > 4- Если \М2 \ > 6, то граф Г(Е) содержит граф К5. Следовательно, \М2\ < 4. Поскольку М3 ф 0, то \М\ = 2, \М2\ = 4,Е/М = Ъ2. Граф Г(Е) связен и планарен, Е

х € М, степень которой не превосходит 5 [12, с. 129]. Таким образом, ^(х)| < 7 (поскольку \,х € 1(х)). Следовательно, М| = |Мх| • \1(х)| < \М \ • Щх)| < 4^ 7 = 28, т.е. М| <16 и |Е| < 32. Теорема доказана.

4. Конечные нильпотентые кольца, имеющие планарные графы делителей нуля

Е

мое нильпотентное кольцо, имеющее планар-

Е

ряет одному из следующих условий:

(1) Е = 0, \Е| <5;

Е , \\ Е \\ <

Е , \\ Е \\ , \\ Е \\ -Доказательство. Пусть Ек = 0, Ек-1 ф 0-Покажем, что к < 4. ^^^^^им, что к > \. Обозначим Ь = [|]. Тогда Е1Е1+1 = 0 и \Е*+1 \ > 4, |Е*| > 8. Взяв три ненулевых элемента из Е4+1 и три ненулевых элемента из Ег\Е*+1, получим, что в Г(Е) содержится граф К3,3; про-

ЕЕ

,Е К5, получаем |Е| < 5.

Пусть Е3 = 0,Е2ф 0- Если \Е \ > 4, то |Е| > 8, поэтому К,з еодерж\тся в Г(Е); проти-

\Е \ <

Осталось рассмотреть случай, кода Е3 ф 0. \Е \ < \Е \ > ,

|Е| > 16- Значит, К,з содержится в Г(Е); проти-\ \ \ \

\Е \ , \Е \ -

Е

потентное кольцо, имеющее планарный граф

Е

му из следующих условий:

(!) Е2 =0, Е < 5;

Е , \\ Е \\ , | Е| <

Е , \\ Е \\ , | Е| <

Е , \\ Е \\ , \\ Е \\ , | Е| <

Доказательство. Согласно предложе-

Е-рассмотрим следующие случаи.

\ Е\ \ , Е\

ложению 4.1 имеем \Е \ , \Е \ -

1.1. Пусть у2 = 0 для всех у € Е. Тогда по

ху ух х, у Е

Е,

а, Ь, с Е \ { }, аЬс

Ь, аЬ, Ьс, аЬс

аЬ Ьс, аЬс Ьс аЬс аЬ аЬс

аЬс

аЬс Ьс, а Ьа аЬс

Таким же образом доказывается, что элемент Ь аЬ, Ьс, аЬс

Предположим, что ЩЬ) \ {0, Ь, аЬ, Ьс, aЬc}| >2 и ЬгЬ € 1(Ь) \ {0,Ь,аЬ,Ьс,аЬс}- Тогда множество {Ь,Ьх,Ь2} и {аЬ,Ьс,аЬс} образует К,з! противоречие. Следовательно, ^(Ь) | < 6. Поэтому Е = ЩЬ)| • ЕЦ < ЩЬ)| • \Е\ <6^4 = 24-

аа \Е \ Е { , х}

\1(а) \ Е \ > 3. Тогда найдутся попарно различные 01,02,03 € /(а) \ Е3. Заметим, что

а,х + а € На), поскольку а2 ф 0. Следователь-{х, а, х а} и {а , а , а }

К,3; противоречие. Следовательно, Ща) | < 4 и

|Е| < \ \

Случай 2. Пусть Е3 = 0, \Е \ = 3. Пусть Е { , х, у}

2.1. Пусть г2 = 0 для всех г € Е. Возьмем произвольный элемент Ь € Е \ Е2. Если ^(Ь) \ {0,x,y,Ь}| > 3, то существуют попарно различные Ь1,Ь-2,Ьз € 1(Ь)\{0, х, у, Ь}- Видим, что

{х, у, Ь} и {Ь , Ь , Ь } К,

противоречие. Значит, Ц(Ь)| < 6 и |Е| < 18.

2.2. Пусть о2 ф 0 для некоторого а € Е. Тогда а,х + а, у + а € /(а). Предположим, что \1(а) \ Е \ > 1- Для любого 01 € /(а) \ Е2 множество {х, у, ах}и{а, х+а, у+а} образует К3,з! противоречие. Значит, Ща) | = \Е \ = 3 и Е < 9.

Случай 3. Пусть Е3 = 0, \Е \ = 2. Пусть Е { , х}

3.1. Пусть у2 = 0 для всех у € Е. Возьмем произвольный элемент Ь € Е \ Е. Если ЩЬ \ {0, х,Ь, х + Ь}| > 3, то для любых трех различных элементов Ь1, Ь2, Ь3 € 1(Ь) \ {0, х,Ь,х + Ь} множество {х, Ь, х + Ь}и{Ьх,Ь2, Ь3} образует К3,з! противоречие. Поэтому ^(Ь) | <6 и |Е| < 12.

3.2. Пусть О ф 0 для некоторого а € Е. То-

гда х + а € /(о)- Если \1(а) \ Е \ > 3, то для любых трех различных элементов 01,02,03 € / а \ Е {х, а, х а} и {а , а , а }

К,

| / а | < | Е| <

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

Доказательство теоремы 2.1. Пусть

Е

удовлетворяющее некоторому тождеству вида х2 = х3/(х),/(х) € Z[х], причем р/Е = 0, где р>

Е

кольцам А, А, т0 оно либо нильпотентно, либо локально. Рассмотрим каждый из этих случаев отдельно.

Е

ме 2.1 у2 = 0 для всех у € Е. Из теоремы 4.1 Е

же\ием на абелевой группе (Хр,Л-),р = 3,5, ли-\о \Е\ = 3, |Е| < 18. Рассмотрим случай, когда \Е \ = 3, |Е| < 18. Поскольку Е подпрямо не-| Е|

Е ИЗОМОрфнО либо N,3, либо кольцу Мд. Однако оба эти кольца не удовлетворяют никакому тождеству вида х2 = х3 /(х).

Е

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

ореме 3.1 |Е| <25, ЩЕ)| < 5, м. |Е| = р,

| Ц Е | р, р , - Е

морфно либо Zp2, либо Т,Р, г,де р = 3,5. Поскольку ЦZp2)2 = 0 и Ц(Т2,р)2 = 0, то оба кольца удовлетворяют некоторым тождествам вида х2 = х3/(х). Далее, графы Г(Т2,р) и Г^рг) планарны, поскольку \Ц(Zp2)\ = ЩТ2,р)| = р < 5-Нетрудно проверить, что все кольца из условия теоремы подпрямо неразложимы. Теорема доказана.

Литература

1. Akbari, S. On zero-divisor graphs of finite rings / S. Akbari, A. Mohammadian // Journal of Algebra. - 2007. - Vol. 314.

2. Beck, I. Coloring of Commutative Rings / I.

Beck // Journal of Algebra. - 1988. - Vol. 116.

3. Anderson, D.F. The Zero-Divisor Graph of a Commutative Ring / D.F. Anderson, P.S. Livingston // Journal of Algebra. - 1999. - Vol. 217(2).

4. Wu T. On directed zero-divisor graphs of

finite rings / Т. Wu // Discrete Mathematics. -2005. - № 296.

5. Akbari, S. When zero-divisor graph is planar or a complete r-partite graph / S. Akbari,

H.R. Maimani, S. Yassemi // Journal of Algebra.

- 2003. - Vol. 270.

6. Belshoff, R. Planar zero-divisor graphs / R. Belshoff, J. Chapman // Journal of Algebra.

- 2007. - Vol. 316.

7. Smith, N. Infinite planar zero-divisor graphs / N. Smith // Communications in Algebra. - 2007.

- Vol. 35.

8. Кузьмина, А.С. О строении конечных колец , имеющих планарные графы делителей нуля / А.С. Кузьмина // МАК-2007 : материалы 10-й регион, конф. по математике. - Барнаул, 2008.

9. Кузьмина, А.С. О строении колец с планарными графами делителей нуля / А.С. Кузьмина // Тезисы докладов Международной алгебраической конференции, посвященной 100-летию со дня рождения А.Г. Куроша. - М., 2008.

10. Оре, О. Теория графов : пер. с англ. / О. Оре; под ред. Н.Н. Воробьева. - 2-е изд., стереотип. - М., 1980.

11. Татт, У. Теория графов : пер. с англ. / У. Татт. - М., 1988.

12. Харари, Ф. Теория графов : пер. с англ. / Ф. Харари; под ред. Г.П. Гаврилова. - М., 1973.

13. Джекобсон, Н. Строение колец / Н. Дже-кобсон. - М., 1961.

14. Елизаров, В.П. Конечные кольца / В.П. Елизаров. - М., 2006.

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