CC BY
5
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 23. Выпуск 3.
УДК 511.3 DOI 10.22405/2226-8383-2022-23-3-102-117
Моноид произведений дзета-функций моноидов натуральных
чисел1
Н. Н. Добровольский, М. Н. Добровольский, Н. М. Добровольский, И. Б. Кожухов,
И. Ю. Реброва
Добровольский Михаил Николаевич — кандидат физико-математических наук, Геофизический центр РАН (г. Москва). e-mail: т. dobrovolsky@gcras.ru
Добровольский Николай Николаевич — кандидат физико-математических наук, доцент, Тульский государственный педагогический университет им. Л. Н. Толстого, Тульский государственный университет (г. Тула). e-mail: cheb@tspu.tula.ru, nikolai.dobrovolsky@gmail.com
Добровольский Николай Михайлович — профессор, доктор физико-математических наук, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: dobrovol@tsput.ru,
Кожухов Игорь Борисович — профессор, доктор физико-математических наук, НИУ «Московский институт электронной техники» (г. Москва). e-mail: kozhuhov_i_b@mail.ru
Реброва Ирина Юрьевна — кандидат физико-математических наук, доцент, Тульский государственный педагогический университет им. Л. Н. Толстого (г. Тула). e-mail: i_rebrova@mail.ru
Аннотация
В работе изучаются алгебраические структуры, возникающие относительно операции умножения двух множеств натуральных чисел. Основными объектами изучения выступают моноид MN моноидов натуральных чисел и моноид SN произведений произвольных подмножеств натурального ряда. Также моноидом будет SN* = SN \ {0}.
Важным свойством этих моноидов является тот факт, что множество всех идемпо-тентов в моноиде SN, кроме нулевого элемента, совпадает с множеством идемпотентов моноида SN* и образует моноид MN.
Наличие такого факта позволило рассмотреть порядок. Относительно порядка А < В и бинарных операций inf, sup моноид MN является не модулярной, полной А-решёткой.
В работе различаются понятия А-решётки как объекта общей алгебры и Т-решётки как объекта теории чисел и геометрии чисел.
В работе определена структура полного метрического пространства с неархимедовой метрикой на моноиде SN. Это позволило доказать теорему о сходимости последовательности рядов Дирихле по сходящимся последовательностям натуральных чисел.
Если рассмотреть произведение двух дзета-функций моноидов натуральных чисел, то оно будет дзета-функцией моноида натуральных чисел только тогда, когда эти моноиды взаимно просты. В общем случае их произведение будет рядом Дирихле с натуральными коэффициентами по моноиду, равному произведению моноидов сомножителей. Этот моноид, порожденный дзета-функциями моноидов натуральных чисел, обозначается через MD. Показано что моноиды MN и MD неизоморфны.
В работе определены две малые категории M.N и SM и изучены некоторые их свойства.
1 Работа подготовлена по грантам РНФ № 22-21-00544 и № 22-11-00052.
Ключевые слова: моноид натуральных чисел, решётка моноидов натуральных чисел, метрическое пространство подмножеств натурального ряда, дзета-функция моноида, ряд Дирихле, малая категория моноидов натуральных чисел.
Библиография: 18 названий. Для цитирования:
М. Н. Добровольский, Н. Н. Добровольский, Н. М. Добровольский, И. Б. Кожухов, И. Ю. Реб-рова. Моноид произведений дзета-функций моноидов натуральных чисел // Чебышевский сборник. 2022. Т. 23, вып. 3, С. 102-117.
СНЕВУЗНЕУБКИ ЗВОИШК Уо1. 23. N0. 3.
UDC 511.3 DOI 10.22405/2226-8383-2022-23-3-102-117
Monoid of products of zeta functions of monoids of natural
numbers2
N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii, I. B. Kozhukhov, I. Yu. Rebrova
Dobrovol'skii Mikhail Nikolaevich — candidate of candidate of physical and mathematical sciences, Geophysical centre of RAS (Moscow). e-mail: m.dobrovolsky@gcras.ru
Dobrovol'skii Nikolai Nikolaevich — candidate of physical and mathematical sciences, associate professor, Tula State Lev Tolstoy Pedagogical University, Tula State University (Tula). e-mail: cheb@tspu.tula.ru, nikolai.dobrovolsky@gmail.com
Dobrovol'skii Nikolai Mihailovich — doctor of physical and mathematical sciences, professor, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: dobrovol@tsput.ru,
Kozhukhov Igor Borisovich — professor, doctor of physical and mathematical sciences, NRU «Moscow Institute of Electronic Technology» (Moscow). e-mail: kozhuhov_i_b@mail.ru
Rebrova Irina Yuryevna — candidate of physical and mathematical sciences, associate professor, Tula State Lev Tolstoy Pedagogical University (Tula). e-mail: i_rebrova@mail.ru
Abstract
The paper studies algebraic structures arising with respect to the multiplication operation of two sets of natural numbers. The main objects of study are the monoid MN of monoids of natural numbers and the monoid SN of products of arbitrary subsets of a natural series. Also, the monoid will be SN* = SN \ {0}.
An important property of these monoids is the fact that the set of all idempotents in the monoid SN except for the zero element coincides with the set of idempotents of the monoid SN* MN
The presence of such a fact allowed us to consider the order. With respect to the order of A < B and binary operations inf, sup the monoid MN is an irregular, complete A-lattice.
The paper distinguishes the concepts of A-lattice as an object of general algebra and T-lattice 3.S ctn object of number theory and geometry of numbers.
2The work was prepared under RSF grants No. 22-21-00544 and No. 22-11-00052.
The paper defines the structure of a complete metric space with a non-Archimedean metric on the monoid SN. This made it possible to prove a theorem on the convergence of a sequence of Dirichlet series over convergent sequences of natural numbers.
If we consider the product of two zeta functions of monoids of natural numbers, then it will be a zeta function of a monoid of natural numbers only when these monoids are mutually simple. In general, their product will be a Dirichlet series with natural coefficients over a monoid equal to the product of the monoids of the cofactors. This monoid generated by the zeta functions of the monoids of natural numbers is denoted by MB. It is shown that the monoids MN and MD are non-isomorphic.
The paper defines two small categories MN and SN and studies some of their properties.
Keywords: a monoid of natural numbers, a lattice by a monoid of natural numbers, a metric space of subsets of a natural series, a zeta function of a monoid, a Dirichlet series, a small category of monoids of natural numbers.
Bibliography: 18 titles. For citation:
M. N. Dobrovol'skii, N. N. Dobrovol'skii, N. M. Dobrovol'skii, I. B. Koguhov, I. Yu. Rebrova, 2022, "Monoid of products of zeta functions of monoids of natural numbers" , Chebyshevskii sbornik, vol. 23, no. 3, pp. 102-117.
1. Введение
В работах [3] - [14] был заложен фундамент теории дзета-функции моноидов натуральных чисел. Нетрудно понять, что множество всех моноидов натуральных чисел образует мультипликативный моноид, мощность которого континуум. Этот мультипликативный моноид будем обозначать через MN.
Очевидно, что этот моноид является подмоноидом моноида SN — моноида произведений произвольных подмножеств натурального ряда.
Одним из наиболее важных примеров моноидов натуральных чисел является моноид значений норм точек решётки, повторяющейся умножением. Как следует из монографии Б. Н. Делоне и Д. К. Фаддеева [2], наиболее интересный пример получается при рассмотрении решётки, для которой координаты точек являются наборами сопряжённых целых алгебраических чисел чистовещественного алгебраического поля степени размерности решётки.
Так как термин решётка в нашей работе встречается в двух смыслах, то мы будем различать А-решётки как объекты общей алгебры и Т-решётки как объекты теории чисел и геометрии чисел. Таким образом, все решётки из предыдущего абзаца в данной работе будут называться Т-решётками, а решётки моноидов натуральных чисел будут называться А-решётками.
Будем говорить, что два множества натуральных чисел А и В взаимно просты, если для любых а £ А и b £ В выполнено (a,b) = 1. В этом случае будем писать (А, В) = 1. Ясно, что если (А, В) = 1, то либо А Р| В = 0, либо А Р| В = {1} Если А и В взаимно простые моноиды, то Af)B = {1}.
Для любого множества А натуральных чисел дзета-функция ((Ala) определяется равенством
Если множество А конечное, то равенство (1) задает дзета-функцию ((Ala) на всей комплексной а-плоскости. Если множество А бесконечное, то равенство (1) задает дзета-функцию ((Ala) только п ри а > од, при этом обязательно в точке а = а а будет полюс первого порядка и 0 ^ а а ^ 1, так как это следует из свойств дзета-ряда для дзета-функции ( (а) (см. [16],
(1)
[17]). Отметим, что при а > па ряд абсолютно сходится, а при а ^ сто для любо го сто > а а ряд равномерно сходится.
Если рассмотреть произведение двух дзета-функций моноидов натуральных чисел, то оно будет дзета-функцией моноида натуральных чисел только тогда, когда эти моноиды взаимно просты. В общем случае их произведение будет рядом Дирихле с натуральными коэффициентами по моноиду, равному произведению моноидов сомножителей. Будем этот моноид, порожденный дзета-функциями моноидов натуральных чисел, обозначать через МЮ.
Как будет показано ниже, моноиды ММ и МЮ неизоморфны.
Аналогично, произведение двух дзета-функций двух множеств натуральных чисел будет дзета-функцией множества натуральных чисел только тогда, когда эти множества взаимно просты. В общем случае их произведение будет рядом Дирихле с натуральными коэффициентами по множеству натуральных чисел, равному произведению множеств сомножителей. Будем этот моноид, порожденный дзета-функциями множеств натуральных чисел, обозначать через 8Ю.
Цель настоящей работы — заложить основы теории моноидов ММ МЮ и 8Ю и рассмотреть категории, соответствующие этим моноидам.
2. Основные свойства моноида моноидов натуральных чисел
Как известно, подмножество М натурального ряда N является мультипликативным моноидом, если 1 £ М и множество М замкнуто относительного операции обычного умножения: а ■ Ь £ М для любых а,Ь £ М.
Все моноиды М натурального ряда являются бесконечными счётными множествами, кроме одного I = {1}.
Множество ММ всех моноидов натуральных чисел, очевидно, является подмножеством множества всех подмножеств натурального ряда.
Определение 1. Для любых двух подмножеств А и В натурального ряда, их произведением называется множество С, заданное равенством С = А ■ В = {а ■ Ь\а £ А, Ь £ В}.
Ясно, что и множество ММ и множество относительно операции умножения множеств являются коммутативными, мультипликативными моноидами, в которых общий единичный элемент I.
Оба эти моноида имеют нулевой элемент, то есть такой элемент О, что для любого А имеем А ■ О = О. Но в этих моноида нулевые элементы различные. Для моноида ММ нулевой элемент О = N а для моноида нулевой элемент О = 0. Заметим, что для подмоноида §М* = \ {0} нулевой элемент отсутствует, так как если множество А не содержит 1, то А ■ N = N.
Определение 2. Два подмножества А и В натурального ряда, отличные от, нулевого элемента, называются делит,елям,и нуля, если их произведение А ■ В = О.
Теорема 1. В моноиде нет делит,елей нуля.
В моноиде ММ делит,елям,и нуля, являются только те моноиды, которые содержат, хотя бы одно простое число.
Доказательство. Первое утверждение теоремы очевидно, так как произведение двух непустых множеств снова непусто.
Пусть моноид А не содержит ни одного простого числа, тогда А ■ В = М, если моноид В содержит все простые числа. А значит, В = М
Если P — множество всех простых чисел и А = N ^ П P = Pi = 0) т0 минимальный моноид
порожденный множеством простых Р2 = P \ Р\, будет удовлетворять равенству А ■ В = N, и моноиды А и В являются делителями нуля. □
Опишем все идемпотенты моноида SN.
Лемма 1. Если для, непустого множества А выполнено равенство А ■ А = А, то А является моноидом.
Доказательство. Действительно, пусть т наименьший элемент в множестве А, тогда т2 будет наименьшим элементом в А ■ А. Поэтому, если А идемпотент, тот = т2. Следовательно т = 1и А С А ■ А. Но А ■ А = А, следовательно А замкнуто относительно умножения, а это означает что А является моноидом. □
Теорема 2. Множество всех идемпотентов в моноиде SN кром,е нулевого элемента, совпадает с множеством идемпотентов моноида SN* и образует, моноид MN.
доказате □
Определение 3. Для произвольного непустого множества А назовём его сопряженным, множеством А* максимальное множество натуральных чисел b таких, что b ■ А С А.
Из определения непосредственно следует, что для любого множества А его сопряженное множество А* является моноидом. Отсюда следует, что А ■ А* = А.
3. А-решётка моноидов натуральных чисел
Из результатов предыдущего раздела вытекает, что моноид MN — коммутативная полугруппа идемпотентов. Как известно, для множества идемпотентов полугруппы или ассоциативного кольца определяется естественный порядок: е ^ f ^^ ef = fe = е.
В случае моноида MN — моноида моноидов натуральных чисел имеем: А ^ В ^^ А 5 В.
Определим на MN две бинарные операции
А Л В = inf{А, В} = А ■ В, А V В = sup{A,£} = А р| В.
Нетрудно видеть, что так как А и В — моноиды, то А ■ В 5 A (J В.
Теорема 3. Относительно порядка, А ^ В и бинарных операций inf sup моноид MN является не модулярной, полной А-решёткой.
Доказательство. Прежде всего, заметим, что так как 1 е тоА В 5
следовательно, inf {А, В} = А ■ В ^ А, В. Аналогично, и меем sup{A, В} = А[]В с А, В и, следовательно, sup{ Д В} ^ А, В. Очевидно, что inf {А, А} = А^А = Д sup{ Д А} = А Р| А = А. Таким образом, каждый моноид А е MN является идемпотентом относительно каждой из inf sup MN
sup{Ai|i е I} = р|Ai, inf{Aili е I} = {а^ ■... ■ aik^ 0,aij е Aij(j = 1,...,k)}. iei
MN
Покажем теперь, что решётка не модулярна. Будем пользоваться следующим определением модулярной решётки (см. [1], гл. 2, §1, теорема 2):
решётка Ь модулярна, если
Ух, у, г Е Ь х ^ у, х Л г = у Л х,х V г = у V г ^ х = у. (2)
Пусть р и ц — два различных простых числа. Зададим моноиды X, У и 2 равенствами: X = {рУ |г ^ 3 > 0}, У = {р^ ^ 0}, г = №11 ^ 0}.
Нетрудно видеть, что X ^ У,
х л я = х ■ я = {piqj 1%,з ^ 0} = у л г, х V г = х п г = {1} = у V г,
но X = У , и, значит, (2) не выполняется и А-решётка ММ не является модулярной решёткой. Тот факт, что А-решётка ММ не модулярна, влечёт, что эта решётка не дистрибутивна. □ Пусть Р — произвольное подмножество множества простых чисел Р и М(Р) — минимальный моноид, порожденный множеством простых чисел Р. При этом считаем, что М(0) = {1}. Нетрудно видеть, что М(Р) состоит в точности из таких натуральных чисел, разложение на простые множители которых содержит лишь числа из Р. Очевидно, что М(Р) — моноид с однозначным разложением на простые множители. Обозначим через ММ(Р) множество всех таких моноидов. Ясно, что Р С Р' М(Р) С М(Р').
Лемма 2. Для произвольных моноидов М(Рг) и М(Р2) из ММ(Р) справедливо равенство
М(Рг) ■ М(Р2) = М(Рг \ Р2) ■ М(Р2 \ Рг) ■ М(Рг п Р2) = М(Р3), Р3 = Рг у Ръ-
Доказательство. Рассмотрим три множества простых чисел Р4 = Рг \ Р2, Р5 = Р2 \ Рг, Ре = Рг П Р2. Очеводно, что они попарно не пересекаются: Ри П Р^ = 0 (4 ^ V < у ^ 6). Так как Рг = Р4{] Р6, Р2 = Р5 и Ре, Рз = Р-{] Л, II ре, то м(рг) = м(р-4) ■ М(Р6), М(Р2) = М(Р5) ■ М(Ре), М(Рг) ■ М(Р2) = М(Р-) ■ М(Р5) ■ М(Ре) = М(Р3). □
Теорема 4. Относительно порядка, А ^ В и бинарных операций т^ вир моноид ММ(Р) является дистрибутивной, модулярной, полной А-решёткой.
Доказательство. Так как Ш{М(Рг),М(Р2)} = М(Рг) ■ М(Р2) = М(Рг иР2) Е ММ(Р), вир{М(Рг),М(Р2)} = М(Рг)П М(Р2) = М(РгП Р2) Е ММ(Р), то ММ(Р) замкнуто относительно операций И и вир. Следовательно, ММ(Р) — подрешётка решётки ММ. Заметим, что
вир{М(Р)! Е I} = М ^Р^ , И{М(Р)1 Е I} = М ^у Р^ .
Таким образом, моноид ММ(Р) является полной А-решёткой. Далее имеем:
М(Рг) ■ М(Р) р| М(Р2) ■ М(Р) = м(Рг У ^ П М {Р2 ^ = ^ (Рг и Р) П (Р2 и ^ ) -Так как (Рг и Р) П (Р2 и Р) = (Рг П Р2) и Р, то
М Црг У ^) П {Р2 У ^)) = М Црг П Р2) У ^) = М Црг П ^2)) ■ М(Р) =
'м(Рг) П М(Р2)) ■ М(Р).
Таким образом, М(Рг) ■ М(Р) П М(Р2) ■ М(Р) = (М(Рг)П м(Р2)) ■ М(Р), и, следовательно,
ММ(Р) — дистрибутивная решётка. Так как любая дистрибутивная решётка является моду-
□
Замечание 1. Рассмотрим отображение Р -—> М(Р), 2Р —^ ММ(Р). Из предыдущего следует, что это отображение является изоморфизмом решётки 2Р всех подмножеств множества Р и решётки ММ(Р). От,сюда, получаем, другое доказательство теоремы 4 и она, становится очевидной.
4. Метрическое пространство подмножеств натурального ряда
Рассмотрим два различных множества А и В натуральных чисел, тогда их симметрическая разность ААВ = 0 и существует наименьшее натуральное число т(А, В) в этой симметрической разности.
Лемма 3. Справедливо равенство
[1, ш(А, В) — 1] р| А = [1, ш(А, В) - 1] р| В.
Доказательство. Если т(А,В) = 1, то отрезок [1,0] — пустой и утверждение леммы выполнено.
Пусть теперь т(А, В) > 1, тогда возможны два случая.
Либо [1,т(А, В) — 1] Р| А = 0, но тогда и [1,т(А, В) — 1] Р| В = 0, так как в противном случае найдётся натуральное п такое, что п < т(А, В) ж п £ ААВ.
Либо [1, т(А, В) — 1] Р| А = 0, то тогда и [1, т(А, В) — 1] Р| В = [1, т(А, В) — 1] Р| А, так как [1, т(А, В) — 1] Р| ААВ = 0 и каждое натуральное чпела из [1, т(А, В) — 1] либо принадлежит пересечению А Р| Л, либо не принадлежит их объединению А[]В. □
Определение 4. Расстояние р(А, В) между двумя подмножествами А и В натурального ряда, задается равенством
0, если А = В,
Г 0, если А = В,
Р(А,В } = 1 йЬ), = В.
Теорема 5. Функция р(А, В) задает, неархимедову метрику на пространстве §М
Доказательство. Для доказательства утверждения теоремы достаточно показать, что для любых трёх подмножеств А, Л, С натурального ряда справедливо неравенство
р(А, В) < шах(р(А, С),р(С, В)).
Пусть т,\ = т(А,В), Ш2 = т(А,С), т33 = т(С,В) и предположим противное, что т1 < шт(т2, т3).
Тогда в силу леммы 3 получим [1,т^ Р| А = [1,т^ Р| С, [1,т^ Р| В = [1,т^ Р| С. Следовательно, т,\ £ А, В, С, что противоречит определению величины т^ □
Теорема 6. Относительно метрики р(А, В) прост,ранетво полное.
Доказательство. Для доказательства теоремы необходимо показать, что для любой последовательности Коши Аь А2,.. ■ ,Ап,- ■ ■ подмножеств натурального ряда существует подмно-А
Иш р(Ап, А) = 0.
По определению фундаментальной последовательности (последовательности Коши) для любого натурального п найдется номер N = N(п) такой, что для любых множеств Ат и А^ с т,к ^ N(п) выполняется неравенство р(Ат, А^) < га. Отсюда и из леммы 3 следует, что
[1,n]f| Ак = [1,п] Р) An(га), к > N (п).
Положим Вп = [1,n]f] А^(п)• Ясно, что мы получаем бесконечную последовательность вложенных подмножеств натурального ряда:
Bi С В2 С ... С Вп С ...
Возможны два случая. Либо Вп = 0 для любого натурального п, либо А = (J^ 1 Вп = 0. В первом случае имеем А = 0 и
lim р(Ап, 0) = 0.
Во втором случае последовательность Коши сходится к множеству А = (J^ i Вп. □
Теорема 7. Для любого натурального а > 1 растяжение моноида SN в а раз, заданное равенством,
а • SN = {а • BIB £ SN}, является сжатием метрического пространства SN.
Доказательство. Действительно, для любых подмножеств В, С С N имеем, если а • b = а • си&£ В, с £ С, то в силу однозначности разложения на простые множители имеем: b = с £ В Р| С. Отсюда следует, что а • (В Д С) = (а • В) Д (а • С). Это влечёт равенства т(а • В, а • С) = а • т(В, С)и р(а • В, а • С) = □
Для любого непустого множества А натуральных чисел через т(А) обозначим его наименьшее число.
Лемма 4. Для любых трёх непустых множеств натуральных чисел А, В, С справедливо нера венет во т(А • С, В • С) ^ т(С) • т(А, В).
Доказательство. Предположим противное, что т(А • С, В • С) < т(С) • т(А, В). Тогда наименьший элемент т(А • С, В • С) = п • с, вде с £ С и с ^ т(С), а п £ АДВ и п < т(А, В). Но это противоречит определению величины т(А, В). □
Теорема 8. Для любого непустого множества С натуральных чисел отображение метрического пространства SN в себя, заданное равенством '■ SN ^ С •SN является коротким, отображением метрического пространства.
Доказательство. Действительно, согласно леммы 4 справедливо неравенство
р(А • С,В • С) < < р(А,В).
т(С)
□
Рассмотрим произвольную функцию f (п), заданную на натуральном ряде N, и ряд Дирихле ((f la), заданный равенством
С(f la) = ^, (а = а + it, a>af),
п= 1
где абсцисса абсолютной сходимости.
Замечание 2. Заметим, что не для любой функции f (п) соот,вет,ст,вующий ряд Дирихле сходит,ся. Например, если f (п) = п\, то область абсолютной сходим,ост,и будет пустой, так как эта функция растёт быстрее любой степени п.
Очевидно, что для любого множества А натуральных чисел существует ряд Дирихле ((А, /|а), заданный равенством
((А, Ла) = £ ^, (а = а + гt, а > aAJ), i—/
neA
где oaj — абсцисса абсолютной сходимости и oaj ^
Теорема 9. Если справедливо равенство для множеств натуральных чисел
lim р(Ап,А) = 0,
п^-те
то для последовательности рядов Дирихле имеет место предельное соотношение
lim |С(Ап, Па) - С(А, /|а)| =0
п^-те
в некоторой полуплоскости.
Доказательство. Действительно, справедливо равенств
С(Ап, f |а) - С(А,/|а) = СА\А, Да) - ((А\Ап, f |а).
Отсюда следует, что
|((Ап./|а) - «А.Ла)|< £ ^ < t ^ ■
пеАпАА п=т(А„,А)
Так как при а > аf справедливо предельное соотношение
lim ± Ш = 0,
N^те Па
п=М
то утверждение теоремы справедливо в полуплоскости а > а f. □
5. Основные свойства моноида произведений дзета-функций моноидов натуральных чисел
Каждому моноиду М натуральных чисел поставим в соответствие дзета-функцию ((М|а), заданную равенством
(( М|а)= ^ ^ (а = а + it, а > ам), (3)
хем
где ам — абсцисса абсолютной сходимости дзета-ряда. Если М отлично от единственного конечного моноида Мо = {1}, то 0 ^ ам ^ 1-
Только для Мо справедливо тождество £(Мо|а) = 1. Отсюда следует, что для любого моноида М = М0 справедливо неравенство ((М|а) ■ ((М|а) = ((М|а). Таким образом, дзета-функция ("(М|а) не является идемпотентом относительно умножения, и, следовательно, моноиды MN и MD неизоморфны.
Остановимся более подробно на структуре моноида MD — моноида произведений дзета-функций моноидов натуральных чисел.
Обозначим через тм1,м2(п) количество решений уравнения х ■у = п в натуральных числах х £ М\, у £ для натурального числа п £ М\ ■ М2- Ясно, что
Tmi,m2 (п) = Y1 г= Y1
meMi ,m\n,^ еМ2 m£M2,m\n,^ eMi
Пусть задана целочисленная функция J'm(п), заданная на моноиде М. Через ((М, fм|а) будем обозначать ряд Дирихле
г / \
((М,/м N = £ , (а = 0 + Ü, a>°MJM),
пем
где Omjm ~ абсцисса абсолютной сходимости. Лемма 5. Справедливо равенство
((М1 |а) ■ ((М21а) = ((М1 ■М2, Tmi,m* N-Доказательство. Действительно,
« що)-аМ21а)= (Е ^)(Е -) = Е ^ Е ^
\neMi ) \meM2 ) neMi-M2 meMi,m\n, ^еМ2
= £ ^^ = ((Мг ■М* тМъМ21а).
—' п"
neMi-M2
□
В работе [13] изучались алгебры рядов Дирихле моноида натуральных чисел. Здесь мы пойдём другим путём, следуя подходу, описанному в монографиях [15], [18].
Рассмотрим кольцо Дирихле KD всех арифметических функций f(п) : N —> C с операциями поточечного сложения ( f + д)(п) = f(п) + д(п) и операцией свёртка Дирихле:
(f * 9)(п) = J2f(m)9 ( —) •
т\п
Прежде всего, заметим, что любую арифметическую функцию J'm(п) : M —> C на моноиде М
по формуле
f(n) = { (п) ПРИ п £ М, J( ) \ 0 при п £ N \М•
Обозначим через J'mi,m2 (п) свертку Дирихле двух функций J'mi (п) и J'm2 (п): fMi,M2(п) = (fMi * fM2)(п) = £/mi(т)fM2^—) •
т\п
Лемма 6. Справедливо равенство J'mi,m2(п) = J'mi-m2(п), где
fMi-M2(п)= Е fMi(т) fM2 (к) •
meMi,keM2,m-k=n
Доказательство. Действительно, если т|п и т ^ М1 или к = — ^ М2, то J'mi (т) ¡м2 (к) = 0, что и доказывает утверждение леммы. □
М
реть подкольцо Дирихле RD( М), состоящее из всех арифметических функций на моноиде М: ¡м(п) : M C.
Нетрудно видеть, что кольцо RD(M) является коммутативным кольцом с единицей: е(1) = 1, е(п) = 0 при п > 1. Отметим, что единица кольца не зависит от моноида М.
Каждой арифметической функции ¡м(п) из тольца RD(M) можно поставить в соответствии формальный ряд Дирихле ((М, ¡м|а).
Теорема 10. Если формальные ряды Дирихле для а = а + it
С(М, ¡м|а)= £ , (a>aMjM), ((М, дм|а) = £ д-МП, (а > ам,ш)
пем пем
имеют не пустые области абсолютной сходим,ост,и, то и их произведение имеет непустую область абсолютной сходим,ост,и,
¡ * (п)
С(М, ¡м|а) ■ ((М, дм= ((М, ¡м * дм|а) = ^ ——M-, (а > шах(ам,/м,ам,9м)).
пем
Доказательство. В силу абсолютной сходимости имеем:
«М. ¡мШМ №|а) = £ = NSL ( £ + ^(М- N^) .
п,тем \пем /
где
Пусть
тогда
Так как
N2 i
К(М,М|а)= ^ — £ ¡м(п) ■ дм(т).
keM,k>N п,теМ,к=п-т
R-i^N |а)= £ ^¡М-Ш, К2(М,М |а)= £ ,
пеM,п>N пеM,п>N
^(М, N|а)| < С(М, |¡m||а)R2(M, N|а) + ((М, |<7m||a)Ri(М, N|а).
lim R^М^|а) = lim R2(М^|а) = 0 N N
при а > шах(ам,,ам,дм) Т0 утверждение теоремы доказано. □
Тем самым определено кольцо МВ*(М) рядов Дирихле на моноиде М, состоящее из рядов Дирихле с непустой областью абсолютной сходимости. При этом справедливо равенство ((М, /м|а) ■ С(М, дм|а) = ((М, ¡м * дм|а). Последнее равенство можно обобщить на произведение рядов Дирехле на разных моноидах:
С(МЬ fм |а) ■ С( М2, дм2 |а) = ((Мг ■ М2, * дм2 К Очевидно, что для этого случая справедлива обобщённая теорема 10 и
ам1-м2,/М1 *дм2 = шах(амъ/М1, ам2,дм2).
М
Хм(п) = |
1 ири п £ М, 0 при п ^ М.
Нетрудно видеть, что ((М|а) = ((М,хм|а). Можно рассмотреть бесконечную функциональную геометрическую прогрессию 1, С(М 1а), (2(М 1а), ..., (п(М 1а),..., которая, очевидно, является мультипликативным моноидом Оо(М). Из теоремы 10 следует, что все члены этой последовательности, начиная со второго, имеют одну и туже область абсолютной сходимости а > ом-
Рекуррентно определим степенную свертку Дирихле:
/ * = / * /', /*2 = /* * /,-■-, /*(п+1) = /*п * /,■■■
Из предыдущего следует, что (п(М|а) = С(М,Х*м|а). Если через тм,к(п) обозначим количество решений уравнения х\ ■ ■ ■ ■ ■ ■ Хк = п в натуральных числах х\,... ,Хк € М для натурального числа п € М, то тм,к(п) = Хм(п)-
Для описания структуры моноида МВ введём обобщенную функцию числа делителей Т(п) следующим образом:
Т- - (п) = (тМ1 м * ■ ■■ * тм1,к1 )(п)■
М, к
Т-- -- ( п)
М,к
уравнения:
П П = п
и=1рV=1
где € М„ = !,■■■, , V = !,■■■, I) и п € Мг ■ ■ ■■ ■ Мг. Теорема 11. Справедливо равенство
МВ = {1} 11{ ((Т--(п)1а)1М„ = 1,...,к„, и = 1,..., I)},
при этом каждый ряд Дирихле из этого моноида кром,е одного имеет абсциссу абсолютной сходим,ост,и не превосходящую единицы, и, не меньшую нуля.
Доказательство. Действительно, имеется единственный конечный моноид Мо = {1} и ему соответствует единственная дзета-функция ((Мо|а) = 1, которая определена на всей комплексной плоскости. Для неё абсцисса абсолютной сходимости ам0 =
Теперь рассмотрим произвольный бесконечный моноид М € ММ. Для дзета-функции этого моноида ((М|а) = ((М,хм|а) имеем 0 ^ ам ^ 1- Поэтому и для любого ряда Дирихле из мультипликативного моноида Оо(М) будет та же самая область абсолютной сходимости а > ам-
Для моноида И(М) всех рядов Дирихле, порождённых дзета-функциями моноидов натуральных чисел таких, что М = М\ ■ М2, мы получаем очевидное равенство
0(М)= У Б(М{) ■0(М2).
м1-м2=м
При этом, аналогично предыдущему, мы имеем для всех рядов Дирихле, отличных от единицы, одну и ту же область абсолютной сходимости а > ам-
Так как ВМ ^ и^ММ^(М), то теорема полностью доказана. □
6. Малая категория моноидов натуральных чисел
Определим две малых категории ММ и ¿М следующим образом.
• Класс объектов является континуальным множеством: ОЬ^Я = ММ, ОЬ^^ =
• Для каждой пары объектов А и В из категории К 3 задан морфизм @ : А ^ В, если
3 Здесь и далее либо К, = ММ, либо К, = БМ.
есть объект С € О Ь^ такой, что А -С = В. Будем такой морфизм обозначать через /а,с-Таким образом, Иош^(А, В) = {/А,С |Б = А -С, С € О Ък.}-
• Для каждого объекта А € ОЬ¡с задан тождественный морфизм
16 а = За,{1} €Иошк(А, А).
• Для пары морфизмов /а,о € Иош^(А, В) и /в,с € Иош^(В, С) определена композиция Зв,с о Зад = Рад-с € Иош^(А, С).
Нетрудно проверить, что выполнены две аксиомы:
• Операция композиции ассоциативна: /с,р о (Зв,с о Рад) = (Рс,р о Зв,с) о Рад-
• Тождественный морфизм действует тривиально: /а,р о 16а = о /а,р = За,р для любого /а,р € Иош^(А, В).
Действительно,
Зс,Р о (/Зв,С о /ад) = Зс,Р о За,СО = За,Р-СО, (Зс,Р о Зв,с) о Зад = Зв,Р-С о Зад = За,Р-С-О,
и, следовательно, аксиома ассоциативности выполнена. Аналогично, имеем:
За,р о 16а = За,р о За,{1} = За,р, 16в о За,р = Зв,{1} о За,р = За,р ,
то есть тождественный морфизм действует тривиально.
Так как из Зв,с о Рад = За,с-о = 16а следует, что С-И = {1}, что влечёт С = И = {1}. Отсюда вытекает, что все изоморфизмы в категории К являются тождественными морфизмами и любой объект этой категории изоморфен только самому себе.
При рассмотрении понятия эндоморфизмов случаи категорий ММ и необходимо различать.
Лемма 7. Для категории ММ для любого моноида М € ММ его моноид эндоморфизмов ( М) = Иош^^(М, М) удовлетворяет равенству
Епйм^(М) = {/Зм, .а| а С М, А € ММ}.
Доказательство. Действительно, морфизм Зм,А € Епа^^(М) тогда, и только тогда, когда моноид А удовлетворяет равенству М - А = М. Но это возможно только при условии А С М □
Из доказанной леммы следует, что для любого объекта М € О&мм имеется единственный автоморфизм /м,{1} и Аи^^(М) = {Зм,{1}}-
Рассмотрим множество 8М* = 8М\ ({0} У ММ). Для любого множества натуральных чисел А € 8М* из равенства А В = А следует, что 1 € В. Если А — конечное множество, то отсюда следует, что В = {1}.
Лемма 8. Для категории БЫ для любого множества А € 8М* его моноид эндоморфизмов Еп^(А) = Иош5^(А, А) удовлетворяет равенству
Еп^(А) = {/А,в|В С А*, 1 € В}.
Доказательство. Действительно, морфизм За,в € Епа^^(А) тогда и только тогда, когда множество В удовлетворяет равенству В - А = А. Но это возможно только при условии В С А* 1 € В □
7. Заключение
В работе заложены основы алгебраической теории дзета-функций моноидов натуральных чисел. Возникают естественные вопросы, как те или иные общие алгебраические и функциональные конструкции реализуются в конкретной структуре множества дзета-функций моноида натуральных чисел. Решение этих вопросов предполагается осуществить в последующих работах.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Гретцер Г. Общая теория решёток. — \!.. Мир, 1982, 456 с.
2. Делоне Б. Н., Фаддеев Д. К. Теория иррациональностей третьей степени // Научн. тр. / Мат. ин-т им. В. А. Стеклова. 1940. Т.П.
3. Н. Н. Добровольский. Дзета-функция моноидов натуральных чисел с однозначным разложением на простые множители // Чебышевский сб. 2017. Т. 18, вып. 4. С. 187-207.
4. Н. Н. Добровольский. О моноидах натуральных чисел с однозначным разложением на простые элементы // Чебышевский сб. 2018. Т. 19, вып. 1. С. 79-105.
5. Добровольский Н. Н., Добровольский М. Н., Добровольский Н. \!.. Балаба И. Н., Реб-рова И. Ю. Гипотеза о "заградительном ряде" для дзета-функций моноидов с экспоненциальной последовательностью простых // Чебышевский сб. 2018. — Т. 19, вып. 1. — С. 106-123.
6. Добровольский Н. Н. Дзета-функция моноидов с заданной абсциссой абсолютной сходимости // Чебышевский сб. 2018. — Т. 19, вып. 2. — С. 142-150.
7. Добровольский Н. Н., Калинина А. О., Добровольский М. Н., Добровольский Н. М. О количестве простых элементов в некоторых моноидах натуральных чисел // Чебышевский сборник. 2018. - Т. 19, вып. 2. - С. 123-141.
8. Добровольский Н. Н., Калинина А. О., Добровольский М. Н., Добровольский Н. М. О моноиде квадратичных вычетов // Чебышевский сборник. 2018. — Т. 19, вып. 3. — С. 95-108.
9. Добровольский Н. Н. О двух асимптотических формулах в теории гиперболической дзета-функции решёток // Чебышевский сб. 2018. Т. 19, вып. 3. С. 109-134.
10. И. Ю. Реброва, В. Н. Чубариков, Н. Н. Добровольский, М. Н. Добровольский, Н. М. Добровольский. О классических теоретико-числовых сетках // Чебышевский сборник. 2018. Т. 19, вып. 4, С. 118-176.
11. Н. Н. Добровольский. Одна модельная дзета-функция моноида натуральных чисел // Чебышевский сборник. 2019. Т. 20, вып. 1, С. 148-163.
12. Н. Н. Добровольский, Н. М. Добровольский, И. Ю. Реброва, А. В. Родионов. Моноиды натуральных чисел в теоретико-числовом методе в приближенном анализе // Чебышевский сборник. 2019. Т. 20, вып. 1. С. 164-179.
13. Н. Н. Добровольский, М. Н. Добровольский, Н. М. Добровольский, И. Н. Балаба, И. Ю. Реброва. Алгебра рядов Дирихле моноида натуральных чисел // Чебышевский сборник. 2019. Т. 20, вып. 1, С. 180-196.
14. Н. Н. Добровольский, М. Н. Добровольский, Н. М. Добровольский. Об одном обобщенном эйлеровом произведении, задающем мероморфную функцию на всей комплексной плоскости // Чебышевский сборник. 2019. Т. 20, вып. 2, С. 156-168.
15. Иванец X., Ковальский Э. Аналитическая теория чисел. — М.: МЦНМО, 2014. — 712 с.
16. Е. К. Титчмарш Теория дзета-функции Римана. — М.: И-Л, 1952. — 407 с.
17. Чандрасекхаран К. Введение в аналитическую теорию чисел. — М.: Мир, 1974. 188 с.
18. Chan Heng Huat. Analytic Number Theory for Undergraduates (англ.). — World Scientific Publishing Company, 2009. - ISBN 981-4271-36-5.
REFERENCES
1. Gratzer G., 1998, "General lattice theory" , 2nd ed., Birkhauser, 663 pp.
2. Delone B.N., Faddeev D.K., 1940, "Theory of Irrationalities of the Third Degree", trudv matematicheskogo instituta imeni Steklova V.A., vol. 11., pp. 3-340.
3. Dobrovolskv N. N., 2017, "The zeta-function is the monoid of natural numbers with unique factorization" , Chebyshevskii Sbornik, vol. 18, № 4 pp. 188-208.
4. N. N. Dobrovol'skii, 2018, "On monoids of natural numbers with unique factorization into prime elements" , Chebyshevskii sbornik, vol. 19, no. 1, pp. 79-105.
5. N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii, I. N. Balaba, I. Yu. Rebrova, 2018, "About «zagrobelna the series» for the zeta function of monoids with exponential sequence of simple" , Chebyshevskii sbornik, vol. 19, no. 1, pp. 106-123.
6. N. N. Dobrovol'skii, 2018, "The zeta function of monoids with a given abscissa of absolute convergence" , Chebyshevskii sbornik, vol. 19, no. 2, pp. 142-150.
7. N. N. Dobrovol'skii, A. O. Kalinina, M. N. Dobrovol'skii, N. M. Dobrovol'skii, 2018, "On the number of prime elements in certain monoids of natural numbers" , Chebyshevskii sbornik, vol. 19, no. 2, pp. 123-141.
8. N. N. Dobrovol'skii, A. O. Kalinina, M. N. Dobrovol'skii, N. M. Dobrovol'skii 2018, "On the monoid of quadratic residues" , Chebyshevskii sbornik, vol. 19, no. 3, pp. 95-108.
9. N. N. Dobrovol'skii, 2018, "On two asymptotic formulas in the theory of hyperbolic Zeta function of lattices" , Chebyshevskii sbornik, vol. 19, no. 3, pp. 109-134.
10. I. Yu. Rebrova, V. N. Chubarikov, N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii,
2018, "On classical number-theoretic nets" , Chebyshevskii sbornik, vol. 19, no. 4, pp. 118-176.
11. N. N. Dobrovol'skii, 2019, "One model Zeta function of the monoid of natural numbers" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 148-163.
12. N. N. Dobrovol'skii, N. M. Dobrovol'skii, I. Yu. Rebrova, A. V. Rodionov, 2019, "Monoids of natural numbers in the numerical-theoretical method in the approximate analysis" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 164-179.
13. N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii, I. N. Balaba, I. Yu. Rebrova,
2019, "Dirichlet series algebra of a monoid of natural numbers" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 180-196.
14. N. N. Dobrovol'skii, М. N. Dobrovol'skii, N. М. Dobrovol'skii, 2019, "On a generalized Eulerian product defining a meromorphic function on the whole complex plane" , Chebyshevskii sbornik, vol. 20, no. 2, pp. 156-168.
15. Ivanets H., Kovalskv E., 2014, "Analytical number theory" . — Moscow: IC'NMO, — 712 p.
16. Titchmarsh E. K., 1952, "Teorija dzeta-funkcii Rimana" , Izd-vo I-L, Moskva, 407 p.
17. Chandrasekharan K., 1974, "Vvedenie v analiticheskuju teoriju chisel" , Izd-vo Mir, Moskva, 188 p.
18. Chan Heng Huat, 2009, "Analytic Number Theory for Undergraduates" — World Scientific Publishing Company - ISBN 981-4271-36-5.
Получено 18.07.2022 Принято в печать 14.09.2022
