CC BY
17
Серия «Математика»
2010. Т. 3, № 4. С. 21-32
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 519.1
Перечислительные проблемы в некоторых матричных кольцах и конечных группах *
Г. П. Егорычев
Сибирский Федеральный Университет
М. Н. Давлетшин
Сибирский Федеральный Университет
Аннотация. В этой заметке найден ряд новых соотношений для комбинаторных чисел, возникших ранее в неявном виде при перечислении идеалов нильпотентного кольца матриц над конечным полем (Г.П. Егорычев и В.М. Левчук, 2001), а также числа пар порождающих проективной специальной линейной группы размерности 2 и группы Судзуки над конечными полями характеристики 2 (Н.М. Сучков и Д.П. Приходько, 2001). Эти результаты получены с помощью метода коэффициентов Егорычева интегрального представления и вычисления комбинаторных сумм (множество правил вывода, лемма о полноте), развитого им к концу 1970 годов.
По ходу изложения поставлено несколько проблемных вопросов, и намечена перспектива дальнейших исследований.
Ключевые слова: комбинаторные суммы; метод коэффициентов; перечислительные проблемы; матричные кольца; конечные группы.
В этой заметке с помощью метода коэффициентов интегральных представлений и вычисления комбинаторных сумм [2, 9] и матричных обращений различного типа [10, 13], найдена явная формула и ряд новых соотношений для комбинаторных чисел, возникших ранее в работах нескольких авторов [11, 6] при решении следующих интересных проблем:
- перечисления идеалов нильпотентного кольца матриц над конечным полем (Г.П. Егорычев и В.М. Левчук, 2001);
- нахождения числа пар порождающих проективной специальной линейной группы размерности 2 (Н.М. Сучков и Д.П. Приходько, 2001).
* Работа выполнена при финансовой поддержке РФФИ, грант 09-01-00717.
1. Введение
В процессе решения получены также несколько новых формул суммирования с биномиальными коэффициентами (т) обычного типа, q-
факториалами [т]д! := (1 — д)-гаПП=1 (1 — 93) , и ^-биномиальными коэффициентами , где д - фиксированное натуральное число, п, к = 0,1,..., п ^ к,
(q)r
- 1) (qm - ,
q
(q)k (q)n-k (qk - 1)(qk -
k-1
- qk-1)
(1.1)
:= 1.
По ходу изложения выдвинуто несколько новых проблем и намечена перспектива дальнейших исследований.
m
k
q
q
2. Необходимые сведения о методе коэффициентов
В работах [1, 2, 3, 11] с помощью метода коэффициентов решена серия перечислительных проблем для групп и алгебр лиева типа и проведено перечисление идеалов некоторых матричных колец.
Пусть L - множество формальных степенных рядов Лорана над полем C, содержащих только конечное число членов с отрицательными степенями на полем C. Порядок монома Ckwk есть к. Порядок ряда C(w) = J2k Ckwk из L есть минимальный порядок монома с ненулевыми коэффициентами. Пусть Lk - множество рядов порядка к, L = Uk=-^ Lk. Два ряда A(w) = J2k akwk и B(w) = J2k bkwk из L равны тогда и только тогда, когда ak = bk для всех к. Мы можем ввести в L операции сложения, умножения, подстановки, обращения и дифференцирования. Пусть f (w), ф (w) € L0.
Для C(w) € L определяем формальный вычет как reswC(w) = c-1. Пусть A(w) = k akwk производящая функция для последовательности {ak}. Тогда
ak = resw A(w)w-k-1 ,k = 0,1,2....
Например, известное представление для биномиального коэффициента:
= resw (1 + w)n w-k-1,k = 0,1, ...,n. (2.1)
Свойства (правила вывода) для оператора res приведены в [9]. В этой статье мы приведем, только некоторые из них. Пусть A(w) = J2k akwk и B(w) =J2k bkwk - производящие функции из L.
Правило 1 (линейности). Для а, в Є С
A(w)w—к—1 + вге8ад B(w)w—k—l = гєб^ ((аА(эд) + вВ(ад))ад-й-1)
(2.2)
Правило 2 (подстановки). а) Если /^) Є Ьк (к ^ 1) и А^) Є Ь, либо Ь) A(w) - полином и /^) Є Ь, включая константу
Е /(w)kгєв^ ^(ф-к—1) = А(/М). (2.3)
к
Правило 3 (замены переменных). Если /^) Є Ьо, то
(A(w)/М^^-1) = гее*([A(w)//МЛ'М]ад=щ^-к-1), (2.4) где г = Л^) = w/(w) Є Ь1.
Таблица простейших q-аналогов
9-аналог экспоненциальной функции е, (г) и обратная 1/е, (г)
^ —1 е,(г) := Е(г)к /[к]?! = П:=0 (1 - (1 - д) 9кг) >
к=0
го к
(е, (г))-1 = П“0 (1 - (1 - 9) 9кг) = £ <!<»> (-г)к /[к],!.
к=0
Экспоненциальный коэффициент
1/[п],! = гєБхіж-п—1е, (ж)}. (2.5)
3. Число всех идеалов алгебры NTn (K) над конечным полем
K = GF (q)
3.1. Постановка проблемы
В 2001 году Г.П. Егорычевым и В.М. Левчуком в работе [11, p. 32; Problem 1] были рассмотрена проблема нахождения числа всех идеалов определенного вида лиевой алгебры (кольца) N (Ф, K) классического типа Ф над конечным полем K = GF(q), и, доказано следующее утверждение ([11, Теорема 4])1: если K = GF(q), то число ап(Ф^) идеалов алгебры NTn (K) равно
ап(Ф, q) = 1 + - Е ґ^ґ + -,1 Q (m,q), (3.1)
- w vm+v
1 В работе с незначительными изменениями сохранены обозначения и терминология оригинальных работ, используемые по ходу изложения при цитировании.
где О (0, д) := 1, а числа О (т, д), п = 1, 2,..., т = 1, 2,..., п — 1, заданы системой линейных рекуррентных соотношений вида
Е
з=о
| Ф(; 9) =
т
Е
к=0
т
к
т
3.2. Первое обращение и явное решение
Из формулы (3.1) и известной пары обратимых матричных соотношений с биномиальными коэффициентами
а, = Е ^П)^, п = 0,1,2,..., Ь,п = Е(—1)^П)а™-й’П = 0,1, 2, • •
вытекает
Лемма 1. Для чисел О(т,д), т = 0,1,..., справедлива следующая формула
т ]
^(т,9) = ЕЕ(-1)
з , т
3=1к=0
(3.2)
Таким образом, согласно формулам (1.1) и (3.2) мы имеем
Теорема 1. Следующая формула для исходной суммы аа(Ф,д), п = 1, 2, . . . , справедлива
аа(Ф,9) = 1 + 1 Е(П)( "1 ^(т,9) =
п т=лт) \т+V
(3.3)
ч
ч
3.3. Матричная запись: числа Нарайяна и некоторые упрощения
Введём необходимые матричные обозначения и сокращения, которые будут использованы в этом разделе. Пусть а^(Ф, д) := а^-\, О(т,д) :=
От, вектора-столбцы а = (ао, аь ..., .а,_1) ,О = (^о,^1, • ••’•Qа_l) , и Б = (Б0,Б1 ,...,£а_1)т, где положено а0 = О0 = Б0 = 1, и £?• :=
Е4=0 £ . Пусть ^ = (йак), А = (а,к) и А(-1) = (аП-1^ есть нижние
треугольные матрицы порядка п, члены которых имеют следующий вид
^=п(к)(к+1),аа‘ = ín)’aа_1, = <—1)4(к), (34)
где числа dnk = n (n)(fc+1) есть известные числа Нарайяна N (n, k), обладающие рядом замечательных свойств (см., например, [8], [7]).
Если теперь переписать исходные соотношения (3.1) в матричной форме
а = DQ, AQ = S, (3.5)
то в силу леммы 1 Q = A(-1)S, и а = DQ = DA(-1)S, то есть
справедлива следующая
Лемма 2. В принятых обозначениях исходные равенства (3.1) эквивалентны следующему матричному равенству
а = BS, где B = DA(-1). (3.6)
Лемма 3. Если матрица B = (bnk) = DA(-1), где матрицы D и
A(-1) определены в (3.4), то её общий член
bnk =(ПЩ” - ОС-"*)- (3.7)
Доказательство. Согласно метода коэффициентов мы имеем
-=n 5 (:)(,: ,)<-»• (:)=
= ("l)k /n - l( -у^ /n + l(/n - k - l( =
(n + !)V k /S=o\n - s/ \ s - k /
(замена (Щ) = res^ (1+x)n+1 x-n+s“1, (n^1) = resy (1+y)n“fc-1 y-s+-1)
(ПГЇ) (" k £ res. (1 + 1Г1 *-"+•'-'res, (1 + 1 y-+‘-’
(суммирование по s : правило подстановки, замена y = ж)
(-1)k fn - Л res. (1 + x)n+i x-n-1 (1 + x)n-k-1 xk =
(n + 1) \ k
(-1
(n +
” - 0 res. (1 + x)2"-k x-"+k-1
(-1)k /n - Л /2n - A
и попутно мы получаем новое доказательство известного тождества с числами Нарайяна [7]
n
s=0
s \ 4 1 /n - 1\/2n - k\ . .
4k)N(n-s) = (n+T)( k )(n-k} (3'8)
□
Из формул (3.6) и (3.7) вытекает следующая, более простая формула для вычисления исходной суммы ап(Ф,д).
Лемма 4.
П— 1
ап(Ф,<?) =
(П+1) S(-1)
'и - 1
, k
2и - И { * vU - k) {¿0
}.
(3.9)
q
3.4. Интегральное представление
Вычисления с помощью метода коэффициентов мы проводим здесь, как обычно, последовательно находя интегральные представления для сумм, составляющих исходную сумму (3.3).
Лемма 5. Следующее интегральное представление для суммы (3.2) д-биномиальных коэффициентов справедливо
Е
m
k
1 ki = [m]q!resz(z) z " 1. (3.10)
k=0
Доказательство. Формула (3.10) немедленно следует из формулы (2.5) и определения свёртки Коши. □
Лемма 6. Следующее интегральное представление для чисел Q(m, q), m = 0,1,..., из (3.2) справедливо
Q(m, q) = (-1)" m!resz,w{e—zwg (w) e^ (z) w—m—1z—m—1}, (3.11)
где g (w) := Ej=o jwj.
Доказательство. Из формул (3.2) и (3.10) мы имеем
j
Q(m q) = Е (-1)j , Е(-1)j
j=0 \j/ \k=0
= Е(-1)j (m )[j]q!resze2 (z) z j 1 = j=o V j /
= ( —1)" m! g (mj j resz e? (z) z—j— 1 =
( — 1)m m! V (-1)j [m - j]q! res e2 (z) z—"+j — 1 ( 1) j j! (m - j)! reSzeq (z) z
m
q
Полагая в последнем выражении
j- = reste-**-'-1, ~ j]q.! = reswg (w) w-m+--1,
j ! (m - j)!
мы получаем Q(m,q) =
m
= (—l)m m! E reste-**---1 x reswg (w) w-m+--1 x resze^ (z) z-m+--1 = -=0
ГО
= (—1)m m! E rest)Z;We-tg (w) e2 (z) (w) t---1w-m+--1z-m+--1 = -=0
(правило линейности и перегруппировка членов)
ГО
= (—1)m m!resz,w{g (w) e2 (z) E (wz)- resie-it---1]w-m-1z-m-1} =
-=0
(суммирование по j : правило подстановки, замена t = wz)
= (—1)m m!resz,w{e-zwg (w) e2 (z) w-m-1z-m-1}.
□
Лемма 7. Следующее интегральное представление для исходной суммы ап(Ф, q), n = 1, 2,..., из (3.3) справедливо
ап(Ф,9) = (п — 1)! (—1)n x
xresi;z,w{exp (—zw/ (1 — t)) g (w) e^ (z) (twz)-n-1}. (3.12)
где g (w) := Ез=о —w-.
Доказательство. Из формул (3.1), (3.3) и (3.11) мы имеем ап(Ф,д) =
= 1 + 1 EÎnïï "DQ (m, q) = 1 Q (m, q) =
n m=A w vm+V n m=o w vm+v
= (n — 4'm=0 (n—^(m’+1)resz,{e-zwg (w) e2 (z) w-m-z-m-} =
n ( —1 )n-m / n \
=(n — 1)^ ^m— ,, m + J resz,w{e-z"g(w) e2(z) w-n+'-1z-n+'-‘}=
m=0
n
= (n - 1)! (-1)n Е resMe-uu-m-1 х rest (1 - t)-mt-n+m-2x
xresz,w{e-zwg (w) e2 (z) w-n+m-1z-n+m-1} (суммирование по j : правило подстановки, замена u = tzw/ (1 — t))
= (n — 1)! (—1)nresi;z,w{exp(—zw/ (1 — t)) g (w) e;) (z) t-n-2 (wz)-n-1}.
□
3.5. Производящая функция и процедура расщепления
Вполне возможно, что исходная сумма an($,q) из (3.3) не допускает сколько-нибудь существенного упрощения, кроме приведенных здесь преобразований. Вместе с тем, найденное нами интегральное представление (3.12) этой суммы и последующая процедура "расщепления"(3.13) и (3.14) ее производящей функции вселяет надежду, что в дальнейшем мы сможем найти асимптотику исходной суммы (см. метод расщепления в [2, §5.3, 5.4]; [4] и др.).
Действительно, если положить
exp(—zw/ (1 - t)) g (w) e2 (z)
“n>m>1 = reSt,z,w { tn+1Wm+1z1+1 }, (3.13)
то
an = ^n+^n,^ n = 1, ^ • • • , (3.14)
и из (3.13) сразу вытекает формула для ее «расщепленной» производящей функции
L (t,w,z):= Е an,m,itnwmz1 = (3.15)
n,m,1^0
= exp(—zw/ (1 — t)) g (w) e) (z). (3.16)
Таким образом, исследование асимптотики членов исходной последовательности {an}, n ^ то, сводится к изучению асимптотического поведения диагонали n = n + 1, m = l = n коэффициентов ряда (3.15) функции L(t,w,z) из (3.16).
Замечание 1. Нетрудно заметить, что если при выводе интегрального представления для оп(Ф, q) изходить из формулы (3.9) (а не из (3.3), как сделано выше), либо воспользоваться аппаратом гиппергеометрических функций, то мы получим интегральное представление для an($,q) той же сложности, что и формула (3.12).
Замечание 2. В работе [11] предложено для рассмотрения несколько новых кратных сумм, с помощью которых решается проблема перечисления различных идеалов алгебры ^Тп (К), и структура которых аналогична только что рассмотренной сумме (3.3). Эти проблемы мы намерены изучить в дальнейшем. Вне нашего рассмотрения оказалось также несколько вопросов, требующих дополнительного изучения. Например, если исходить из формулы (3.5), то можно выписать рекуррентную формулу вида ^(-1)й = А(-1)£(д), где д(-1) - матрица, обратная к матрице Нарайяна, оценка вычислительной сложности которой требует дополнительного изучения.
4. Явная формула для числа всех пар порождающих элементов в группах ¿2 (2т) и
^ (22к+^
Пусть О — группа, Оп— прямое произведение п экземпляров группы О. В 1999 С. А. Сыскиным была поставлена следующая задача (Коуров-ская тетрадь, Новосибирск: Ин-т математики СО РАН, 1999, задача 12.86): для каждой известной простой конечной группы О найти такое максимальное число п = п (О) , что Оппорождается двумя элементами. В 2004 году Н.М. Сучковым и Д.М. Приходько были доказано следующее утверждение ([6], теоремы 4.5 и 4.6):
(а) Пусть
<р (т) = т (2т — 2) (4т + 2т — 1) , т = 1, 2,... (4.1)
Если т - простое число, то п (¿2 (2т)) = ^ (т) . При составном т имеет место рекуррентная формула
п (¿2 (2т)) = (т) — — Е ¿п (¿2 (2*)) . (4.2)
m
t|m
(b) . Пусть
ф (т) = — (2т — 2) (16т + 8т + 2 х 4т + 2 х 2т — 1), т = 1, 2,.... т
(4.3)
Если т - простое нечётное число, то п (5г (2т)) = ф (т). При составном т имеет место рекуррентная формула
п(...................... 1
m
1<*<m, t|m
i(Sz (22fc+1) )= ф (m) - — E tn(Sz (2*)). (4.4)
Если записать (4.1)-(4.2) в виде
m^> (m) = Е tn (l2 (2^ ,
t|m
то отсюда непосредственно из классической теоретико-числовой формулы обращения Мёбиуса (см., например, [13]) из (4.1) и (4.2)) вытекает следующее утверждение
Лемма 8. Справедливы следующие явные формулы для чисел n (L2 (2m)) и m = 1, 2,..
n (L2 (2m)) = — E ß (m/t) (t) = — E ß (m/t) (2* - 2) (4* + 2* - 1) ,
mm t|m t|m
(4.5)
где через ß (t) обозначена функция Мёбиуса: если n = p^1 Р22 •••Pav есть каноническое разложение натурального числа n, то ß (n) = (—1)v , если ai = ai = ••• = av = 1, и ß (n) =0 в остальных случаях.
Аналогично из (4.3)—(4.4) вытекает
Лемма 9. Пусть ф (m) = m (2m — 2) (16m + 8m + 2 x 4m + 2 x 2m — 1) для нечетных m, ф^) = 0, при четных m. Если m - простое число, то n (Sz (2m)) = ф (m) • При составном m имеет место место явная формула
n (Sz (2m)) = — E ß (m/t) t"0 (t) =
m t|m
= — E ß (m/t) (2* — 2) (16* + 8* + 2 x 4* + 2 x 2* — 1) •
t|m
Из формул (4.3) и (4.4) следует, что в каждой из них число n (L2 (2m)) при фиксированном m представимо в виде линейной комбинации сумм mSm(k), k = 1, 2, 4, 8,16, или 32, с постоянными коэффициентами следующего вида
Sm(k) := — E ß (m/t) k*, где k = 1, 2, 4, 8,16, или 32^ (4.6)
*|m
Это позволяет поставить следующую проблему.
(a) Найти интегральное представление, представление в замкнутом виде (если это возможно), различные оценки, и порядок роста (см., например, [12]) при m ^ œ сумм Sm(k) по делителям вида (4.6), и некоторым линейным комбинациям из них.
(b) Решить ту же проблему для более широкого класса сумм типа
Sm (f ) := m E ß (m/t) f (t) (4.7)
*|m
для различных теоретико-числовых функций f (t) , отличных от k*.
Замечание 3. Одним из путей решения первой задачи является использование дискретного преобразования Меллина, предложенного С.В. Рыко в конце 1970 годов [5]. Вычисление сумм типа (4.7) в замкнутом виде хорошо известны для отдельных случаев арифметических функций. Особенно сложны и актуальны при достаточно большом m проблемы из третьей группы.
Мы выражаем сердечную благодарность своим коллегам А.В. Ти-мофеенко, Я.Н. Нужину, В.М. Левчуку, и В.И. Половинкину за ряд полезных замечаний при написании этой работы.
Список литературы
1. Егорычев Г. П. Ранги факторов нижнего центрального ряда свободной разрешимой группы / Г. П. Егорычев // Сиб. мат. журн. - 1972. - T. 13. - C. 708—713. English transl. in Siberian Math. J. 13,1972.
2. Егорычев Г. П. Интегральные представления и вычисление комбинаторных сумм / Г. П. Егорычев. - Новосибирск : Наука, 1977. - 285 c.; English: Transl. of Math. Monographs 59, AMS, 1984, 2-nd Ed. in 1989.
3. Егорычев Г. П. Перечислительные проблемы для групп и алгебр лиева типа / Г. П. Егорычев, В. М. Левчук // Докл. РАН. - 1993. - T. 330. - C. 464-467.
4. Почекутов Д. Ю. Диагонали рядов Лорана рациональных функций / Д. Ю. Почекутов // Сиб. мат. журн. - 2009. - T. 50, № 6. - C. 1370-1383.
5. Рыко В. С. Дискретное преобразование Меллина / В. С. Рыко. - Вологда, 1979.
- 7 с. - Деп. в ВИНИТИ АН СССР 16.01.79, № 199-79.
6. Сучков Н. М. О числе пар порождающих групп L2 (2m) и Sz (22fc+1) , / Н. М. Сучков, Д. М. Приходько // Сиб. мат. журн. - 2001. - Т. 42, № 5. - С. 1162-1167.
7. Barry P. On integer-sequence-based constructions of generalized Pascal triangles / P. Barry // Journal of Integer Sequences. - 2006. - Vol. 9, article 06.2.4. - P. 1-34.
8. Bona M. On divisibility of Narayana numbers by primes / M. Bona, B. E. Sagan.
- arXiv:math/05055382. - V. 1 [math.CO] 18 May 2005. - P. 1-5.
9. Egorychev G. P. Method coefficients: an algebraic characterization and recent applications / G. P. Egorychev // Advances in combinatorial mathematics : Proceedings of the Waterloo Workshop in computer algebra 2008, devoted to the 70th birthday Georgy Egorychev / eds. I. S. Kotsireas, E. V. Zima. - Springer, 2009. - P. 1-30.
10. Egorychev G. P. Decomposition and Group Theoretic Characterization of pairs of inverse relations of the Riordan type / G. P. Egorychev, E. V. Zima // Acta Applicandae Mathematicae. - 2005. - Vol. 85. - P. 93-109.
11. Egorychev G. P. Enumeration in the Chevalley algebras / G. P. Egorychev, V. M. Levchuk // ACM SIGSAM Bulletin. - 2001. - Vol. 35. - P. 20-34.
12. Erfanian A. On the Growth Sequences of PSp(2m,q), / A. Erfanian, R. Rezaei // Inter. Jornal. - 2007. - Vol. 1. - P. 51-62.
13. Titchmarsh E. C. The theory of the Riemann Zeta-Function / E. C. Titchmarsh. -Oxford, 1951. (Рус. пер.: Е. К. Титчмарш. Теория дзета-функции Римана. ИЛ, 1953).
G. P. Egorychev, M. N. Davletshin
Enumerative problems in some matrix rings and finite groups
Abstract. In this article were obtained several new results for the combinatorial numbers which arised earlier in an implicit kind by an enumeration of ideals of nilpotent ring of matrices over finite ring (G.P. Egorychev, V.M. Levchuk, 2001) and also the numbers of pairs of generating projective special linear groups of dimension 2 and the Suzuki groups over finite fields of the characteristic 2 (N.M. Suchkov and D.P. Prihodko, 2001). These results were obtained by authors with the help of the Egorychev’s method of integral representation and computing of combinatorial sums (the set of inference rules and the Completeness Lemma) developed by him to the end 1970.
Some new problems are put and planned prospect of the further researches.
Keywords: combinatorial sums; the method of coefficients; enumerative problems; matrix rings; finite groups.
Егорычев Георгий Петрович, доктор физико-математических наук, профессор, Сибирский федеральный университет, Красноярск, тел.: (391)2461609 ([email protected])
Давлетшин Максим Николаевич, старший преподаватель, Сибирский федеральный университет, Красноярск, тел.: +79029410042 ([email protected])
Egorychev Georgy, Siberian Federal University, Krasnoyarsk, professor, Phone: (391) 2461609 ([email protected])
Davletshin Maxim, Siberian Federal University, Krasnoyarsk, senior lecturer, Phone: +79029410042 ([email protected])
