О МАКСИМАЛЬНЫХ АНТИЦЕПЯХ РЕШЕТОК ДЕЛИТЕЛЕЙ НАТУРАЛЬНЫХ ЧИСЕЛ НЕКОТОРЫХ ВИДОВ Текст научной статьи по специальности «Математика»

ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА 2014 Математика. Механика. Информатика Вып. 3 (26)

МАТЕМАТИКА

УДК 512.544.2+511.218

О максимальных антицепях решеток делителей натуральных чисел некоторых видов

Я. Д. Половицкий, А. А. Волочков.

Пермский государственный национальный исследовательский университет Россия, 614990, Пермь, ул. Букирева, 15 alg@psu.ru; (342) 2 396 321

Для натуральных чисел п видов p1 p 2 ... pk и pmqkrs, где p, q, г и pi, (/ = 1, к) -

различные простые числа, оценивается максимальное число элементов в антицепях множества D (п) всех делителей п, частично упорядоченного относительно делимости (ширина w (п) множества D (п)). Для ряда случаев эта ширина и антицепи из w (п) элементов находятся. Указывается приложение этих результатов к теории групп.

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

Введение

В работах [1] и [2] Я.Д. Половицким начато рассмотрение вопроса о нахождении в произвольной группе конечных подмножеств попарно неинцидентных (не содержащихся одна в другой) подгрупп, состоящих из максимального числа подгрупп, и числа составляющих их подгрупп. Как нетрудно видеть, для конечных циклических групп эти вопросы равносильны следующим вопросам о натуральных числах:

Вопрос 1. Для натурального числа п Ф 1 найти максимальное число делителей п , ни один из которых не делит другой (этот вопрос сформулирован Я.Д. Половицким в статье [2]).

Вопрос 2. Для натурального числа п Ф 1 найти подмножества множества D (п), в каждом из которых ни одно из входящих в него чисел не делит другое, состоящее из наибольшего числа элементов.

Вначале приведем некоторые понятия из теории частично упорядоченных множеств (в основном из [3]).

В работе используются следующие обозначения:

п | т - п делит т (п, т - натуральные числа);

п | т - п не делит т ; [а] - целая часть числа действительного числа а ;

D (п) - множество всех делителей натурального числа п ;

П - конец доказательства; т |п1, п2

[тп1, тп2,

> пк }

, тп,

© Половицкий Я. Д.,. Волочков А. А, 2014

- множество

}, (т, щ е N, i = 1, к) .

Вначале приведем некоторые понятия из теории частично упорядоченных множеств (в основном из [3]).

Основные определения и некоторые утверждения о D(n)

Определение 1. Частично упорядоченное множество будем называть у-множеством.

У-множество, в котором любые два элемента сравнимы, называют цепью (см. [3]).

Определение 2. Если

а, < а. < ... < а , < а

1 2 п— 1 п

- конечная цепь у-множества А, то ее длиной называют число п—1.

Определение 3. Точная верхняя грань длин цепей у-множества А называется длиной А и обозначается через I(А).

Рассмотрим множество D (п) всех делителей числа п. Если а, Ь е D (п), то, полагая а < Ь тогда и только тогда, когда а | Ь , мы делаем D (п) у-множеством. Пусть п = р1 р 2... р1 (1) - разложение числа п в произведение простых множителей (не обязательно различных). Тогда, как нетрудно видеть, цепь

1 < Р1 < Р1Р2 < . < Р1Р2 .•• А—1 < п длины t имеет максимальную длину из всех цепей в D (п) и по определению 3 I(D(n)) = I (2). В связи с этим естественно ввести следующее понятие:

Определение 4. Если натуральное число п Ф1 разлагается в произведение I простых множителей, то число t назовем длиной числа п и будем обозначать ее через I(п) .

Другими словами, из (2) и определения 4 следует, что I(п) = I^(п)) .

Замечание 1. Введенное в определении 4 понятие длины натурального числа можно рассматривать и как частный случай приведенного в [4] (§1 главы III, с. 104) понятия длины слова над некоторым множеством А натуральных чисел - в качестве А можно взять (несколько обобщив понятие длины из [4]) множество всех простых чисел.

Легко проверяются следующие свойства длины натурального числа:

1. I (пт) = I (п) +1 (т) ;

2. Если т | п иI(п) = I(т) , тот = п;

3. Если т Ф п ит | п, тоI(т) < I(п);

4. Если т Ф п и I(п) = I(т), то п ^ т и т ^ п.

Определение 5 (см. [3]). Антицепью у-множества называется его подмножество, в котором никакие два его элемента не сравнимы.

Введем понятие базиса у-множества.

Определение 6. Антицепь у-множества Х, состоящая из наибольшего числа его элементов, называется базисом Х.

Определение 7 (см. [3]). Число элементов в базисе у-множества Х назовем шириной Х и обозначим через ц>(X). Введем понятие ширины натурального числа.

Определение 8. Ширину у-множества D (п) назовем шириной числа п и обозначим

ее через ^(п) (т. е. ^(п) = w(D(n))).

В терминологии определений 8 и 6 сформулированные выше вопросы 1 и 2 принимают следующие виды:

Вопрос 1'. Для п е N \1 найти w(n) .

Вопрос 2'. Для п е N \1 найти базисы D (п).

Определение 9. Подмножество у-множества D (п), состоящее из чисел одной и той же длины t, назовем t -однородным. Если оно является базисом D (п), то его назовем t-однородным базисом.

Из отмеченного выше свойства 4 длины числа п вытекает справедливость следующего утверждения:

Лемма 1. Любое t -однородное подмножество различных чисел из у-множества D (п) является антицепью в D (п) .

Лемма 2. Если В - базис D (п), то для любого т е D(n) \ В существует Ь е В, что выполняется одно из соотношений: т | Ь (3) или Ь | т (4), причем для т не могут существовать такие Ь1, Ь2 е В, что Ь1 | т (5) и т | Ь2 (6).

Доказательство. Так как В - базис D (п), то множество |т, В| Ф В не является антицепью. Но В - антицепь, и поэтому существует Ь е В, что выполняется (3) или (4).

Если найдутся Ь1, Ь2 е В, что справедливы (5) и (6), то Ь1 | Ь2, и, так как В - антицепь, Ьх = Ь 2 . Но тогда из Ь1 | т и т | Ь1 следует, что т = Ь1 в противоречие с тем,

что т^В. □

Лемма 3. Пусть В -1 -однородный базис D(n) и т е D(n) . Тогда I(т) = t (7) тогда и только тогда, когда т е В . Если I(т) > t (8), то т делится на некоторое число из В; если же I(т) < t (9), то т делит некоторое число из В.

Доказательство. В силу леммы 2 для данного т существует Ь е В, что выполняется (3) или (4). Так как В - t -однородный базис, то I(Ъ) = t (10).

Если выполняется (7), то I(т) = I(Ъ) и потому из (3) или (4) ввиду свойства 2 длины числа справедливо равенство т = Ъ и те В (11). Обратно, из (11) и того, что В - t -однородный базис следует, что справедливо (7).

Если выполняется (8), то по доказанному выше т^В и ввиду (10) I(т) > I(Ъ) . Отсюда в силу свойства 3 длины числа следует, что т | Ъ , т. е. (3) не выполняется, и потому

справедливо (4). Аналогично из (9) получаем, что справедливо (3). П

Ширина и базисы D(n) для чисел п, не делящихся на квадраты простых чисел

Для таких чисел решение вопросов 1' и 2' можно получить из следующей хорошо известной теоремы:

Теорема Шпернера (см. [5]). Пусть 5 - положительное целое число, F- множество

подмножеств множества М5 ={1,2,..., 5} таких, что никакой элемент из F не содержится ни в каком другом элементе из F, то есть для любых X, У е F имеем X У . Тогда

, , И

Я < С2] (12). Равенство в (12) имеет место

тогда

и

только

тогда,

когда

Я = {X е М5 :|Х|=—} при четном 5 и 5 + В

Я = {X е М5 :|Х|= } при нечетном 5,

где В е {-1,1} (13).

Замечание 2. Очевидно, что Я - антицепь в множестве Т всех подмножеств множества М5, а равенство (13) описывает антицепи Т, состоящие из наибольшего числа элемен-

Г 51

тов, т. е. базисы множества Т и w(T) = С2 .

Из теоремы Шпернера вытекает Теорема 1. Пусть п = р1 р2 ... р5, где

р { - различные простые числа (/ = 1,5) . То-

гда w(и) = С2^ (14). Если число 5 четное, то D (п) имеет единственный базис, являющийся — -однородным. Если 5 нечетное, то в 2

5 -1

D (п) существуют всего два базиса - —-— 5 +1

однородный и —-—однородный.

Доказательство. Отметим, что из вида п следует, что т е D(n) тогда и только тогда, когда т = р,р, ...р, , где к < 5 и

Л * 12 1к

ji е М5. Рассмотрим отображение р у-множества D (п) в множество Т всех подмножеств множества М8 ={1,2,., 5}, задаваемое так: <(т) = Хт ={jl, j2,., ,к } . Нетрудно видеть, что р - биекция D (п) на Т. Так как, очевидно, при т, t е D(n) из т 11 следует, что Хт < Х(, то <р - изоморфизм у-множеств D (п) и Т, и потому р переводит базис D (п) в базисы Ти w (D (п)) = w(T), т.е. в силу замечания 2 справедливо (14).

Но базисы множества Т в теореме Шпернера описываются равенствами (13). Значит, в D (п) при четном 5 - единственный базис, он является 5 -однородным и

2

w(D(п)) = С2].

Аналогично из теоремы Шпернера получаем справедливость утверждения теоремы 1 и для нечетного 5 . П

О ширине и базисах D (рт )

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

порядка pmqk вытекает справедливость следующего утверждения:

Лемма 4. Ширина числа п = ртдк при т < к равна (т + 1). Одним из базисов D (п) является ^т, pqm-1, ,рт-^, рт } .

Определение 10. Указанный в лемме 4 базис у-множества D (рт дк) назовем стандартным базисом.

5

Отметим, что стандартный базис является т -однородным. Ниже (в теореме 2) будет передоказана лемма 4 и найдены все базисы D( ртцк ).

Лемма 5. В любой антицепи множества D( ртУ) не могут содержаться пары чисел

{Р, У, рУ1 } и {рт\ У, Рт У } (ибо одно из чисел каждой такой пары делит другие).

Теорема 2. Пусть п = ртук и т <к (1). Тогда w(п) = т + 1 (2) и все базисы у-множества D (п) исчерпываются множествами чисел У, рУ1, ,ртУт } (3), где £ , -

неотрицательные целые числа, удовлетворяющие неравенствам

к > £0 > £ > ... > £ > £ + 1 > ... > . (4)

Доказательство. В силу (1) множества из (т+1) чисел {я. | /' = 1, т + 1} (5), удовлетворяющих неравенствам (4), найдутся. Пусть (5) - любое такое множество. Составим с его помощью множество (3). Из неравенств (4) следует, что (3) - это антицепь. Но в числах (3) в качестве множителей встречаются всевозможные степени числа р , делящие п: это

р0, р1,... , рт . В силу леммы 5 антицепей из большего числа элементов в D (п) быть не может, и потому (3) - базис D (п) . Так как в нем (т + 1) чисел, то справедливо равенство (2).

Обратно, если В - произвольный базис D (п), то в силу (2) он состоит из (т +1) чисел и по лемме 5 все степени числа р в них разные, т. е. В - это множество чисел (3). Так как ргУ1 | рг+1У1 +1 (по определению базиса), то

> £+1 для всех I = 1, т—1, и потому выполняются неравенства (4). П

Следствие 1. Если п = ртут , то D (п) имеет единственный базис - это стандартный

.— 1 т т—1 т—1 тI /

базис {у , ру , ,р у, р | (см. определение 10).

Действительно, при к = т множество из (т + 1) чисел , удовлетворяющих неравенствам (4), единственно - это числа т,т — 1,...,2,1,0 .

Следствие 2. Если п = ртцк и т <к, то в D (п) для каждого целого t, такого, что т < t < к (5), существует единственный t -

однородный базис - это

{У,рд{—]■,...,ртд(—т} = У тВ (6), где В -стандартный базис D (п) . Для других t в D (п) t -однородных базисов нет.

Доказательство. В силу теоремы 2 множество (6) является базисом D (п) . По определению 9 он является t -однородным. Очевидно, что он - единственный t -однородный базис для данного t. С другой стороны, если базис (3) множества D (п) t -однородный, то т + = t, т. е. t > т, а я0 = t < к, и выполняются неравенства (5). П

Теорема 2 и ее следствия позволяют оценить, а в ряде случаев и найти ширину чисел вида ртукг*.

0 ширине чисел вида ртдкг!1

Лемма 6. Пусть п = кг11 (1), где (к, г) = 1 (2). Если SJ ={к1г], к2г],..., к/1} ,

где к1 | к (=1,t) - антицепь в D (п), то

1 < w(k) (3) и w(n) < w(к)(1 + 1) (4).

Доказательство. Так какк{г3 | к1г1 тогда и только тогда, когда к1 | к, (/,/=1,t), то

{к1,, к } - антицепь в D (к), и по определениям 8 и 6 t < w(h), т. е. выполняется (3).

Если В - любой базис D (п), то для всех 1 = 0,1 составим из его элементов попарно не пересекающиеся подмножества S]■ из максимального числа элементов, множителем которых является г1 при фиксированном 1. Тогда

я

В = и S. ; отсюда и из (3) получаем

1=0 1

|В| < w(h)(s +1), и справедливо (4). □

Следствие. Если п = ртдкг:<, где к > т, то в обозначениях леммы 6 и ^^ < (т +1) и

w(n) < (т + 1)(я +1) . Равенство ^ | = (т +1) (4) имеет место тогда и только тогда, когда {к\,..., к } (5) - базис D (ртук).

Получается из леммы 6 при к = ртУ, ибо по теореме 2 w (к) = (т + 1) . Равенство (4) имеет место тогда и только тогда, когда

t = т +1 = w( pmqk ), т.е. (5) - базис Я( ртдк ).

Лемма 7. Пусть п = pmqmrs, В - некоторый базис D (п), S]■ - множество всех чисел из В, которые делятся на г3 , но не делятся на г3+1 при фиксированном 3. Тогда из антицепей Sj (3 =0,5) не более одной состоят из (т + 1) чисел и w(n) < т(5 + 1) + 1 (6).

Доказательство. Введем обозначение: h = рт дт . Предположим, что существуют i и з, что i Ф з , но = = т +1 (7). Тогда S1 ={£/ ,..•, К+/ } (8) и ^ = №., } (9), где Нк , tk е В (к )

(10) к=1, т+1. Так как Si и - антицепи (как

' 3

часть базиса В), то из (8) и (9) следует, что {А,.,кт-1} (10) и {t1,...,и} (11) - антицепи из Я (к) . Но они состоят из (т + 1) чисел, а по теореме 2 w(к) = w(ртдт) = (т + 1). Значит, (10) и (11) - базисы Я (к) .

Но по следствию 1 теоремы 2 Я (к) имеет единственный базис, и потому (10) и

(11) совпадают. В частности к1 = tk для некоторого к. Но тогда И1г1 и И1г1 е В , что невозможно, ибо одно из этих чисел делит другое. Значит, для всех /, кроме быть может,

одного, |1г-| < т. Так как в силу леммы 6 < w(k) = т +1 для всех i, В = и и

i=0

1 п =0

при

1Ф з,

то

|В| < 5т + (т +1) = т(5 +1) +1, т. е. выполняется неравенство (6). П

Следствие 1. Если п = рт дт г , то w(п) = 2т + 1 (12) и при т > 2 в Я (п) существует т -однородный базис, а при т = 1 и т = 2 - (т + 1) -однородный базис.

Доказательство. Из леммы 7 при 5 = 1 получаем: w(п) < (2т + 1) (13).

Пусть т > 2. Тогда существует антицепь из (2 т + 1) чисел - например,

В={([^р. р^Л^рг,. • ,дт2г, рт-1г}

- это т-однородное множество и в силу лем-

мы 1 оно является антицепью. Теперь из (13) получаем, что В - базис Я (п), т. е. В -т -однородный базис.

Если т = 2, то в силу (13) w(n) < 5 (14). Но в G существует (т + 1) -однородное

множество R = {р2q, q2р, рдг, р2г, q2г} из 5

чисел. В силу (14) Я- (т + 1) -однородный базис Я (п), и потому выполняется (12) для т = 2.

Наконец, при т = 1 Я (п) имеет базис {рд, рг, дг}. Он (т + 1) -однородный и выполняется (12) и при т = 1. □

Следствие 2. Если п = ртдтг2 , то w(n) = 3т + 1 и в Я (п) существует (т + 1) -однородный базис.

Доказательство. Пусть т > 2. Рассмотрим множества

1 ={ ртд, рт-1д2,., рдт},

1 ={ртг,рт-1дг,...,рдт-1г,дтг} и

={рт-1г2, рт-2дг2,..., рдт-2г2, дт-1г2} . Они различны, каждое из них (т +1) -

однородное и

■ т+1,

■т. То-

гда 1 = и и - (т + 1) -однородная антицепь (по лемме 1) из 2т + (т +1) = 3т +1 элементов. Но при условиях следствия 2 имеем 5 = 2, и из леммы 7 получаем: w(n) < (3т +1) . Значит, 1- базис Я (п).

Если т = 1, то есть п = рдг2, то по лемме 7 w(п) < 4, и потому

В = {рд, рг, дг, г2} - 2-однородный базис Я (п) . Значит, w(п) = 4, и потому утверждение следствия 2 справедливо и для т = 1. □

Теорема 4. Пусть п = ртдкг5 , где 5 < т < к (1). Если к > (т + 5) (2), то w (п) = (т + 1)( 5 + 1) (3) и в Я (п) существует к-однородный базис. Если к < (т + 5) (4), то w (п) > I, где

(5 + т - к)(т + к - 5 +1) ... I = (т + 1)(к - т +1) + --^-- (5)

и в Я (п) существует к-однородная антицепь из I чисел.

а

Доказательство. Введем обозначение: к = ртук (6). Пользуясь различными t -однородными базисами D (к), полученными в следствии 2 теоремы 2, построим антицепи S 1 указанного ниже вида (8) для максимального числа возможных при условиях теоремы значений 1 .

Пусть В = {ут, ут—1 р,..., рут—1, рт } -

стандартный базис D (к) . Тогда по следствию 2 теоремы 2 для всех t, таких что т < t < к (7), существуют t -однородные базисы D (к) вида У тВ .

Составим S0 = ук тВ . Если

_ к—(т+1)

Рассмотрим

вг = {рт—г, Рт—(м) у,..., рдт—(м), дт—г}

множества

для

г = 1, т—1. В( - (т — г) -однородная антицепь и |Вг| = (т — г) + 1 (9). Получаем

V = В гк—(т—1) V = В гк—(т—2) и так

Sk—(т—1) = В1г , Лк—(т—2) = В2Г и так

далее. Чтобы составление таких антицепей закончилось на множестве на t -м шаге, требуется, чтобы к — (т — t) = 1 (10) и выполнялось условие t < т (11). Из (10) вытекает равенство t = (1 + т) — к (12). В силу неравенства (4), выполняемого в пункте II, число t вида (12) положительно. Из (12) следует, что t = т — (к — 1) < т (ибо в силу (1) 1 < к),

к — (т + 1) > 0 , то полагаем ^ = у т+ гВ и и потому выполняется (11). Так как

так далее: SJ = ук—(т+1Г В (8) (если к — (т + 1) ф 0 и 1 < 1). Составление V! закончится таким множеством , что должно выполняться одно из условий: I.

17 = 1 17 < 1

< или II. < .

[к — (т +1) > 0 [к — (т +1) = 0

Рассмотрим каждый из этих случаев.

I. Пусть выполняется условие I. Оно равносильно неравенству к — (т + 1) > 0 , т. е. условию (2). При его выполнении будут построены все возможные Sj - это S0, ..., Ss (ибо 1 - максимальная степень г , на которую делится п). Отметим, что ^^ = т +1,

Si П Sj = 0 (ибо степени числа г в них разные) и S]■ - к-однородные множества. Поэтому V = и V. состоит из (т + 1)( 1 + 1)

1=0 1

к-однородных чисел и является по лемме 1 антицепью. Но в силу следствия леммы 6 w(п) < (т + 1)( 1 + 1), и поэтому Я -

к-однородный базис D (п) . Доказана первая часть теоремы 4.

II. Пусть выполняется условие II. Тогда I = (к — т) < 1, т. е. выполняется (4). Последний из составленных выше антицепей V1 будет Sk—т = гк т В . Больше антицепей типа V1 из (т + 1) чисел составить нельзя.

Но подобные антицепи можно составить из меньшего числа элементов.

Sk—(т—г) = В/—(т—г) (13) и Вг—(т—г) -(т — г) -однородная антицепь, то Sk—(т—г) -

к-однородная антицепь.

Итак, в пункте II мы дополнительно составили антицепи Sk—(т—^ Sk —(т—2^ . • •, ^ .

В силу (9) и (13) №

к—(т—г)

= (т — г) +1

(14), г = 1,(1 + т) — к . Всего вместе с составленными в начале доказательства антицепями V1, 1 = 0, к — т мы составили к-однородные

антицепи S0, S1,..., Sk—т , Sk—m+1,., ^ . Они

попарно не пересекаются (ибо содержат различные степени числа г), и потому множество V = и V ■ (15) - к-однородная антицепь.

1=0 1

Так как в силу (8) = |В| = (т +1) для

1 = 0, к—т, то отсюда из (14) и (15) получаем:

= (т + 1)(к — т +1) + [(т — 1) +1 + (т — 2) + +1 +... + (т — t) +1] = (т + 1)(к — т +1) +

, (т — 1) + (т — ^ +(Г • 1 + ---- • /) = (т +1)(к — т +1) +

(т — 1) + (т — /) +Г (1 + ---—---) = (т + 1)(к — т +1) +

+(1 + т — к)

2

2 т — 1 — т + к +1

2

= (т +1)( к — т +1) +

(1 + т — к )(т + к — 1 +1)

(мы использовали равенство (12)). Так как w(n) > V , то этим доказано неравенство (5). □

Следствие. Если п = ртдтг5 и 5 < т .

то т(5 +1) + 1 > w(п) > 1 + т(5 + 1) -

5 (5 - 1) 2

Доказательство. При к = т из теоремы 4 получаем

5(2т - 5 +1)

w(n) > (т +1) + -

2

(т +1) + т5 -т(5 +1) +1 -

5(5 -1) 2

5(5 -1)

Лемма 8. d -ширина циклической группы порядка п равна ширине числа п .

Из этой леммы из доказанных выше теорем 1 и 4 и леммы 7 вытекают следующие теоретико-групповые утверждения:

Теорема 1. Пусть G - циклическая

группа порядка п = р1 р2... р5, где рi(г = 1,5)

- различные простые числа. Тогда d -ширина

Неравенство т(5 +1) +1 > w(и) доказано в лемме 7. □

Замечание 3. При 5 = 1 и т > 2 из следствия теоремы 4 получаем w(ртдтг) = 1 + 2т, как и установлено в следствии 1 леммы 7. При других 5 w(n) вычисляется в следствии теоремы 4 с точно-

5(5 - 1) ^

стью до слагаемого —--, и потому более

2

точным получается при малых 5 .

Некоторые приложения в теории групп

Укажем на одно из применений полученных выше результатов в теории групп. В работе [1] было введено понятие ранга инцидентности группы, которое мы заменяем введенным ранее Л.Н. Шевриным понятием d -ширины группы.

Определение 11. Пусть G - группа. Множество из максимального числа подгрупп группы G, ни одна из которых не содержится в другой, назовем d -базисом группы G.

Определение 12. d -базис из подгрупп, порядки которых имеют одинаковую длину I, назовем I -однородным d -базисом.

Определение 13. Число подгрупп в d -базисе группы G назовем d -шириной группы G и обозначим через w ^).

Хорошо известно, что если G - конечная циклическая группа порядка п , то решетка ее подгрупп SuЪG изоморфна решетке Я (п) (ибо для любого т | п в G существует единственная подгруппа порядка т). Отсюда и из определения 8 вытекает справедливость следующего утверждения:

группы G равна С2 ^. Если число 5 четное, то G имеет единственный d -базис, и он является 5 -однородным. Если число 5 нечетное, 2

то G имеет всего два базиса - 5—1 -

2

„ 5 + 1

однородный и-- однородный.

2

Лемма 7'. Пусть G - циклическая груп-

т ^ т „ 5 т

па порядка р д г . Тогда

w (G) < (т (5 + 1) + 1).

Следствие 1'. Если G - циклическая группа порядка ртдтг , то w^) = 2т + 1 и при т > 2 в G существует т -однородный d -базис, а при т < 2 - (т + 1) -однородный d -базис.

Следствие 2'. Если G - циклическая группа порядка ртдтг2, то w(G) = 3т + 1 и в G существует (т +1) -однородный d -базис.

Теорема 4'. Пусть G - циклическая группа порядка ртдкг5 и 5 < т < к . Если к > (т + 5), то w^) = (т + 1)(5 + 1). Если к < (т + 5), то w(G) > t, где

t = (т + 1)(к - т +1) +

(к + т - 5 + 1)(т + 5 - к) 2

и в G существует к-однородная антицепь из t подгрупп.

Заключение

В настоящей работе найдена ширина натуральных чисел видов

ртдк, ртдтг, ртдтг2, ртдкг5

при к > (т + 5), рр...р1, и для каждого из этих случаев в Я (п) находились t -однородные базисы для некоторых t.

£

Указаны приложения этих результатов в теории групп.

В связи с полученными результатами естественно поставить следующий

Вопрос 3. Для всякого ли натурального числа п в D (п) существует t -однородный базис хотя бы одного t ?

Этот вопрос тесно связан со следующим вопросом.

Вопрос 4. Пусть п е N \ 1 и

к к к

п = Р\ Р22.•• Р/ - каноническое разложение числа п . Найти натуральное число t, для которого уравнение х1 + х2 + ... + х1 = t при ограничениях х1 < к1, х2 < к2, ..., х1 < к1 имеет

наибольшее число решений в целых неотрицательных числах.

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

1. Половицкий Я.Д. Ранг инцидентности // Алгебра и линейная оптимизация: тр. меж-дунар. сем. Екатеринбург, 2002. С. 184—186.

2. Половицкий Я.Д. Группы, имеющие небольшие ранги инцидентности // Вестник Пермского университета. Сер. Математика. Механика. Информатика. 2003. Вып. 5. С.65-69.

3. Биркгоф Г. Теория решеток. М.: Наука, 1984. 564 с.

4. Калужнин Л.А. Введение в общую алгебру. М.: Наука. 447 с.

5. Conrad Engels. Sperner theory. Kembridge university press. 1997. 417 p.

About maximal antichains of gratings divisors of natural numbers

Ja. D. Polovitsky, A. A. Volochkov

Perm State University, Russia, 614990, Perm, Bukireva st., 15 alg@psu.ru; (342) 2 396 321

For the natural numbers of aspects pl p 2... pk and pmqkrs, where p, q, r and p., i = 1, n are different primer numbers, maximal quantity of elements in antichains of the set D (n) of different divisors n, partly-ordered regarding divisions (the width w (n) of the set D (n)) estimated in this paper. For the same case w (n) and antichains from w (n) elements are found. These results are applied to the theory of group.

Key words: natural number; divisor; width of the grating; antichain.