close

Вход

Забыли?

вход по аккаунту

?

Nullstellensatz для моноида натуральных чисел.

код для вставкиСкачать
МАТЕМАТИКА
Вестн. Ом. ун-та. 2011. № 2. С. 49–55.
УДК 512.53
А.Н. Шевляков
Омский филиал Института математики им. С.Л. Соболева СО РАН
NULLSTELLENSATZ
ДЛЯ МОНОИДА НАТУРАЛЬНЫХ ЧИСЕЛ
Приведены два алгоритма, работающих с системами уравнений над моноидом натуральных чисел N. Первый алгоритм находит разложение произвольного алгебраического множества над N в объединение неприводимых компонент. Второй алгоритм вычисляет радикал системы S над N.
Ключевые слова: универсальная алгебраическая геометрия, натуральные числа, радикал.
Введение
Алгебраическая геометрия над полем является одной из классических математических дисциплин. В ней изучаются решения систем
алгебраических (полиномиальных) уравнений над полем k. Подмножества пространства k n , являющиеся решениями систем уравнений,
называются алгебраическими. Радикал алгебраического множества Y,
определяемый как совокупность уравнений, удовлетворяющих всем
точкам Y, полностью определяет множество Y. Следовательно, классификация алгебраических множеств (основная задача алгебраической геометрии) может быть заменена на эквивалентную ей задачу
классификации радикалов.
В связи с этим особую важность приобретает задача построения
радикала алгебраического множества, заданного системой уравнений
S. Для алгебраически замкнутого поля k данная задача решается с
помощью теоремы Гильберта о нулях (Nullstellensatz).
и
Теорема.
Пусть
k-алгебраически
замкнутое
поле
S = { f i ( X ) = 0 | f i ( X ) ∈ k [ X ]} –конечная система алгебраических уравнений с решением Y. Уравнение f ( X ) = 0 принадлежит радикалу
множества Y тогда и только тогда, когда существует натуральное
число m и многочлены gi ( X ) ∈ k [ X ] такие, что
f m ( X ) = ∑ gi ( X ) f i ( X ) .
Понятие уравнения и решения можно определить не только для
поля, а для произвольной алгебраической системы в языке без предикатов (см.: [1; 2]). В данной работе мы рассматриваем уравнения над
аддитивным моноидом натуральных чисел N , которые уже изучались
нами в [3–5]. Для систем уравнений над N мы решаем две алгоритмические проблемы. Во-первых, мы приводим алгоритм разложения
алгебраического множества над N в конечное объединение неприводимых алгебраических множеств. Второй алгоритм решает проблему
вычисления радикала системы S над моноидом натуральных чисел,
а именно: по заданной системе уравнений S над N мы строим систе© А.Н. Шевляков, 2011
А.Н. Шевляков
50
му уравнений S такую, что радикал системы уравнений S совпадает с конгруэнтным замыканием системы S .
Алгоритмические проблемы для моноида N изучались в целом ряде работ. К
настоящему времени известно несколько
алгоритмов, вычисляющих полное множество решений систем линейных уравнений над N [6–10]. В статье [11] предложен
критерий совместности систем линейных
уравнений над N.
Зная полное множество системы S
над N, нетрудно получить радикал системы S как множества уравнений, удовлетворяющих всем точкам из решения. Однако такой алгоритм является достаточно
сложным, поскольку связан с переходом
от уравнений к их решениям, а затем от
решений обратно к удовлетворяющим им
уравнениям. В настоящей работе предложен алгоритм вычисления радикала над
N, оперирующий только уравнениями
системы S и являющийся более простой
процедурой по сравнению с алгоритмами,
использующими полное множество решений над N.
Алгебраическая геометрия
над моноидом натуральных чисел
Пусть N – множество натуральных
чисел с определенной на них операцией
сложения. Мы будем рассматривать N как
алгебраическую
систему
языка
L = {+,0,1,...} с операцией + и константами 0,1… Уравнением над N будем называть атомарную формулы языка L. Непосредственно проверяется, что любая атомарная формула над N эквивалентна выражению вида
β1 x1 + β 2 x2 + … + β n xn + a =
= γ 1 x1 + γ 2 x2 + …+ γ n xn + a ′,
(1)
где a, a′ ∈ N , и выражения β i xi (γ i xi ) слу-
жат для сокращения суммы переменной
x, взятой β i ( γ i ) раз. Так как моноид N
является моноидом с сокращениями, то
можно считать, что для коэффициентов
формулы (1) выполнено соотношение: если β i ≠ 0, то γ i = 0.
В своей работе уравнения над N мы
будем записывать в виде
α1 x1 + α 2 x2 + …+ α n xn = a
(2)
с целыми коэффициентами α i , a. Выражение (2) является формальной записью
уравнения (1), в котором все переменные
из правой части перенесены в левую с
противоположными знаками.
Произвольную совокупность уравнений над N будем называть системой
уравнений (системой) над N . Линейную
комбинацию
для
α1 x1 + α 2 x2 + …+ α n xn
краткости будем называть термом и обозначать с помощью греческих букв τ , σ ,...
Решение системы уравнений S определяется естественным образом и обозначается через VN ( S ) .
Множество Y ⊆ N n называется алгебраическим, если существует система
уравнений S с решением Y. Непустое алгебраическое множество называется неприводимым, если его нельзя представить
в виде конечного объединения алгебраических множеств. Пусть алгебраическое
множество Y представимо в виде объединения
неприводимых
множеств
Y1 , Y2 ,...,Ym , тогда множества Yi мы будем
называть неприводимыми компонентами
множества Y.
Радикал алгебраического множества Y
(обозначается Rad N (Y ) ) определяется как
множество всех уравнений (следствий),
удовлетворяющих всем точкам множества Y. Для системы уравнений S понятие
радикала определяется как Rad N ( S ) =
= Rad N (VN ( S )).
В [1] было сформулировано понятие
конгруэнтного замыкания системы уравнений. Пользуясь результатами [5], мы
дадим эквивалентное ему (над N) определение.
Множество всех линейных комбинаций уравнений системы S, взятых с рациональными коэффициентами, будем
называть конгруэнтным замыканием
системы S и обозначать через S .
Замечание. Не любая линейная комбинация уравнений над N, взятых с рациональными коэффициентами, имеет
вид (2). Поэтому под линейной комбинацией уравнений системы S, взятых с рациональными коэффициентами, мы будем понимать уравнение вида (2), полученное приведением всех коэффициентов
к общему знаменателю.
Конгруэнтное замыкание содержит
лишь элементарные следствия из системы
уравнений S, поэтому справедливо включение
S ⊆ Rad N ( S ).
(3)
Nullstellensatz для моноида натуральных чисел
Из теорем линейной алгебры следует,
что если мы будем рассматривать системы уравнений вида (2) над полем рациональных чисел Q , то будет справедливо
равенство
S = Rad Q ( S ).
(4)
51
P1 = ( p11 , p12 ,…, p1nτ ),
P2 = ( p21 , p22 ,…, p2 nτ ),
...
Pl = ( pl1 , pl 2 ,…, plnτ )
Переменную x системы S будем называть фиксированной, если радикалу системы S принадлежит уравнение вида
– все решения уравнения τ ( X ) = a в натуральных числах. Тогда каждую систему
S ′ ∈ L заменяем набором систем уравнений S1 , S2 ,…, Snτ , где
Пусть S – некоторое множество уравнений. Уравнение вида τ ( X ) = a будем
Si = S ′ ∪ {x1τ = pi1 , xτ2 = pi 2 ,..., xτn = pi1} .
x = a, a ∈ N .
называть вырожденным в S, если в нем
все переменные нефиксированные в S и
все коэффициенты перед переменными
неотрицательны. Например, вырожденными являются уравнения x + y = 1,
x + y + 2 = 0.
Вырожденные
уравнения
играют
важную роль в описании неприводимых
множеств над N , а именно справедлива
следующая теорема.
Теорема 1 [4]. Совместная над N
система уравнений S определяет неприводимое алгебраическое множество и
S = Rad N ( S ) тогда и только тогда, когда
радикал Rad N ( S ) не содержит вырожденных уравнений.
Процедура нахождения
неприводимых компонент
алгебраического множества над N
Вход: конечная система уравнений S
над N .
Выход:
множество
таких,
что
систем
L = {S1 , S2 ,..., Sk }
VN ( S ) =
= VN ( S1 ) ∪ VN ( S2 ) ∪ ... ∪ VN ( Sk ) и множества
VN ( Si ) неприводимы. В случае несовме-
стности системы S над N множество L
пусто.
Шаг 0. Полагаем L = {S }.
Шаг 1. Находим вырожденное уравнение τ ( X ) = a , принадлежащее радикалам
всех систем уравнений из L. Если такого
вырожденного уравнения нет, то переходим на шаг 3. Если уравнение τ ( X ) = a
несовместно над N , то полагаем L = ∅, и
процедура заканчивает свою работу.
Шаг 2. Пусть X τ = {x1τ , xτ2 ,..., xτnτ } –
множество переменных, входящих в вырожденное уравнение τ ( X ) = a с положительными коэффициентами, и
Возвращаемся на шаг 1.
Шаг 3. Из множества систем уравнений L исключаем все несовместные над
целыми числами Z системы уравнений.
Процедура заканчивает свою работу, и в
качестве ответа возвращается полученное
множество L.
Рассмотрим работу процедуры на следующем примере. Пусть дана система
уравнений
S = {x + y + z = 1, x + 2u = 2v, u + 2v = 2 y + z}.
Радикалу S, очевидно, принадлежит
вырожденное
уравнение
x + y + z = 1,
имеющее три решения (1,0,0), (0,1,0),
(0,0,1). Тогда во множество L вместо систе-
мы S добавляются следующие три системы
(для простоты вместо переменных, входящих в вырожденное уравнение, мы будем
сразу подставлять их новые значения):
⎧ x = 1, y = 0, z = 0,
⎪
S1 = ⎨ 1 + 2u = 2v,
⎪ u + 2 w = 0,
⎩
⎧ x = 0, y = 1, z = 0,
⎧ x = 0, y = 0, z = 1,
⎪
⎪
S2 = ⎨
2u = 2 v ,
S3 = ⎨
2u = 2 v ,
⎪ u + 2 w = 2,
⎪ u + 2 w = 1.
⎩
⎩
Третье уравнение в системах S1 , S2 , S3
вырожденное,
следовательно,
S1 , S3 мы добавляем системы
вместо
⎧ x = 1, y = 0, z = 0,
⎧ x = 0, y = 0, z = 1,
⎪
⎪
S11 = ⎨
1 = 2v ,
S31 = ⎨
2 = 2v ,
⎪ u = 0, w = 0.
⎪ u = 1, w = 0.
⎩
⎩
Система S 2 дает две новых системы
уравнений
⎧ x = 0, y = 1, z = 0,
⎧ x = 0, y = 1, z = 0,
⎪
⎪
S21 = ⎨
4 = 2v,
S22 = ⎨
0 = 2v ,
⎪ u = 2, w = 0,
⎪ u = 0, w = 1.
⎩
⎩
А.Н. Шевляков
52
Система S11 несовместна, оставшиеся
системы уравнений определяют одноточечные множества. Таким образом, решение системы S равно объединению решений систем S31 , S21 , S22 и представляет
собой множество, состоящее из трех точек,
{x = y = w = 0, z = u = v = 1} ∪
∪{x = z = u = w = 0, v = 2, y = 1} ∪
∪{x = z = u = v = 0, y = w = 1}.
Перейдем к теоретическому обоснованию изложенной выше процедуры. Для
этого необходимо доказать:
1) правильность работы, т. е. соответствие выходных данных процедуры заявленной спецификации;
2) конечность времени работы;
3) рекурсивность, т. е. реализуемость
процедуры в виде программы на вычислительной машине.
Правильность работы процедуры следует из результатов работы [4], где были
доказаны следующие утверждения.
Лемма 2 [4]. Решение исходной системы S равно объединению решений систем уравнений из множества L
VN ( S ) = VN ( Si ).
(5)
∪
Si ∈L
Кроме того, все системы уравнений
из L определяют неприводимые множества.
Лемма 3 [5]. Пусть система AX = b
совместна над целыми числами, но несовместна над N . Тогда существует вырожденное уравнение τ ( X ) = a , принадлежащее
конгруэнтному
замыканию
системы AX = b и несовместное над N .
Следовательно, для несовместной над
N системе S на некоторой итерации процедуры на шаге 1 будет выбрано несовместное уравнение τ ( X ) = a , что влечет
L = ∅. Это означает, что при выполнении
шага 3 каждую систему из множества L
достаточно проверить на совместность
над целыми числами, поскольку несовместность системы над N распознается на
шаге 1.
Конечность работы процедуры следует из строгого возрастания на каждой
итерации числа фиксированных переменных.
Докажем рекурсивность процедуры
построения неприводимых компонент для
алгебраического множества, заданного
системой уравнений S . Очевидно, что
для этого достаточно показать рекурсив-
ность всех шагов процедуры. Рассмотрим
шаги процедуры в следующей последовательности: 2, 3, 1.
Так как все координаты всех решений
вырожденного уравнения τ ( X ) = a ограничены, то они могут быть найдены с помощью перебора векторов ( x1τ , x2τ ,… xτnτ ) с
натуральными координатами xiτ ≤ a . Следовательно, шаг 2 рекурсивен.
Шаг 3 связан с проверкой совместности системы уравнений Si ∈ L, определяющей неприводимое алгебраическое
множество над Z . Запишем систему Si в
виде AX = b , где вектор b и матрица A
состоят из целых чисел.
Проверка совместности системы линейных уравнений над целыми числами
алгоритмически разрешима, что следует
из следующей известной теоремы целочисленного программирования.
Теорема 4 [12]. Пусть матрица A состоит из m строк и n столбцов ( n ≥ m ).
Введем следующие обозначения:
M 0 = {определители всех матриц
размера m × m, составленных из столбцов матрицы А},
M 1 = {определители всех матриц
размера m × m, составленных из столбцов расширенной матрицы ( A | b ) }.
Пусть строки матрицы A линейно
независимы над полем рациональных чисел. Система Ax = b имеет целочисленное решение тогда и только тогда, когда
наибольший общий делитель множества
M 0 равен наибольшему общему делителю множества M 1.
Таким образом, мы доказали, что шаг
3 в процедуре рекурсивен.
Рассмотрим шаг 1 процедуры. Ввиду
формулы (5) мы имеем
Rad N ( S ) = ∩ Si ∈L Rad N ( Si ),
(6)
поэтому уравнение τ ( X ) = a принадлежит
радикалу системы S .
Следующая лемма позволяет искать
вырожденное уравнение τ ( X ) = a в конгруэнтном замыкании системы S.
Лемма 5 [4]. Пусть вырожденное
уравнение τ ′( X ) = a ′ принадлежит радикалу системы S. Тогда конгруэнтное за-
Nullstellensatz для моноида натуральных чисел
мыкание
S
содержит
вырожденное
уравнение τ ( X ) = a.
Докажем рекурсивность поиска вырожденного уравнения τ ( X ) = a в конгруэнтном замыкании
S . Пусть система
S задана в виде линейных уравнений
AX = b с целыми коэффициентами. Обозначим через S0 однородную систему
AX = 0, соответствующую системе S .
53
t
Если в матрице A системы (7) существует хотя бы один отличный от нуля
′
минор Δ (необязательно порядка r–1),
удовлетворяющий этому условию, то
система (7) имеет ненулевые решения.
Данная теорема позволяет эффективно найти ненулевое решение системы (7):
1. Последовательно перебираем все
t
миноры матрицы A .
2. Для каждого минора
am1n1
Задача поиска вырожденного уравнения τ ( X ) = a ∈ S сводится к поиску
рациональных чисел α i , 1 ≤ i ≤ m
что линейная комбинация уравнений системы S , взятых с коэффициентами α i
равна τ ( X ) = a.
Заметим, что однородное уравнение
τ ( X ) = 0 принадлежит конгруэнтному замыканию системы
S0
Δ′ = ...
aml n1
таких,
t
Δ j (Δ) =
тогда, когда τ ( X ) = a ∈ S . Следователь-
комбинация уравнений системы S0 , взятых с коэффициентами yi , является
уравнением с неотрицательными коэффициентами. Таким образом, задача сводится к поиску рационального ненулевого
решения следующей системы однородных
неравенств
AtY ≥ 0.
(7)
Если ранг матрицы At меньше чем
число неизвестных m, то система уравнений AtY = 0 определяет ненулевое векторное пространство. Очевидно, что поиск
ненулевой точки в таком пространстве
алгоритмически разрешим.
Рассмотрим случай, когда ранг матрицы At совпадает с числом неизвестных m.
Теорема 6 [13]. Пусть ранг r матрицы At системы (7) больше единицы и совпадает с числом неизвестных в ней. Если
система имеет ненулевые решения, то в
t
матрице A существует такой отличный от нуля минор Δ r–1-го порядка, что
среди определителей, полученных окаймлением Δ с помощью хотя бы одного не
t
входящего в него столбца матрицы A ,
не встречаются определители противоположных знаков.
... ... ≠ 0
... aml nl
порядка l ищем столбец матрицы A такой, что все окаймляющие миноры
тогда и только
но, достаточно найти такие рациональные числа Y = ( y1 , y2 ,..., ym ), что линейная
... am1nl
am1n1
... am1nl
am1n′
...
aml n1
... ...
... aml nl
...
aml n′
a jn1
...
a jnl
a jn′
либо
неположи-
либо неотрицательны,
тельны при j = 1,2,..., m.
(8)
3. Пусть все миноры Δ j ( Δ ) неотрицательны (аналогично рассматривается случай Δ j ( Δ ) ≤ 0 ). Также будем считать, что
′
минор Δ образован первыми l строками и
столбцами матрицы A и n ′ = l + 1. Пусть
t
Y = ( y1 , y2 ,..., ym ) , где координата yi при
1 ≤ i ≤ l + 1 равна определителю, составленному из первых l строк и столбцов с
номерами 1,2,..., i − 1, i + 1,..., l + 1 и взятому
со знаком ( −1) l +i +1 ; при i > l + 1 полагаем
yi = 0.
Покажем, что найденный на третьем
шаге вектор неизвестных Y будет ненулевым решением системы однородных неравенств.
Поскольку y1 = Δ ≠ 0 , то вектор Y содержит ненулевые координаты. Пусть
a1 j y1 + a2 j y2 + … + amj ym ≥ 0 – произвольное
неравенство системы (7). Подставляя вместо переменных выбранные выше значения, получаем разложение минора Δ j ( Δ )
по последней строке. Поскольку Δ j ( Δ ) ≥ 0 ,
то числа yi удовлетворяют рассматриваемому неравенству. Рекурсивность шага 1
процедуры доказана.
А.Н. Шевляков
54
Процедура вычисления радикала
Вход: конечная система уравнений S
Si ∈ L совпадает с радикалом
Rad N ( Si ) . По формуле (6) получаем равен-
ний
над N .
Выход: конечная система уравнений
ство
S со свойством S = Rad N ( S ) .
Шаг 1. Для системы S запустить про-
и поэтому
Rad N ( S ) = ∩ Si ∈L Si ,
τ ( X ) = a ∈ ∩S ∈L Si
i
(9)
.
цедуру вычисления неприводимых компонент множества VN ( S ). Получить множество систем уравнений L.
Шаг 2. Если множество L пусто, то
полагаем S = {0 = 1} , и процедура заканчивает свою работу.
Шаг 3. Пусть множество L состоит из
систем S1 , S2 ,…, Sm , и x1 , x2 ,…, xl – фиксированные переменные систем уравнений
из множества L. Обозначим через Pi ∈ N l
( 1 ≤ i ≤ m ) точки с l координатами, составленные из значений фиксированных переменных в системе Si . Множество точек
Разобьем множество переменных X на
два множества: X 0 = { x1 , x2 ,…, xl } – мно-
Pi определяет линейное многообразие W в
π ( X 0 ) + τ 1 ( X 1 ) = a′ ∈ S ,
пространстве Q l (Q – множество рациональных чисел). Пусть S – система уравнений от переменных x1 , x2 ,…, xl , задающая многообразие W в пространстве Q l .
Полагаем, S = S ∪ S . Процедура заканчивает свою работу.
Для описанной выше процедуры необходимо доказать:
1) правильность работы, т. е. результат
S
всегда
обладает
свойством
S = Rad N ( S ) ;
2) рекурсивность, т. е. реализуемость
процедуры в виде программы на вычислительной машине.
Докажем сначала рекурсивность. Рекурсивность шагов 1, 2 была доказана
выше. Построение системы уравнений S
на шаге 3 является стандартным алгоритмом линейной алгебры задания линейного
пространства,
порожденного
фиксированными точками Pi .
Докажем правильность работы процедуры.
Пусть τ ( X ) = a – произвольное уравнение (необязательно вырожденное), принадлежащее радикалу системы S. Докажем, что τ ( X ) = a ∈ S .
Из теоремы 1 следует, что конгруэнтное замыкание каждой системы уравне-
жество фиксированных переменных и X 1
– все остальные переменные систем из
множества L.
Пусть уравнение τ ( X ) = a явно зависит от переменных множества X 1 , запишем его в виде
τ 0 ( X 0 ) + τ 1 ( X 1 ) = a ∈ ∩ S ∈L Si .
i
(10)
Поскольку системы множества L отличаются от S лишь добавлением равенств
вида x = b, b ∈ N для всех x ∈ X 0 , то существует уравнение
содержащее терм
(11)
τ 1 ( X 1 ) . Из соотношений
(10) и (11) следует, что уравнение
τ 0 ( X 0 ) − π ( X 0 ) = a − a′,
(12)
зависящее только от переменных множества X 0 , принадлежит радикалу системы
S. Если мы докажем, что уравнение (12)
принадлежит конгруэнтному замыканию
системы S , то уравнение (10), являющиеся суммой (11) и (12), также будет принадлежать множеству S .
Действительно, уравнение (12) удовлетворяет всем точкам Pi , 1 ≤ i ≤ m и поэтому принадлежит радикалу линейного
многообразия W, определенного системой
S , в пространстве Q l . Поскольку радикал
любой системы линейных уравнений над
полем Q совпадает с конгруэнтным замыканием, то получаем
τ 0 ( X 0 ) − π ( X 0 ) = a − a′ ∈ S .
ЛИТЕРАТУРА
[1] Daniyarova E., Miasnikov A., Remeslennikov V.
Unification theorems in algebraic geometry // Algebra and Discrete Math. 2008. № 1. Р. 80–112,
arXiv:0808.2522v1 [math.AG].
[2] Daniyarova E., Miasnikov A., Remeslennikov V.
Algebraic geometry over algebraic structures II:
Foundations. 2010, arXiv:1002.3562v1 [math.AG].
[3] Morar P., Shevlyakov A. Algebraic Geometry over
the Additive Monoid of Natural Numbers: Systems
of Coefficient Free Equations // Combinatorial and
Nullstellensatz для моноида натуральных чисел
[4]
[5]
[6]
[7]
Geometric Group Theory: Dortmund and Carleton
Conferences, 2010. Р. 261–278.
Шевляков А. Н. Алгебраическая геометрия над
моноидом натуральных чисел. Неприводимые
алгебраические множества // Труды Института
математики и механики УрО РАН. 2010. 16(4).
2010. С. 258–269.
Shevlyakov A. Algebraic geometry over the additive monoid of natural numbers: The classifcation
of coordinate monoids // Groups, Complexity and
Cryptology. 2010. 2(1). Р. 91–111.
Contenjean E., Devie H. Solving systems of linear
Diophantine equations // Proc. 3rd Workshop on
Unification, University of Kaiserslautern, Lambrecht, 1989.
Domenjoud E. Outils pour la deduction automatique dans les theories associativescommutatives, Ph. D. Thesis, Universite de
Nancy I, 1991.
55
[8] Clausen M., Fortenbacher A. Efficient solution of
linear Diophantine equations // J. Symbolic Computation, 8, Nos. 1, 2. 1989. Р. 201–216.
[9] Clausen M., Fortenbacher A. Efficient solution of
linear Diophantine equations // J. Symbolic Computation, 8, Nos. 1, 2. 1989. Р. 201–216.
[10] Filgueiras M., Tomas A. P. A fast method for finding the basis of nonnegative solutions to a linear
Diophantine equation // J. Symbolic Computation,
19. 1995. № 2. Р. 507–526.
[11] Kryvyi S. L. Compatibility of systems of linear
equations over the set of natural numbers // Cybernetics and Systems Analysis. V. 38. 2002.
№ 1. Р. 17–28.
[12] Ковалёв М. М. Целочисленное программирование. М. : УРСС, 2003. 192 с.
[13] Черников С. Н. Однородные линейные неравенства // Успехи мат. наук. Т. XII. 1957.
Вып. 2(74). С. 187–192.
Документ
Категория
Без категории
Просмотров
3
Размер файла
436 Кб
Теги
nullstellensatz, натуральних, моноиды, чисел
1/--страниц
Пожаловаться на содержимое документа