текущим порядком (или просто порядком, если это не вызовет разночтений). Пусть дано некоторое p-сравнение:
 (4)
p-сравнение типа [П] (произведение).
Замечание (о порядке группы  ). Если k – порядок этой группы, тогда полученное сравнение имеет правую часть, равную  , где l – правая часть начального сравнения (до преобразования).
Нас интересуют p-сравнения, в которых l=1 либо l=-1;  и  . Действуя над сомножителями (4) некоторой группой , получим сравнение подобного типа. Действительно, так как  из [П] Þ
 
где c – целое число,  либо l1=-1.
Всякие p-сравнения, выводимые таким образом из сравнения Вильсона будем называть p-сравнениями типа [B]. А само сравнение Вильсона:  обозначим [B0].
Достарыңызбен бөлісу: |
