¼
 p(p-1)=1
 : [B0]  ,
где – группа функциональных преобразований порядка p-1, а последнее сравнение есть сама [B0].
В дальнейшем «:» будет означать не обязательно действие  -преобразования единовременно на все сомножители в левой части p-сравнений.
Все p-сравнения, выводимые из сравнения Ферма – [Ф0]:  ,
где  , назовем p-сравнениями типа [Ф].
Два не выводимых друг из друга никакими -группами преобразования p-сравнения типа [П] будем называть существенно различными p-сравнениями.
Достарыңызбен бөлісу: |
