Старое и новое в теории суперхарактеров конечных групп

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

Том 16. Выпуск 4.

УДК 512.547.2.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ КОНЕЧНЫХ ГРУПП1

А. Н. Панов

Аннотация

Задача классификации неприводимых представлений является чрезвычайно трудной, "дикой" задачей для таких групп как максимальные унипотентные, борелевские, параболические подгруппы в конечных простых группах лиевского типа. В 1962 году А. А. Кириллов предложил метод орбит, согласно которому неприводимые представления нильпотент-ной группы Ли находятся во взаимно однозначном соответствии с копри-соединенными орбитами. В 1977 году Д. Каждан перенес метод орбит на случай конечных унипотентных групп. Однако, метод орбит не решает задачу, поскольку задача классификации коприсоединенных орбит является такой же "дикой" задачей.

В 1995-2003 годах К. Андре построил теорию базисных характеров унитреугольной группы UT(n, Fg). Эти характеры не являются неприводимыми, но имеют много общих черт с неприводимыми характерами. Теория К. Андре была существенно упрощена Нинг Яном в 2001 г.

В работе 2008 года П. Диаконис и И. Айзекс сформулировали общее понятие теории суперхарактеров и построили теорию суперхарактеров для алгебра групп, частным случаем которой является теория базисных характеров К. Андре. В общем случае задача состоит в том, чтобы для заданной группы построить теорию суперхарактеров, наиболее приближенную к теории неприводимых характеров.

Теории суперхарактеров были посвящены многие работы. В настоящее время детально разработан случай абелевых групп; выяснена связь суперхарактеров с суммами Гаусса, Костермана, Рамануджана. Построены теории теории суперхарактеров для максимальных унипотентных подгрупп в ортогональной и симплектической группах. Решены задачи ограничения и супериндуцирования для базисных характеров.

Задача построения теории суперхарактеров для параболических подгрупп остается открытой.

В § 1-2 настоящей работы будет дано авторское изложение общих положений теории суперхарактеров и построена теория суперхарактеров для алгебра групп, следуя схеме работы П. Диакониса и И. Айзекса.

хРабота поддержана грантом РФФИ 14-01-97017-поволжье-а

228

А. Н. ПАНОВ

В §3 анонсированы результаты автора по построению теории суперхарактеров конечных групп треугольного типа, которая в виде частного случая содержит теорию П. Диакониса и И. Айзекса для алгебра групп. Для построенной теорию получен аналог формулы А. А. Кириллова для неприводимых характеров. Показано, что ограничение суперхарактера на подгруппу треугольного типа является суммой суперхарактеров этой подгруппы. Как и в случае алгебра групп, индуцирование не работает в теории суперхарактеров. Но можно определить супериндуцирование, которое сохраняет многие свойства индуцирования, включая теоремы Фробениуса.

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

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

OLD AND NEW IN THE SUPERCHARACTER THEORY OF FINITE GROUPS

A. N. Panov

Abstract

The problem of classification of irreducible representations is a very complicated, "wild" problem for some groups like maximal unipotent, Borel and parabolic subgroups of the finite simple groups of Lie type. In 1962, A. A. Kirillov discovered the orbit method that establishes a one to one correspondence between the irreducible representations of a nilpotent Lie group and the coad-joit orbits. In 1977, D. Kazhdan modified the orbit method to be true for finite unipotent groups. However, the orbit method does not solve the problem, since the problem of classidication of the coadjpit orbits is a "wild" problem again.

In 1995-2003, C. Andre constructer the theory of basic characters for the unitriangular group UT(n, Fq). These characters are not irreducible, but they have many common features with the irreducible characters. The Andre theory was simplified be Ning Yan in 2003.

In 2008, P. Diaconis and I. Isaacs formulated the general notion of a supercharacter theory and constructed the supercharacter theory for algebra groups, its precial case is the Andre theory of basic characters. The general problem is to construct for a given group a supercharacter theory that as close to the theory of irreducible characters as possible.

Many papers were devoted to the supercharacter theory. Up today the case of abelian groups is studied in details; the connection with Gauss, Kloosterman and Ramanujan sums is investigated.

The supercharacter theories for maximal unipotent subgroups in orthogonal and symplectic groups are constructed. The problems of restriction and superinduction is solved for the basic characters. The problem of construction of a supercharacter theory for the parabolic subgroups is still open.

In § 1-2 of the present paper, we present the authors proof of the main statements of the supercharacter theory for algebra groups, following the

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

229

context of the paper of P. Diaconis and I. Isaacs. In §3, we announce the authors results on the supercharacter theory for the finite groups of triangular type, for which the theory of P. Diaconis and I.Isaacsas is a special case.

We obtain the analog of A. A. Kirillov formula for irreducible characters. We show that the restriction of the supercaracter on a subgroup of triangular type is a sum supercharacters of these subgroup. As in the case of algebra group, the induction does not work for supercharacters. We defined a superinduction, obeying the main properties of induction including the Frobenius formula.

Keywords: supercharacter theory, algebra group, group representations, triangular group

Bibliography: 28 titles.

1. Введение

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

дана группа G, требуется классифицировать все ее неприводимые представления.

Однако для некоторых групп задача классификации неприводимых представлений считается чрезвычайно трудной задачей. К таким группам относятся максимальные унипотентные, борелевские, параболические подгруппы в конечных простых группах лиевского типа [1]. В серии работ [2, 3, 4, 5] К. Андре построил теорию базисных характеров унитреугольной группы UT(n, Fg). Эти характеры не являются неприводимыми, но имеют много общих черт с неприводимыми характерами. Теория К. Андре была существенно упрощена Нинг Яном [6]. В работе [7] П. Диаконис и И. Айзекс сформулировали общее понятие теории суперхарактеров и построили теорию суперхарактеров для алгебра групп, частным случаем которой является теория базисных характеров К. Андре. В общем случае задача состоит в том, чтобы для заданной группы построить теорию суперхарактеров, наиболее приближенную к теории неприводимых характеров. Теории суперхарактеров были посвящены многие работы. Отметим некоторые из них: теория суперхарактеров абелевых групп и приложения в теории чисел [18, 19], супериндукция для алгебра групп [20, 21, 22, 23, 24, 25], приложения к задаче случайных блужданий на группах [26], теория суперхарактеров для полупрямых произведений [27]. Обзор литературы по этой теме можно найти в [28].

В § 2-3 настоящей работы будет дано авторское изложение общих положений теории суперхарактеров и построена теория суперхарактеров для алгебра групп, следуя общей схеме из работы [7]. В §4 анонсированы результаты автора по построению теории суперхарактеров конечных групп треугольного типа, которая в виде частного случая содержит теорию П. Диакониса и И. Айзекса

230

А. Н. ПАНОВ

для алгебра групп. Эти результаты частично вошли в работы автора [8, 9, 10]. Построенная теория суперхарактеров является более точной, чем общая конструкция для полупрямых произведений групп из работы [27].

2. Положения общей теории

Пусть G — конечная группа, 1 £ G — единичный элемент группы, Irr(G) — множество неприводимых характеров (представлений) группы G. Предположим, что заданы два разбиения

Irr

G = K1 U • • • U Km, Ki П Kj = 0.

Заметим, что число компонент в разложении должно быть одинаково. Каждому Xi сопоставим характер группы G по формуле

°i = ^ ^

Определение 1. Говорят, что два разбиения X = {Xi} и K = {Kj} задают теорию суперхаракт,еров на G, если каждый характер ai постоянен на каждом Kj. В этом случае {&г} называют суперхарактерами, а {Kj} — суперклассами. Таблицу значений {ai(Kj)} называют таблицей суперхарактеров.

Для построения конкретных примеров теорий суперхарактеров важно следующее предложение.

Предложение 1. [7, Лемма 2.1]. Пусть задана система дизъюнктных

характеров Ch = {Х1,   , Хт} и разбиение K = {K1,..., Km} группы G. Предположим, что каждый характер xi постоянен на каждом Kj. Обозначим через Xi носитель характера xi (т.е. множество неприводимых компонент xi). Тогда следующие два условия эквивалентны:

1) {1} £ K,

2) система подмножеств X = {Xi} задает разбиение Irr(G); разложения X и K задают теорию суперхарактеров группы G. Более того х% константой отличается от суперхарактера ai. Упрощая язык, будем в дальнейшем называть Xi суперхарактером.

ЗАМЕЧАНИЕ. Напомним, что характеры дизъюнктны (т.е. состоят их носители не пересекаются) тогде и только тогда, когда они ортогональны.

ДОКАЗАТЕЛЬСТВО. Предположим, что выполнено условие 1). Всякая система дизъюнктных характеров линейно независима. Число характеров из Ch равно числу элементов в K. Поэтому Ch является базисом в пространстве комплекснозначных функций на группе G, постоянных на подмножествах из K.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

231

Регулярный характер р(д) равен |G| при g =1 и равен 0 при g = 1. Так как {1} £ K, то р(д) постоянен на подмножествах из K. Имеем

m

р = ^2 aiXi, где ai £ C.

i=i

С другой стороны, каждый неприводимый характер входит в разложение р с кратностью равной своей степени. Поэтому, каждый неприводимый характер входит в разложение ровно одного из xi и aixi = 0i, ai £ Q*. Что доказывает 2).

Предположим, что выполнено условие 2). Единица группы попадает в одно из подмножеств K, скажем в Ki. Так как характеры xi постоянны на суперклассах, то Xi(g) = Xi(1) для любого д £ Ki и 1 < i < m. Из условия 2) получаем, что р(д) = р(1) и, следовательно, д =1 и Ki = {1}.

Следствие 1. Система суперхарактеров Ch = {Xi} однозначно с точностью до постоянных .множителей определяется по разбиению {Xi}.

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

Пример 1. Система неприводимых характеров {xi} и система классов сопряженных элементов {Ki}.

Пример 2. Два суперхарактера xi = 1g, X2 = р — 1g (здесь р — характер регулярного представления) и два суперкласса К1 = {1} К2 = G\{1}. Таблица суперхарактеров

Xi X2

Ki 1 IGI — 1

К2 1 -1

Пример 3. G = С4 — циклическая группа 4-го порядка. Ниже приведены таблица неприводимых характеров и одна из возможных таблиц суперхарактеров.

Xo Xi X2 X3

1 1 1 1 1

д 1 i -1 -i

д2 1 -1 1 -1

д3 1 -i -1 i

Xo Xi + X3 X2

1 1 2 1

{д,д3} 1 0 -1

д2 1 -2 1

Пример 4. Если группа A действует на G и Irr(G) согласованно xа(да) = = X^)> то две системы

xA = xa, к A = и к а,

а£Л а£Л

232

А. Н. ПАНОВ

где х (соответственно, K) пробегает множество представителей A-орбит в Irr(G) (соответственно, классов сопряженных элементов в G), задают теорию суперхарактеров группы G. Частный случай рассмотрен в предыдущем примере: группа A = Z2; образующий элемент действует на G и Irr(G) возведением третью степень.

Сформулируем и докажем несколько общих утверждений.

Лемма 1. Если {Xi,...,Xm} —разбиение Irr(G), и {Ki,...,Kt} —разбиение G, причем каждый ai, 1 < i < m, постоянен на каждом Kj, 1 < j < t, то m < t.

Доказательство. Система характеров {ai} линейно независима и содержится в пространстве всех комплекснозначных функций на G, постоянных на {Kj}, размерность которого равна t.

Для любого подмножества K С G обозначим

K = Е

дек

g.

Центр Z(СП) групповой алгебры CG является прямой суммой

Z (СП)= ф Свф,

yeirr

где {вф} — система примитивных идемпотентов. Примитивный идемпотент вф, ассоциированный с неприводимым характером ф, определяется по формуле

вф

ф

\G\

^2ф(д)д.

geG

Каждому подмножеству X С Irr(G) сопоставим центральный идемпотент

fx = ^2 вф. фех

Предложение 2. Пусть разбиения X и K задают теорию суперхарактеров, и fi = fXi. Тогда система {Kj : 1 < j < m} образует базис в подалгебре

span{fi : 1 < i < m}.

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

fi = ^ вФ = ^ ^ ф(д)д

феХ1 феХг 1 1 geG

1

\G\

^ ^ ф(1)ф(дН g = ^ ai(Kj) Kj

geG \фeXi J 1 1 j=i

Поскольку системы элементов {f} и {Kj} равномощны и линейно независимы. То они линейно порождают одно и то же подпространство.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

233

Следствие 2. Если разбиения X и K задают теорию суперхарактеров, то каждое Kj инвариантно относительно сопряжения (т.е. распадается в объединение классов сопряженных элементов).

Доказательство. Из предложения 2 вытекает, что элементы {Kj} содержатся в центре групповой алгебры CG.

Предложение 3. В теории суперхарактеров разбиения X и K однозначно определяют друг друга.

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

1) Разбиение (1) множества Irr(G) определяет отношение эквивалентности на группе G для которого x ~ у, если ai(x) = ai(y) для любого 1 < i < m. Это отношение определяет разбиение K0 группы G. Напомним, что {а} — базис в пространстве функций, постоянных на разбиении K. Разбиение K более мелкое, чем K0. Поэтому m = \K\ > \K0\. С другой стороны, согласно лемме 1 \K°\ > > \X\ = m. Следовательно, \K°\ = m и K0 = K.

2) Разбиение (2) группы G определяет подалгебру span{Kj} = span{/i}. Базис, состоящий из системы ортогональных идемпотентов, определяется в ней однозначно. Поэтому разбиение X однозначно определяется по K.

Предложение 4. Главный характер 1G является суперхарактером (напомним, главный характер — это характер, тождественно равный единице).

Доказательство. Допустим противное. Пусть 1G Е Xi и Xi = {1G}. Тогда разбиение X0, которое отличается от X тем, что

Xi = {1G} U (Xi \{1G}),

удовлетворяет условию леммы 1 в паре c K. В то же время \Х0\ > \K\. Это противоречит заключению той же леммы.

3. Суперхарактеры алгебра групп

Пусть J — ассоциативная нильпотентная конечномерная алгебра над конечным полем Fg. Тогда группа G = 1 + J называется алгебра группой. Группа G действует на J умножением слева и справа. Суперклассом элемента g = 1 + x будем называть множество 1 + GxG.

Определено также левое и правое действия группы G на сопряженном пространстве J* по формулам:

g\(x) = X(xg),

\g(x) = X(gx).

Алгебра J также действует J* справа и слева

y\(x) = Х(ту),

234

А. Н. ПАНОВ

Лемма 2. \GA\ = \AG\.

Доказательство. Рассмотрим билинейную форму f (x,y) = A(xy). Отображение y ^ f (x,y) является вложением

Поэтому dim Ja,left > dim Ja,right. Аналогично доказывается обратное неравенство. Заключаем dim JA,left = dim JA,right.

Следствие 3. Число n(A) = ^A^ левых G орбит в GAG совпадает с числом правых G орбит в GAG.

Следствие 4. Если y(JA,right) = 0, т,о у Е JA.

Доказательство. Отображение (5) является изоморфизмом. Для любого y(JA,right) = 0 существует у Е J, такой, что y(x) = A(xy), то есть у = yA.

Зафиксируем нетривиальный характер t ^ £ аддитивной группы поля Fg со значением в мультипликативной группе C*. Произвольному A Е J* сопоставим комплекснозначную функцию

на группе G. Покажем, что ограничение ф на подгруппу GA,right является линейным характером (одномерным представлением). Действительно, если g1 = 1+xi и g2 = 1 + x2 два элемента из GA,right, то A(x1x2) = 0 и

J/JA,left ^ (J/JA,right) •

Ш = £A

^A(gig2) = Ca(1 + x1 + x2 + x1x2) = £'

,А

£/4V 1 £'

A(Xl)£A(X2)£A(XlX2) = £A(Xl)£A(X2) = ^A(g1)^A (g2 )^

£

£'4 J-’1) £

Назовем суперхарактером индуцированный характер

XA — Ib-d-^A) G a, right; G) •

Предложение 5. Суперхарактер xA постоянен на суперклассах.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

235

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

Пункт 1. Пусть д = 1 + x £ Gy,right. Покажем, что для любого a £ G элемент д' = 1 + xa также принадлежит GA,right и Ху(д') = Ху(д).

Действительно, из д = 1+x £ GA,right вытекает A(xJ) = 0. Отсюда A(xaJ) = 0 и д' = 1 + xa £ GA,right. Поскольку оба элемента д и д' принадлежат GA,right, вычислим значения на них ф. Пусть д = 1 + и. Тогда

Сх

£A(x) = Ш-

Обозначим Л(д) = {в £ G\ в-1 дв £ Ga}. Покажем, что Л(д') = Л(д). Действительно, в-1д'в = 1 + (s-1xs)e-1ae. Как было показано выше, если в-1дв £ GA,right, то в-1д'в £ Ga,right. Что доказывает Л(д) С Л(д'). Обратное включение показывается аналогично. Из формулы (7) получаем

Ыв-1д'в) = Ыв-1дв),

для любого в £ Л(д). Отсюда

ХА

1

\GA,right \

Y €А

s€A

1

\GA,right \

Y ^А(в 1 дв) = ХА(д)-

seA

Пункт 2. Характеры постоянны на классах сопряженных элементов. Поэтому ХА(д0дд-1) = ХА(д) для любого д0 £ G. Из пункта 1 заключаем, что для д = 1 + x £ GA,right выполняется ХА(1 + x) = ХА(1 + GxG). То есть Х(д) = = Х(К(д)), если суперкласс K(д) пересекается с GA,right. Если суперкласс имеет пустое пересечение с GA,right, то ХА на ней равен нулю.П

Предложение 6. 1) Если А' £ GAG, то хА = ХА'; если А' £ GAG, то

суперхарактеры хА и Ху дизъюнктны.

2) Системы суперхарактеров {хА} и суперклассов {1 + GxG}, где А и x пробегают системы двойных G х G орбит в J* и J соответственно, определяют, теорию суперхарактеров для группы G.

ДОКАЗАТЕЛЬСТВО. Индуцированное представление c характером СА реализуется в пространстве

Uga = {f £ C[G] : f(Нд) = Cy(h)f(д) для любого h £ Gy^ght}

по формуле Rg0 f (д) = f (дд0). Обоснованность обозначения Uga будет видна ниже.

Покажем, что система функций Sga = {См : Д £ GA} является базисом в Uga. Действительно, для любого д = aA и h £ GA,right выполняется

/i(h — 1) = A((h — 1)a) = A(h — 1) + A((h — 1)(a — 1)) = A(h — 1);

отсюда

См (Ъ,д) = £M(hg-1) = £M(h(g-1)+h-1) = ££(h-1)££h(g-1) = СА(К)См(д)-

236

А. Н. ПАНОВ

Это доказывает, что Sgx содержится в Ugx.

Система функций Sgx линейно независима, поскольку представляет собой систему характеров аддитивной группы J. Число элементов в Sgx равно |GA|, которое, согласно лемме 2, совпадает с |AG| — размерностью пространства Ugx. Заключаем, что Sgx — базис в Ugx.

Рассмотрим пространство

Ugxg = span{^ : ц е GAG}.

Пространство Ugxg инвариантно относительно левого и правого регулярных представлений:

Rg £Дg) = £^

g-Mflo-Pg-soMs-i)

£“<go-1>igoM,

Lgo£g(g) = £^('9° lg-1) = £^(а° 1(а-1)+90 1-1) =

£9

Аналогично случаю Ugx система функций {^, ^ е GAG} является базисом в Ugxg. Размерность пространства Ugxg вычисляется по формуле

dim Ugxg = n(A) dim Ugx,

где n(A) — число левых G орбит в GAG. Левые и правые регулярные представления коммутируют. Правое регулярное представление в Ugx эквивалентно правому регулярному представлению в Lgo(Ugx), которое совпадает с UGXgo. Поэтому правое регулярное представление в Ugxg кратно представлению Ugx. Для характеров получаем

X

Что доказывает совпадение xx = Хх: в случае, если A и A принадлежат одной G х G орбите.

Рассмотрим отображение Y : C[G] ^ CG пространства комплекснозначных функций C[G] в групповую алгебру CG, определенное по формуле

Y(f) = £ f (g)g.

g&G

Отображение Y эквивариантно относительно левого и правого действия группы G, поэтому образ подпространства Ugxg — двусторонний идеал в CG.

Если A и A' принадлежат разным G х G орбитам, что подпространства Ugxg и Ugx'g имеют нулевое пересечение. Их Y-образы в C отвечают различным двусторонним идеалам. Следовательно, они состоят из различных неприводимых

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

237

компонент. Их характеры дизъюнктны и, как следствие, характеры Хх и Хх дизъюнктны. Что доказывает пункт 1).

Перейдем к доказательству пункта 2). Покажем, что системы суперхарактеров и суперклассов удовлетворяют условия предложения 1. Действительно, из 1) и предложения 5 вытекает, что суперхарактеры попарно дизъюнктны и постоянны на суперклассах. Утверждение, что число суперхарактеров равно числу суперклассов вытекает, что число орбит любой конечной группы преобразований линейном пространстве и его сопряженном совпадают (см. [7, лемма 4.1]). Наконец легко видеть, что {1} — суперкласс. Утверждение 2) вытекает из предложения 1.

Следующая цель — доказать аналог формулы А. А. Кириллова для суперхарактеров. Напомним формулу А. А. Кириллова для характера неприводимого представления унипотентной группы

Хх

где i пробегает коприсоединенную орбиту Q* для Л Е J*, а хХ — неприводимый характер, ассоциированный с П*. Значение этой формулы в том, что она непосредственно устанавливает взаимно однозначное соответствие между неприводимыми характерами и коприсоединенными орбитами. Отметим, что эта формула верна только при достаточно жестких ограничениях на характеристику поля [15, 16]. Из работы [17] вытекает, формула (13) не верна для группы UT(n, Fq), n ^ 13, если char(Fq) = 2. Заметим, что аналог формулы А. А. Кириллова для суперхарактеров верен для полей любых характеристик.

Теорема 1.

Хх

( ) леохо

Доказательство. Из (12) и (10) вытекает, что

ххЫ = пЛ S £Као-1)-

9ол=л, леохо

Осталось показать, что условие д01 = I здесь можно опустить.

Легко видеть, что если g0i = ц, то д0^д1 = цд1 для любого д1 Е G. Множество {i Е GЛG : д01 = i} разбивается на правые G-орбиты. Сумма функций £л(ао-1) на каждой из них кратна

=^ £Л91(9о-1).

91&0

Осталось показать, что при условии д0ц = ц сумма Ул равна нулю. Действительно, заменяя д1 = 1 + t, t Е J, получаем

£Л(1+0(90-1) = £Л(90-1) £v(t),

teJ teJ

238

А. Н. ПАНОВ

где v = д0ц — /1 = 0. Хорошо известно, что последняя сумма равна нулю (см. например [11, 12]).

Следующая цель — рассмотреть задачи ограничения и индуцирования в теории суперхарактеров. Пусть G = 1 + J — алгебра группа. Если J' — подалгебра в J, то подгруппа G' = 1 + J' называется алгебра подгруппой в G.

Лемма 3. Если A — нильпотентная ассоциативная алгебра, B — подалгебра в A, и B + A2 = A, то B = A.

Доказательство. Для любого натурального n имеем

An = (B + A2)n С Bn + An+1 С B + An+1.

Отсюда B + An С B + An+1. Поскольку A — нильпотентная алгебра, то An+1 = 0 для некоторого n. Тогда

A = B + A2 С B + A3 С ... С B + An+1 = B.

Следствие 5. Если A — нильпотентная ассоциативная алгебра, B — максимальная подалгебра в A, то A2 С B. В частности, B — идеал в A.

Доказательство. Так как B С B + A2 С A и подалгебра B максимальная, то либо B = B + A2, либо B + A2 = A. Из второго равенства вытекает B = A, что невозможно по условию. Следовательно, B = B + A2. Отсюда A2 С B.

Теорема 2. Ограничение суперхарактера \\ на алгебра подгруппу G' является суммой суперхарактеров G'.

Доказательство. Упростим обозначение GA = GA;right. Достаточно доказать утверждение теоремы для случая, когда J' подалгебра коразмерности один в J. Из следствия 5 вытекает, что J' — идеал в J. Из известной теоремы об ограничении индуцированного представления на подгруппу [14, теорема 44.2] вытекает

Res xa

ind«A»,GA”n g',g'),

s

где G{AS

sGas

1 характер подгруппы G^ П G', определенные по формуле

£\\k) = £a(s 1ks),

и s пробегает множество представителей двойных классов G'\G/Ga. Так как

Ga — правый стабилизатор для А, то G

GsAs-1 и ^

CsAs-1. Поэтому

A

Res XA = Ind(C^> GM П G'’ G')’

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

239

где л пробегает

{s\s-1 : s Е G'\G/GX}.

Достаточно показать, что каждое индуцированное представление, входящее в (17), является суммой суперхарактеров подгруппы G'.

Обозначим через ц' естественную проекцию л на J *. Как и выше G— правый стабилизатор л’ в G'. Тогда G= 1 + A, где

A = J^ = {y Е J : л'(vJ') = 0}-

Группа G’^i содержит подгруппу G^ П G' = 1 + B, где

B = J^ П J = {у Е J : n(yJ) = 0}

— подалгебра в A. Заметим, что поскольку J2 Е J' (см. следствие 5), то f^(yJ) = 0 равносильно Л(yJ) = 0. Из всего сказанного

Ind

Разложим характер ф^ = Ind(£M, Gц П G', G',) на неприводимые компоненты. Покажем, что A2 С B. Действительно, если y1,y2 Е A, то

Л (Vij' ) = л' (V2j' ) = 0-

Тогда fi(y1y2J) = Л(y1(y2J)) = Л(у1 J') = 0. Что доказывает A2 С B.

Обозначим

F = {v Е A* : v\b = Л\в}-Если V Е F, то V(A2) = л'(A2) = 0. Формула

&

определяет линейный характер группы G= 1 + A. Степень характера ф^ совпадает с числом характеров {V Е F}. Из теоремы Фробениуса вытекает, что ^ входит в ф^. Заключаем

ФА = ф

Подставляя в (18), получаем

Ind«,., G„ П G', G') = ф Ind

Для любой V Е F, существует v Е J*, который при ограничении на A совпадает с V и при ограничении на J^ — с щ Тогда v — л аннулируется на JM. Поэтому v — л Е Jл (см. следствие 4); то есть v Е Gщ Верно и обратное, если v Е Gл, то v\b = л'\в.

240

А. Н. ПАНОВ

Поскольку J1 идеал в J, то группа G действует в J1 (и J *') правым и левым умножением. Равенство v = gy, g £ G, допускает ограничение на J1* в виде v1 = gу!. Правые стабилизаторы в G элементов v1 и ф совпадают. Следовательно,

Ind(£„G^ ,G) = Ind(£,, ,GV, G),

то есть является суперхарактером G1. Что доказывает утверждение теоремы.  Пусть G = 1 + J' — алгебра подгруппа в G = 1 + J, и ф — суперкласс функция на G (т.е. функция постоянная на суперклассах в G). Продолжим ф до функции ф на G, равной ф на G и нулю все G.

Определение 2. Будем называть супериндукцией SInd ф функцию на группе G, определенную формулой

SInd ф(1 + х) = 1 V ф(1 + ахЪ).

I I ’ I I a,bec

На группах G (и G1) определено скалярное произведение обычным образом

(fi,f2) = G ^ fi(g)f2 (g)-

Имеет место аналог теоремы Фробениуса для суперхарактеров.

Теорема 3. Пусть ф — суперкласс функция на G', и ф — суперкласс (функция на G. Тогда

(SInd ф,ф) = (ф, Res ф).

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

IGI2  GI

— ф

a,b£G, x£j

IGI2  GI

- ^ ф

a,b£G, x£j

IGI2

qG IGI2 ^ф

X £ J X J

1

1

(ф, Res ф).

4. Суперхарактеры конечных групп треугольного типа

Пусть H — группа и J — ассоциативная алгебра над полем k. Предположим, что определены коммутирующие левое Н,х ^ Нх и правое Н,х ^ хН линейные действия группы H на J. Предположим, что для любых Н £ H и х,у £ J выполнены условия:

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

241

1. h(xy) = (hx)y и (xy)h = x(yh),

2. x(hy) = (xh)y.

На множестве

G = H + J = {h + x : h E H, x E J}

определена ассоциативная операция умножения

У\У2 — (hi + xi )(h2 + x2) — hih2 + h\x2 + x\h2 + xix2 •

Если J — нильпотентная алгебра над полем к, то G является группой относительно операции (21). В случае когда группа H конечна, поле к — конечное поле и J — конечномерная нильпотентная алгебра над полем к, группа G конечна.

Определение 3. При соблюдении описанных выше условий будем называть группу G конечной группой треугольного типа, если группа H абелева и chark не делит \H\.

Пусть G = H + J — конечная группа треугольного типа. Согласно теореме Машке, групповая алгебра kH абелева и полупроста, и следовательно является прямой суммой полей. Существует система примитивных идемпотентов {e1, • • • ,en}, такая, что

где к1, • • • ,kn — расширения поля к. Любой идемпотент в kH — сумма примитивных идемпотентов.

Прямая сумма A = kH ф J имеет структуру алгебры относительно операции умножения (21). Группа G является подгруппой в группе A* обратимых элементов алгебры A, рассмотренной ниже в Примере 7. Заметим, что группа G разлагается в произведение G = HN подгруппы H и нормальной подгруппы N = 1 + J, которая является алгебра группой.

Пример 5. Алгебра группа G = 1 + J.

Пример 7. Пусть A — конечномерная алгебра с единицей приведенного типа, определенная над конечным полем Fg из q элементов [13, §6.6]. По определению, приведенная алгебра это алгебра, для которой фактор по радикалу J = J(A) есть прямая сумма алгебр с делением. Согласно теореме Веддербер-на [13, §13.6] всякая алгебра с делением над конечным полем коммутативна. Поэтому A/J коммутативна. Существует полупростая подалгебра S, такая, что A = S ф J (см. [13, §11.6]). В нашем случае алгебра S коммутативна. Группа G = A* обратимых элементов в A является конечной группой треугольного типа G = H + J, где H = S*. Если A — ассоциативная алгебра треугольных матриц, то G = T(n, Fg) — треугольная группа. Теория суперхарактеров для G = A* построена в [9].

kH = kiei ф • • • ф kne.

nn

Пример

А. Н. ПАНОВ

242

Образуем группу G, которая состоит из троек т = (t, a, b), где t Е H, a,b E N, с операцией

(ti,ai,bi) • (t2,a2,b2) = (tit2, t-lait2a2, t-1bit2b2).

Группа G действует на J по формуле

pT (x) = taxb~it~i.

В сопряженном пространстве J* представление группы G определяется естественным образом

Р* X(x) = Л(р(т-i)(x))-

В J* определено также левое и правое линейные действия группы G по формулам b\(x) = \(xb) и \a(x) = \(ax). Тогда pT(Л) = tb\a~it~i.

Для любого идемпотента e Е kH обозначим через Ae подалгебру eAe. Подалгебра Je = eJe С J является радикалом в Ae. Обозначим е1 =1 — е. Имеет место разложение Пирса

J = eJe ф eJe1  е1 Je  e'Je'.

Сопряженное пространство Je* естественно отождествляется с подпространством в J*, состоящим из линейных форм, равных нулю на всех компонентах разложения Пирса кроме первого.

Определение 4. Будем называть рg-орбиту в J сингулярной, если существует идемпотент e Е kH, e = 1, такой, что рg(x) П Je = 0. В противном случае будем называть орбиту назовем регулярной. Будем называть элемент x Е J (соответственно, Л Е J*) сингулярным (регулярным), если его pg-орбита сингулярна (регулярна).

Для любого идемпотента e Е kH рассмотрим подгруппу

H(e) = {h Е H : he = e}

и факторгруппу He = H/H(e). Тогда группа Ge = He + Je является конечной группой треугольного типа. Для нее определены также группа Ge и ее орбиты в Je и J*, регулярные и сингулярные. Можно показать [10, лемма 2.6], что

H(e) = {h Е H : hx = xh = x} = {h Е H : hЛ = Xh = Л}

для регулярного x Е Je и регулярного Л Е Je*.

Рассмотрим действие группы G на G по формуле

RT (g) = 1 + ta(g — 1)b~it~i.

Последняя формула нуждается в комментариях. В ней g — 1 Е A = kH + J. Тогда RT(g) Е A. Если g = h + x, то RT(g) = h mod J. Поэтому на самом деле Rt (g) Е G.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ... 243

Определение 5. Будем называть (G-орбиты в G суперклассами. Если g Е Е G, то К(g) — суперкласс, содержащий g. Группа G разбивается на суперклассы.

Обозначим через B множество троек в = (e, h, ш), в которых e — идемпотент из kH, h Е H(e) (то есть he = e), и ш — регулярная Ge-орбита в Je. Все элементы h + ш содержатся в одном суперклассе [10, следствие 3.2], который обозначим через К в.

Теорема 4. [10, теорема 3.3]. Соответствие в ^ Кв является взаимно

однозначным между множеством троек B и множеством суперклассов в G.

Обозначим через A множество троек а = (e, 9, ш*), в которых e — идемпотент из kH, 9 — линейный характер (одномерное представление) подгруппы H(e),

и ш* — регулярная (^е-орбита в J*. Поскольку подгруппа H(e) коммутативна, то число ее линейных характеров совпадает с числом элементов. Число регулярных орбит в Je и J* совпадают [10, предложение 2.13]. Поэтому |A| = |B|.

Перейдем к построению суперхарактеров. Пусть а = (e,9,ш*) Е A, выберем А Е ш*. Рассмотрим подгруппу G\ = H(e)  N^right, где N^right — стабилизатор правого действия N = 1 + J для А. Каждый элемент g Е Gл представим в виде g = h + x, где hA = Ah = А and A(xJ) = 0.

Зафиксируем нетривиальный характер t ^ У аддитивной группы поля Fg со значением в мультипликативной группе C*. По тройке а = (e,9,ш*) и А Е ш* определим линейный характер подгруппы Gл по формуле

&л

где g = h + x, h Е H(e) и x Е Jyright. Покажем, что £ = £в,л действительно является линейным характером:

£(gg') = £((h + x)(h! + x')) = £(hh' + h'x + x'h + xx') =

9(hh' = 9(h)9(h! )£л(х)£л(хГ) = £(g)£(g').

Индуцированный характер

Ха = 1п^£дл, GЛ, G)

будем называть суперхарактером.

Теорема 5. [10, предложения 4.1 и 4.3].

1) Суперхарактеры {ха : а Е A} попарно дизъюнкты;

2) Каждый суперхарактер ха постоянен на каждом суперклассе К в;

3) {1} — суперкласс К(g) для g = 1.

Применяя предложение 1 приходим к заключению.

244

А. Н. ПАНОВ

Теорема 6. [10, теорема 4-5]. Системы суперхарактеров {ха| а Е A} и суперклассов {Kp| в Е B} задают теорию суперхарактеров группы G.

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

Пусть H' — подгруппа в H, и J' — подалгебра в J, инвариантная относительно правого и левого действия H' на J. Тогда G' = H1 + J' — подгруппа в G, которую будем называть подгруппой треугольного типа в G.

Предложение 7. Ограничение суперхарактера ха группы G на подгруппу G' треугольного типа является суммой суперхарактеров G'.

Перейдем к определению супериндукции. Пусть ф — суперкласс функция (т.е. комплексная функция, постоянная на суперклассах) в G'. Определим супериндукцию следующим образом.

Определение 6.

Sind ф(д) = ф(Рг

Т eG

\G\H\Gn Y ф(1 +ta(g— 1)bt 1)-

1111 a,beN, ten

Легко видеть, что Sind ф — суперкласс функция на G.

Теорема 7. Пусть гф — суперкласс функция на G. Тогда

(Sind ф,ф) = (ф, Res ф).

Получим аналог формулы А. А. Кириллова для построенной теории суперхарактеров. В случае алгебра групп эта формула совпадает с (14).

Поскольку суперхарактеры постоянны на суперклассах, то значения суперхарактеров достаточно уметь вычислять на элементах вида g = h + x, где hx = xh = x. Пусть f' идемпотент в kH, ассоциированный с h — 1 (то есть h — 1 и f' отличаются постоянным множителем из (kH)*). Тогда f =1 — f' — дополнительный к f' идемпотент. Условие hx = xh = x равносильно x Е Jf.

Пусть а = (e, в, ш*) Е A. Пусть g = h + x, где hx = xh = x. Легко видеть, что если h Е H(e), то Xa(g) = 0. Предположим, что h Е H(e) (то есть he = e). Тогда e < f и, поэтому, Jf* — подпространство в J*. В частности, ш* Е J*. Существует единственная p*(Gf)-орбита Q* в Jf*, пересечение которой с J* совпадает с ш* [10, lemma 2.7]. Обозначим через 0(h) функцию H ^ C, которая равна 0(h) на H(e) и нулю все H(e).

Теорема 8. Значение суперхарактера ха на элементе g = h + x, где hx = xh = x, вычисляется по формуле

Xa

\He\  0

где n(Q*) — число правых Nf-орбит в Q*.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

245

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

Сформулируем ряд вопросов, которые остались без ответа в построенной теории суперхарактеров.

1) Как было отмечено в §3, еуперхарактер Xi отличается от стандартного суперхарактера постоянным множителем. В случае алгебра групп этот множитель можно явно вычислить: он совпадает с n(X) — числом левых G-орбит в двойной G х G-орбите. Чему равен этот множитель в теории суперхарактеров конечных групп треугольного типа?

2) Частным случаем конечной группы треугольного типа является треугольная группа T(n, Fq). Как разложить суперхарактер при ограничении на подгруппу T(m, Fq), где m < n?

3) Как и в случае унитреугольной группы, здесь прослеживается аналогия с симметрической группой Sn, в которой можно рассмотреть подгруппу Sp х Sq, где p + q = n, и ее неприводимое представление вида фр х фч. Важную роль в теории представлений группы Sn играет решение задачи разложения индуцированного представления 1п4(фр х ,Sp х Sq, Sn) на неприводимые компоненты. Задача переносится унитреугольную группу UT(n, Fq) в рамках теории базисных характеров К. Андре (она в целом решена, см. [28]). Как решается это задача для треугольной группы T(n, Fq) в рамках построенной выше теории суперхарактеров конечных групп треугольного вида?

4) Построить теорию суперхарактеров для борелевских подгрупп в ортогональной и симплектической группах.

Перечисленные задачи представляют собой ближайшие цели. После их решения можно заняться построением теории суперхарактеров для параболических подгрупп в GL(n, Fq), а дальше и параболических подгрупп в простых конечных группах лиевского типа.

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

1. Drozd Yu. Matrix problems, small reduction and representations of mixed groups// In: Representations of Algebras and Related Topics, Cambridge: Cambridge Univ. Press, 1992.

2. Andre C. A. M. Basic characters of the unitriangular group // Journal of Algebra. 1995. Vol. 175. P. 287-319.

3. Andre C. A. M. Basic sums of coadjoint orbits of the unitriangular group // Journal of Algebra. 1995. Vol. 176. P. 959-1000.

4. Andre C. A. M. The basic character table of the unitriangular group // Journal of Algebra. 2001. Vol. 241. P. 437-471.

5. Andre C. A. M. The basic characters of the unitriangular group (for arbitrary primes) // Proc. Am. Math. Soc. 2002. Vol. 130. P. 1943-1954.

246

А. Н. ПАНОВ

6. Ning Yan. Representation theory of finite unipotent linear groups, Ph.D. Thesis. Department of mathematics. University of Pennsylvania. 2001 (см. также arXiv: 1004.2674).

7. Diaconis P., Isaacs I. M. Supercharacters and superclasses for algebra groups // Trans.Amer.Math.Soc., 2008, Vol. 360, P. 2359-2392.

8. Panov A. N. Invariants of the coadjoint action o the basic varieties of the unitriangular group // Transformation groups. 2015. Vol. 20. P. 229-246.

9. Панов А. Н. Теория суперхарактеров для групп обратимых элементов приведенных алгебр / / Алгебра и анализ. Принята к печати (см. также arXiv:1409.5565).

10. Panov A. N. Supercharacters for the finite groups of triangular type // arXiv:1508.05767

11. Панов А. Н. Метод орбит для унипотентных групп над конечным полем // Записки научных семинаров ПОМИ. 2013. Т. 414. С. 127-137.

12. Игнатьев М. В. Ведение в метод орбит над конечным полем. М.: МЦ-НМО, 2014.

13. Пирс Р. Ассоциативные алгебры. М.: Мир, 1986.

14. Кэртис Ч., Райнер И. Теория представлений конечных групп и ассоциативных алгебр. М.: Наука, 1969.

15. Kirillov A. A. Variations on the triangular theme // Amer. Math. Soc. Transl. 1995. Vol. 169. P. 43-73.

16. Kazhdan D. Proof of Springer hypothesis // Israil J. Math. 1977. Vol. 28. P. 272-284.

17. Isaacs I. M., Karagueuzian D. Involution and characters of upper triangular matrix groups / / Math. of Computation. 2005. Vol. 74. no. 252. P. 2027-2033.

18. Brumbaugh J. L., Bulkow M. , Fleming P. S., Garcia L. A., Garcia S. R., Karaali G., Michal M., Turner A. P., Suh H. Super characters, exponentioal sums and the uncertainty principle // Journal of Number theory. 2014. Vol. 144. P. 151175.

19. Fowler C. F., Garcia S. R., Karaali G. Ramanujan sums as supercharacters // The Ramanujan Journal. 2014. Vol. 32. P. 205-241.

20. Thiem N. Branching rules in the sing of super functions of unipotent upper-triangular matrices // Journal of Algebraic combinatorics. 2010. Vol. 31. P. 267-298.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

247

21. Thiem N., Venkateswaran V. Restricting supercharacters of the finite unipotent upertriangular matrices // Electronic Journal of Combinatorics. 2009. Vol. 16. P. 23.

22. Marberg E., Theim N. Superinduction for pattern groups // Journal of Algebra. 2009. Vol. 321. P. 3681-3703.

23. Diaconis P., Thiem N. Supercharacter formulas for pattern groups // Trans. Am. Math. Soc. 2009. Vol. 361. P. 3501-3533.

24. Bragg D. Restrictions of rainbow supercharacters and poset binomials. Ph.D. Thesis. Department of mathematics. University of Coloado. 2013.

25. Bragg D., Thiem N. Restrictions of rainbow supercharacters // arXiv: 1405.2299

26. Arias-Castro E., Diaconis P., Stanley R., A super-class walk on upper-triangular matrices // Journal of Algebra. V. 2004. Vol. 278. P. 739-765.

27. Hendrickson A. O. F. Supercharacter theory costructions corresponding to Schur ring products // Comm. Algebra. 2012. Vol. 40. no. 12. P. 4420-4438.

28. Aguiar M., Andre C., Benedetti C., Bergeron N., Zhi Chen, Diaconis P., Hendrickson A., Hsiao S., Isaacs I. M., Jedwab A., Johnson K., Karaali G., Lauve A., Tung Le, Lewis S., Huilan Li, Magaarg K., Marberg E., Novelli J-Ch., Amy Pang, Saliola F., Tevlin L., Thibon J-Y., Thiem N., Venkateswaran V., Vinroot C. R., Ning Yan, Zabricki M. Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras // Advances in Mathematics. 2012. Vol. 229. no. 4. P. 2310-2337.

REFERENCES

1. Drozd, Yu. 1992, "Matrix problems, small reduction and representations of mixed groups" In: Representations of Algebras and Related Topics, Cambridge Univ. Press, Cambridge.

2. Andre, C. A. M. 1995, "Basic characters of the unitriangular group" , Journal of Algebra, vol. 175, pp. 287-319.

3. Andre, C. A. M. 1995, "Basic sums of coadjoint orbits of the unitriangular group" , Journal of Algebra, vol. 176, pp. 959-1000.

4. Andre, C. A. M. 2001, "The basic character table of the unitriangular group" , Journal of Algebra, vol. 241, pp. 437-471.

5. Andre, C. A. M. 2002, "The basic characters of the unitriangular group (for arbitrary primes)" , Proc. Aw,. Math. Soc., vol. 130, pp. 1943-1954.

248

А. Н. ПАНОВ

6. Ning Yan. 2001, Representation theory of finite unipotent linear groups, Ph.D. Thesis, Department of mathematics, University of Pennsylvania (see also arXiv: 1004.2674).

7. Diaconis, P. & Isaacs, I.M. 2008, "Supercharacters and superclasses for algebra groups" , Trans.Amer.Math.Soc., vol. 360, pp. 2359-2392.

8. Panov, A. N. 2015, "Invariants of the coadjoint action o the basic varieties of the unitriangular group" , Transformation groups, vol. 20, pp. 229-246.

9. Panov, A. N. "Supercharacter theory for groups of invertible elements of reduced algebras" , Algebra i Analys, accepted for publication (see also arXiv:1409.5565).

10. Panov, A. N. "Supercharacters for the finite groups of triangular type" , arXiv:1508.05767.

11. Panov, A. N. 2013, "The orbit method for unipotent groups over finite fields" , Za,piski POMI, vol 414, pp. 127-137.

12. Ignatev, M. V. 2014, Introduction to the orbit method over field, MCIME, Moscow.

13. Pierce, R. 1982, Associative algebras, Springer-Verlag, New York.

14. Curtis, C. & Reiner, I. 1962, Representation theory of finite groups and associative algebras, Interscience Publishers a division of John Wiley & Sons, New York.

15. Kirillov, A. A. 1995, "Variations on the triangular theme" , Amer. Math. Soc. Transl., vol. 169, pp. 43-73.

16. Kazhdan, D. 1977, "Proof of Springer hypothesis" , Israil J.Math., vol. 28, pp. 272-284.

17. Isaacs, I. M. & Karagueuzian, D. 2005, "Involution and characters of upper triangular matrix groups" , Math. of Computation, vol. 74, no. 252, pp. 20272033.

18. Brumbaugh, J. L., Bulkow, M., Fleming, P. S., Garcia, L. A., Garcia, S. R., Karaali, G., Michal, M., Turner, A. P. & Suh, H. 2014, "Supercharacters, exponentioal sums and the uncertainty principle" , Journal of Number theory, vol. 144, pp. 151-175.

19. Fowler, C. F., Garcia, S. R. & Karaali G. 2014, "Ramanujan sums as supercharacters" , The Ramanujan Journal, vol. 32, pp. 205-241.

СТАРОЕ И НОВОЕ В ТЕОРИИ СУПЕРХАРАКТЕРОВ...

249

20. Thiem, N. 2010, "Branching rules in the sing of super functions of unipotent upper-triangular matrices" , Journal of Algebraic combinatorics, vol. 31, pp. 267-298.

21. Thiem, N. & Venkateswaran, V. 2009, "Restricting supercharacters of the finite unipotent upertriangular matrices" , Electronic Journal of Combinatorics, vol. 16, pp. 23

22. Marberg, E. & Theim, N. 2009, "Superinduction for pattern groups" , Journal of Algebra, vol. 321, pp. 3681-3703.

23. Diaconis, P. & Thiem, N. 2009, "Supercharacter formulas for pattern groups" , Trans.Am.Math.Soc., vol. 361, pp. 3501-3533.

24. Bragg, D. 2013, Restrictions of rainbow supercharacters and poset binomials, Ph.D. Thesis. Department of mathematics, University of Coloado.

25. Bragg, D. & Thiem, N. "Restrictions of rainbow supercharacters" , arXiv: 1405.2299

26. Arias-Castro, E., Diaconis, P.& Stanley, R., 2004, "A super-class walk on upper-triangular matrices" , Journal of Algebra, vol. 278, pp. 739-765.

27. Hendrickson, A. O. F. 2012, "Supercharacter theory costructions corresponding to Schur ring products" , Comm. Algebra, vol. 40, no. 12, pp. 4420-4438.

28. Aguiar, M., Andre, C., Benedetti, C., Bergeron, N., Zhi Chen, Diaconis, P., Hendrickson, A., Hsiao, S., Isaacs, I. M., Jedwab, A., Johnson, K., Karaali, G., Lauve, A., Tung Le, Lewis, S., Huilan Li, Magaarg, K., Marberg, E., Novelli, J-Ch., Amy Pang, Saliola, F., Tevlin, L., Thibon, J-Y., Thiem, N., Venkateswaran, V., Vinroot, C. R., Ning Yan & Zabricki, M. 2012, "Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras" , Advances in Mathematics, vol. 229, no. 4, pp. 2310-2337.

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

Самарский государственный аэрокосмический университет имени академика

С. П. Королева.

Поступило 10.03.2015.