КМА на локальных полях положительной характеристики Текст научной статьи по специальности «Математика»

УДК 517.51

КМА НА ЛОКАЛЬНЫХ ПОЛЯХ ПОЛОЖИТЕЛЬНОЙ ХАРАКТЕРИСТИКИ

А. М. Водолазов1, С. Ф. Лукомский2

1 Кандидат физико-математических наук, доцент кафедры компьютерной алгебры и теории чисел, Саратовский государственный университет им. Н. Г. Чернышевского, vam21 @yandex.ru

2Доктор физико-математических наук, профессор кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]

Доказано, что локальное поле положительной характеристики есть линейное пространство над конечным полем. Ключевые слова: локальные поля, конечные поля, кратномасштабный анализ.

ВВЕДЕНИЕ

Последние годы активно изучаются вопросы построения всплесковых базисов на неархимедовых структурах: полях p-адических чисел, группах Виленкина, локальных полях и нуль-мерных группах. При построении всплесковых базисов на локальных полях используются методы, изложенные в [1], которые используют понятие примитивного (prime) элемента. В работах [2-5] получены аналоги некоторых основных фактов и методов классического и p-адического анализа. Приведем наиболее заметные из них. В работе [2] предлагается метод, с помощью которого по известной масштабирующей функции строятся вейвлеты. Этот метод сводится к построению некоторой унитарной матрицы. В работе [3] получены необходимые и достаточные условия, при которых функция будет масштабирубщей для некоторого кратномасштабного анализа (КМА). В работе [4] доказано, что две масштабирующие функции двух сопряженных КМА порождают биортонормированную вейвлет-систему. Отмеченные результаты имеют два существенных недостатка. Во-первых, они относятся только к полям положительной характеристики. Во-вторых, даже в этом случае удается построить только хааровские базисы. Мы хотим предложить иной взгляд на локальные поля положительной характеристики, который должен помочь перенести известные для групп Виленкина результаты на локальные поля.

1. ЛОКАЛЬНЫЕ ПОЛЯ

Под локальным полем K понимают топологическое пространство, в котором определены непрерывные операции «+», «■» — сложения и умножения, для которых выполнены аксиомы поля. K является локально компактным, вполне не связным, не дискретным, полным топологическим пространством.

Так как K — локальное поле, то аддитивная группа K+ есть локально компактная группа, в ней определены мера Хаара д(ж), причем ^(ax) = |a| ■ Число |a| обладает свойствами:

1) |a| ^ 0, |a| =0 ^ a = 0;

2) |a ■ в| = М-|в|;

3) |a+в| ^ max(|a|, |в|) (ультраметрическое неравенство треугольника).

Поле Qp — классический пример локального поля. В группе Виленкина (G, +) можно ввести операцию умножения так, что она (группа) станет полем.

В поле K вводят оператор растяжения следующим образом. Единичный шар

D = {x е K : |x| ^ 1}, ^D = 1, является кольцом, в котором существует единственный максимальный идеал:

В = {x е K : |x| < 1}.

Элемент p е В с наибольшей нормой |p| называют примитивным элементом. Для него дВ = |p| = pS, где p — простое, s е N. Если x е D \ В, то |x| = 1.

Справедливо равенство В = pD, и фактор кольцо D/В изоморфно конечному полю GF(p*). Таким образом, с каждым локальным полем связано простое число p и пара натуральных s, t. Определенные выше объекты представлены графически на следующем рисунке:

D : 1x1 < 1

В

Р

Строение кольца 0 Любой элемент х е К единственным образом представим в виде

l _ „ i,k

Y^ Cpl = p^ ckpk, ci e U, Cv = 0,

x =

v=0

где U — множество представлений смежных классов фактор-группы D/В. По определению полагаем:

Bk = pkD = {x e K : |x| ^ p-sk}.

Определение 1. Оператор растяжения A определяем равенством Ax = x ■ p. Очевидно, что

x| = |x|ps.

Определение 2. Множество сдвигов определяется равенством

Ik = {g = a-ip-1 + a-2p-2+... + a-vp-v : v e N, a- e GF(ps)}.

Имея оператор растяжения и множество сдвигов, можно определить КМА в L2(K) стандартным образом.

Определение 3. Пусть K — локальное поле положительной характеристики, p есть примитивный элемент, — множество сдвигов. КМА в L2(K) есть множество подпространств (Vn)nGZ таких, что

1) Vn С Vn+i;

2) U Vn = K, П Kn = {0};

nEZ nEZ

3) f (x) e Vn ^ f (Ax) = f (p-1 x) e Vn+1;

4) существует ^ e L2(K) такая, что (^(x—h))helK — ортонормированный базис (или базис Рисса) в V0. ^(x) называется scaling function.

В таком виде определение дано в работе [2].

2. КОНЕЧНЫЕ ПОЛЯ

Поле K называется конечным, если #K < Известно [6], что число элементов в ко-

нечном поле K равно pm при некотором простом p и m e N. Конечное поле порядка pm обычно обозначают GF(pm). При m =1 GF(pm) есть кольцо (поле) классов вычетов по модулю p и GF(p) = {0,1,...,p — 1}. Операция сложения в GF(p) определяется равенством a+b = (a + b)modp, т.е. это остаток от деления a + b на p. Операция умножения определяется

равенством a ■ b = a+a+ ... + a.

4-v-'

b

Пусть m ^ 2, тогда существует неприводимый над полем GF(p) многочлен pm(x) степени m. Элементами поля GF(pm) являются векторы (a0,a1,... ,am-1) длины m, где aj e GF(p).

Операция сложения определяется покоординатно, т.е. (aj)+(bj) = ((aj + bj)modpj-1. Для того чтобы определить ab, векторы a = (a0,a1 ,...,am-1) e GF(pm) и b = (b0,b1 ,...,bm-1) e GF(pm) надо представить в виде формальных многочленов:

a = a(x) = a0 + a1 x + ■ ■ ■ + am-1 xm-1, b = b(x) = b0 + b1x + ■ ■ ■ + bm-1 xm-1,

а элементы a и b умножить как многочлены над полем GF(p), тогда получим многочлен

m-1 m-1 2m-2

Q(x) = ajbkxj+k = xl ^ ajbk,

j=0 k=0 l=0 k,j: k+j=l

в котором коэффициенты в = ajbk вычисляются по операциям в поле GF(p). После этого

делим Q(x) с остатком на pm(x). Коэффициенты полученного остатка H и есть произведение ab.

Известно [6], что неприводимый многочлен pm(x) над полем GF(p) существует для любого m ^ 2. Существуют алгоритмы нахождения pm (x).

3. ЛОКАЛЬНЫЕ ПОЛЯ С ПОЛОЖИТЕЛЬНОЙ ХАРАКТЕРИСТИКОЙ

В дальнейшем мы будем рассматривать только поля положительной характеристики. Пусть p — простое число, s G N, GF(ps) — конечное поле. Локальное поле

F (s) положительной характеристики p изоморфно (теорема Ковальского - Понтрягина [7]) множеству формальных степенных рядов:

œ

a = k G Z, аг G GF(ps).

i=k

Операции сложения и умножения определяются как сумма и произведение таких рядов, т. е. если

œ

a = ^^ a.

i=k

œ

аг , b = ^ bi f,

i=k

то

a+ b = ^(ai-+bi)ti, ai+bi = (ai + bi)modp, ab = ^ t ^ (aibj).

i=k

l=2k i,j:i+j=l

Топология в F (s) задается базой окрестностей нуля

F,(s) = i a = ajaj G GF(ps ) l.

j = n

Если a = ajtj, an = 0, то по определению полагаем ||a|| = (p s)n и, значит,

= {х £ ^(8) : ||х|| ^ (р-8)п}

Обозначим через ^ (8) + аддитивную группу поля Окрестности FJ(s) являются компактными

подгруппами группы обозначим их через F(s)+. Они обладают следующими свойствами:

1) ■ ■ ■ С Fl(s)+ С Fo(s)+ С F-S1)+ ...; 2) Fí(s)+/Fíí+)1^ - (р8)+ и ) = р8.

Поэтому можно считать, что локальное поле

характеристики р состоит из бесконечных в обе стороны последовательностей а = (..., 0п-1, ап,..., ао, а1), а7- £ GF (р8), в которых лишь конечное число элементов а7- с отрицательными номерами отлично от нуля, операции сложения и умножения определены равенствами

a-- b = ((ai-- bi ))iGz, ab =

(ai bj )l

■ i,j:i+j=l /

(1)

¿GZ

где операции «+» и «■» — сложение и умножение в поле GF(р8). В этом случае

||а|| = ||(..., 0 п-1 ,ап,ап+1)|| = (р-8 )п, если ап = 0, FJ(s) = {а = (а7-: а^- £ ^(р8); а^- =0 V ^ < п}, ■ ■ ■ С С F0(s) С F-s1) ...,

F„ ) — компактные подгруппы в F(8)+ и )= р8.

Отсюда сразу следует, что при в = 1 F(1)+ есть группа Виленкина с постоянной образующей последовательностью рп = р. Верно и обратное: во всякой группе Виленкина (0, +) с постоянной

j=

образующей последовательностью рп = р можно ввести операцию умножения равенством (1). С такой операцией умножения (0, +, ■) становится полем, изоморфным р(1), единичный элемент имеет вид е = (..., 0, 0-1, 1о, 01,...).

Теорема 1. При в > 1 аддитивная группа р(8)+ поля р(8) изоморфна произведению групп Виленкина, т. е.

р(в)+ ^ р(1)+ х р(1)+ х ... х р(1)+ = (р(1)+)«.

Этот изоморфизм переводит базу топологии группы р (-)+ в базу топологии произведения р(1)+ х р(1)+ х ■ ■ ■ х р(1)+ групп Виленкина.

Доказательство. Пусть а = (а7- £ Так как а7- £ Ср(р8), то

а,- = (а^0), а^1) ,...,а(*-1)), а« £ Ср (р).

Определим отображение

р . р(8)+ ^ (р(1)+ х р(1)+ х ■ ■ ■ х р(1))) = (р(1)+

равенством

^(а) = (а(0), а(1) ,...,а(8-1)), а(0) = (а^ег, ..., а(8-1) = (а<в-1) Очевидно, что ^ отображает р(8)+ на (р(1)+взаимно однозначно. Кроме того,

^(а+ Ь) = р(а)+р(Ь), (2)

^^) = рП1)+ х РП1)+ х ... р«+ = (р(1)+)8. (3)

Множества р«^ образуют базу окрестностей нуля в р(8)+, множества (рп1)+образуют базу окрестностей нуля в (р(1)+)8. Поэтому из (2) и (3) следует, что отображение ^ переводит базу топологии группы р(8)+ в базу топологии произведения р(1)+ х р(1)+ х ■ ■ ■ х р(1)+ групп Виленкина. □

4. ГРУППА ВИЛЕНКИНА КАК ЛОКАЛЬНОЕ ПОЛЕ И ЛИНЕЙНОЕ ПРОСТРАНСТВО НАД ПОЛЕМ Ср(р)

Пусть (С, +) — р-ичная группа Виленкина. В ней можно ввести операцию умножения на число А £ = Ср(р) равенством

аА = а--а-- ... + а

Определим модуль числа А £ как

и норму элемента а равенством

1 А = °.

0, А = 0

а|| = р-п, (4)

если

а = (... 0п-1,ап, ап+15...), п £ Ж, а7- £ ап = 0.

Нетрудно проверить, что (С, +,-А) есть линейное пространство, и равенство (4) определяет неархимедову норму. Таким образом, (С, +, -А) можно рассматривать как линейное нормированное пространство на полем Известно, что любой элемент а из группы Виленкина единственным образом представим в виде ряда

а ^ ] Атедте, Ап £ ,

пег

где (дп) — фиксированная базисная последовательность, т.е. дп £ \ Сп+1. Это означает, что

система (дп) есть базис линейного пространства. Очевидно, что если в группе Виленкина ввести

операцию умножения равенством (1), то с такой операцией умножения (0, +, ■) становится полем, изоморфным р (1).

5. ЛОКАЛЬНОЕ ПОЛЕ КАК ЛИНЕЙНОЕ ПРОСТРАНСТВО НАД КОНЕЧНЫМ ПОЛЕМ

Рассмотрим теперь локальное поле F (s) положительной характеристики p. Его элементы — бесконечные последовательности

a = (..., 0n_i ,an,an+i,... ), aj G GF (ps),

т. е.

aj = (aj0), aj1) ,...,ajs-1) ), ajv) G GF (p). Норма в F (s) определена равенством ||a|| = p sn если an = 0. Так как

Aa = (... 0-i, A, 0i,... )(... 0n-i,an, an+i,... ) = (A + 0x + 0x2 + ... )(anxn + an+ixn+1 + ... ) = = Aanxn + Aan+ixn+i -----= (... 0n-i, Aan, Aan+i,... ),

то произведение Aa определяется покоординатно. Если мы теперь определим модуль числа A G GF(ps) как

W Л1' A =

0, A = 0

и норму элемента a при an = 0 равенством ||a|| = p-ns, то ||Aa| = |A| ■ ||a|| и поле F(s) можно рассматривать как линейное нормированное пространство над конечным полем GF(ps), и у нас полная аналогия со случаем группы Виленкина.

Обозначим для краткости K := F(s), Kn = F,^, и выберем фиксированный элемент g G Ki \ K2. Известно [1], что любой элемент a G K однозначно представим в виде

a = £ A,gn, (5)

nez

где An — представители смежных классов фактор группы K0/Ki. Справедливо более общее утверждение

Теорема 2. Пусть (gn)neZ — фиксированная базисная последовательность в K, т. е. gn G G Kn \ Kn+i. Любой элемент a G K однозначно представим в виде ряда

a = Angn, An G GF(ps).

nez

Доказательство. Выбираем произвольное a G K. Если a = 0, то утверждение очевидно. Пусть a = 0. Тогда существует n G Z, что a G K+ \ K++i. Это означает, что

a =(... 0n-i ,an ,an+i,... ), aj G GF (ps ), an = 0.

Тогда существует An G GF(ps) так, что

a = Angn+«n+i, «n+i G K,+i.

В самом деле, так как gn G Kn \ Kn+i, то

g = ( 0 g(n) g(n) ) g(n) = 0 gn = (. . . 0n-i, gn , gn+i,... ), gn = 0.

Выбираем An G GF(ps) так, чтобы Angnn) = an. Тогда Поэтому

Angn = (... 0n-i, Angnn), Angn+i... ) = (... 0n-i, an, an+i... ).

a—Angn = (. . . 0n— i ' 0n ' an+i — ttn+i ... ) = an+i G K++i '

т.е. a = Angn+an+i. Продолжая этот процесс получаем утверждение теоремы. □

Следствие. Если g G Ki \ K2, то gn G Kn \ Kn+i и в равенстве (5) можно взять gn = gn. Определение 4. Оператор

A : a = Angn 1-► ^ Angn—i

neZ neZ

назовем оператором растяжения.

Замечание. Если gn = gn и a = ^ Angn, то ag—i = ^ Angn—i, т.е. в этом случае оператор

neZ neZ

—i

растяжения может быть определен равенством Ах = д 1х (можно сравнить с определением 1).

6. МНОЖЕСТВО ХАРАКТЕРОВ ЛОКАЛЬНОГО ПОЛЯ КАК ЛИНЕЙНОЕ ПРОСТРАНСТВО НАД КОНЕЧНЫМ ПОЛЕМ

Множество X характеров локального поля положительной характеристики образует абелеву группу с операцией произведения характеров (х * ф)(а) = х(а) ■ ф(а). Обратный элемент определяется как Х-1 (а) = х(а), а единичным элементом является характер е(а) = 1.

Определение 5. Определим характеры гп поля F (8) следующим образом. Если а = (..., 0к-1,

ак, ак11,...), а7- £ GF(р8), а7- = , а^1),..., а^-1) ^, а^) £ GF(р), то гп(а) = е^^ , где п = кв+1 и 0 < I < в. Функции гп назовем функциями Радемахера.

Лемма 1. Любой характер х £ X однозначно представим в виде произведения

х = П га™, «п = 0,р -1,

п =

в котором множителей с положительными номерами конечное число.

Доказательство. Так как аддитивная группа F(8)+ есть группа Веленкина, то функции гк5+г (х) =

2пг

= е—Хк)+г, где х = (..., 0, х^-,...,хк, Хк+1,...), хк = (х^+о,хкв+1,... ,хд.в+(в_1)) есть функции Радемахера в F(8)+, и любой характер х, определенный на F(8)+, можно представить в виде произведения

X = Ц , = 0,p - 1, n = ks +1. □

nGZ

Запишем характер x в виде

-,—(0) (1) (s-1)

X = П ■ rak .....rak

кз + 0 ' кз+1 'кз+5-1

кег

и обозначим г^к = г^+о ■ г)^....., где ак = (ак0), а^,... ,ак8-1)) £ ^(р8). Положим по

определению (г^)Ьк = г^кЬк, ак, Ьк £ GF(р8). В этом случае

г»к = (г(1>0>--->0) )ак = г(ак ,ак >--->ак ) = гак гак гак

к = (1 к ) = к = 'кз+0 'кз+1 . . . ' кз + з-1,

Поэтому х можно представить в виде произведения

х = п гак. (6)

кег

Определим возведение характера в степень Ь £ GF(р8) равенством

хЬ = (п гТ )Ь = П гтЬ.

Лемма 2. Справедливо равенство гЦ+v = гЦ г^.

Доказательство. По определению функций Радемахера имеем для х = ^х^

8-1 8-1 8-1 (г^, х) = (гЦ,х)(^, х) = Ц е¥ ик1+1 хкг) ■ Ц епт^ хк0 = Ц е^^ )хк° = (^,х). □

г=0 г=0 г=0

Теорема 2. Множество характеров поля F (8) конечным полем GF(р8) с произведением в качестве внутренней операции и возведением в степень а £ GF(р8) в качестве внешней операции.

Доказательство. 1. Проверим, что хu+v = хиХv, для и, V £ GF(р8). Пусть хи = П г^ки,

Xv = Ц г^кv. По лемме 2

k kGZ

-k

kGZ

u vil aku akvil ak (u+v) u+v

X X =H rfck rfck = Ц rk = X + .

kGZ kGZ

2. Проверим, что Х1Х2 = (XiX2)u• Пусть xU = rafeu, Xu = rfcfeТогда снова по лемме 2

кег

кег

xuxu = П rkk un u = П

кег

кег

= 11 r

кег

(afc+bfc)u _

к

= (XiX2)u

3. Так как единицей в мультипликативной группе поля GF(р8) является элемент 1 = (1,0,..., 0),

то х1 = х(1'°''"'0) = П чк 1 = П чк = X.

кег кег

4. Равенство (хи^ = Xuv выполнено по определению.

Таким образом, все аксиомы внешней операции выполнены. Справедливость аксиом внутренней операции очевидна из леммы 2. □

Из (6) сразу следует, что аннулятор ^к^^ состоит из характеров вида х = г*-!1 г*—2 ... Очевидно также, что

1) последовательность функций Радемахера (гк) образует базис пространства (X, *, ));

2) любая последовательность характеров хк е (^+>1)±также образует базис пространства

(X, *, (р8)).

Теорема 4. Пусть д- = (..., (1,0,..., 0)^, 0^+1,...) £ F, ак, и е GF(р8). Тогда для любых к = 3 (г*к, ид- ) = 1.

Доказательство. Так как ид- = (..., 0^_1, (м(0), м(1),..., м^-1»^, 0^+1,...), то

s-1 s-1

(гкk, ugj ) = П e¥a(°u(1) = П e0 = 1.

□

1=0

1=0

Теоремы 3 и 4 позволяют использовать методы, развитые в работах [8-10], для построения КМА на локальных полях положительной характеристики.

Работа выполнена при финансовой поддержке РФФИ (проект № 13-01-00102).

Библиографический список

1. Taibleson M. H. Fourier Analysis on Local Fields. Princeton : Princeton Univ. Press, 1975.

2. Jiang H., Li D., Jin N. Multiresolution analysis on local fields // J. Math. Anal. Appl. 2004. Vol. 294. P. 523-532.

3. Behera B., Jahan Q. Multiresolution analysis on local fields and characterization of scaling functions // Adv. Pure Appl. Math. 2012. Vol. 3. P. 181-202.

4. Behera B, Jahan Q. Biorthogonal Wavelets on Local Fields of Positive Characteristic // Communications in Math. Anal. 2013. Vol. 15, № 2. P. 52-75.

5. Behera B, Jahan Q. Wavelet packets and wavelet frame packets on local fields of positive characteristic // J. Math. Anal. Appl. 2012. Vol. 395. P. 1-14.

6. Лидл Р., Нидеррайтер Г. Конечные поля : в 2 т. М. : Мир, 1988.

7. Гельфанд И. М., Граев М. И., Пятецкий-Шапиро И. И. Теория представлений и автоморфные функции. М. : Наука, 1966.

8. Lukomskii S. F. Step refinable functions and orthogonal MRA on Vilenkin groups // J. Fourier Anal. Appl. 2014. Vol. 20, № 1. P. 42-65.

9. Lukomskii S. F. Trees in Wavelet analysis on Vilenkin groups. Preprint arxiv.org/abs/1303.5635.

10. Фарков Ю. А. Ортогональные вейвлеты на прямых произведениях циклических групп // Матем. заметки. 2007. Т. 82, № 6. С. 934-952. DOI: 10.4213/mzm4181.

MRA on Local Fields of Positive Characteristic A. M. Vodolasov, S. F. Lukomskii

Saratov State University, 83, Astrakhanskaya str., Saratov, 410012, Russia, vam21 @yandex.ru, [email protected]

We prove that the local field of positive characteristic is a vector space over a finite field. Key words: local fields, finite fields, multiresolution analysis.

This work was supported by the Russian Foundation for Basic Research (project no. 13-01-00102).

References

1. Taibleson M. H. Fourier Analysis on Local Fields. Princeton, Princeton Univ. Press, 1975.

2. Jiang H., Li D., Jin N. Multiresolution analysis on local fields. J. Math. Anal. Appl., 2004, vol. 294, pp. 523-532.

3. Behera B, Jahan Q. Multiresolution analysis on local fields and characterization of scaling functions. Adv. Pure Appl. Math., 2012, vol. 3, pp. 181-202.

4. Behera B., Jahan Q. Biorthogonal Wavelets on Local Fields of Positive Characteristic. Communications in Math. Anal., 2013, vol. 15, no 2, pp. 52-75.

5. Behera B, Jahan Q. Wavelet packets and wavelet frame packets on local fields of positive characteristic. J. Math. Anal. Appl., 2012, vol. 395, pp. 1-14.

6. Lidl R., Niederreiter H. Finite fields. Encyclopedia

Math. Appl., vol. 20, Reading, Mass., Addison-Wesley, 1983.

7. Gelfand I. M., Graev M. I., Piatetski-Shapiro I. I.

Teoriia predstavlenii i avtomorfnye funktsii [Representation Theory and Automorphic Functions]. Moscow, Nauka, 1966 (in Russian).

8. Lukomskii S. F. Step refinable functions and orthogonal MRA on Vilenkin groups. J. Fourier Anal. Appl., 2014, vol. 20, no. 1, pp. 42-65.

9. Lukomskii S. F. Trees in Wavelet analysis on Vilenkin groups. Preprint arxiv.org /abs/1303.5635.

10. Farkov Yu. A. Orthogonal wavelets on direct products of cyclic groups. Math. Notes, 2007, vol. 82, no. 6, pp. 843-859. DOI: 10.1134/S0001434607110296.

УДК 517.518

ТЕОРЕМЫ ВЛОЖЕНИЯ ДЛЯ Р-ИЧНЫХ ПРОСТРАНСТВ ХАРДИ И У МО

С. С. Волосивец

Кандидат физико-математических наук, доцент кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]

В настоящей статье доказаны некоторые теоремы вложения типа П. Л. Ульянова для пространств Гельдера, связанных с метриками Р-ичных пространств Харди, У МО, а также Ь1 и равномерной метрикой на группах Виленкина. Установлена их неулучшаемость. Даны достаточные условия сходимости ряда Фурье по мультипликативной системе в пространстве Харди и в равномерной метрике.

Ключевые слова: Р-ичное пространство Харди, Р-ичное пространство У МО, теоремы вложения, неулучшаемость, равномерная сходимость.

ВВЕДЕНИЕ

Пусть Р = (р^}°=1 — последовательность натуральных чисел, не меньших 2. Обозначим через Ж(рк) дискретную циклическую группу {0,1,...,рк — 1} порядка рк со сложением по модулю рк и определим С = С(Р) как прямое произведение Ж(рк), к £ М, с операцией ф, мерой д и топологией, соответствующими прямому произведению. Элементами С являются последовательности х = (х1, х2,...,хк,...), где хк £ Ж(рк), к £ N. Важную роль при этом играют подгруппы = {х £ С : х1 = х2 = ••• = хп = 0}, п £ М, и смежные классы Сп (у) = у Ф Сп = {х £ С : х1 = у1 ,...,х„ = Уп}, п £ М, у £ С. Если Шп = р1.. .рп при п £ N и ш0 = 1, то мера д(Сп(у)) равна ш-1 (д(С) = 1 = ш-1). Известно, что (у) являются одновременно открытыми и компактными. Аналоги функций Радемахера на группе С задаются формулами гк(х) = ехр(2пгхк/рк). Если

те

п = ^2 ПкШк-1, Пк £ Ж(рк), (1)

к=1

те

есть Р-ичное представление п £ Ж+, то по определению хп(х) = П (х), х £ С (на самом деле

к=1

произведение конечно). Система {хп(х)}те=0, называемая системой характеров группы С, ортонорми-рована на С и полна в X1 (С). Для любых к £ , х, у £ С, верны равенства

Хк(х ф у) = Хк(х)Хк(у), Хк(х © у) = Хк(х)Хк(у), (2)

где © — операция, обратная к ф. Все эти факты можно найти в [1, гл. 1, 3]. Далее считаем, что рп < N, п £ N.