Легенда:
новое сообщение
закрытая нитка
новое сообщение
в закрытой нитке
старое сообщение
|
- Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
- Новичкам также крайне полезно ознакомиться с данным документом.
Предлагается к обсуждению новая редакцич статьи. 24.04.02 03:57 Число просмотров: 2877
Автор: Экспертик Статус: Незарегистрированный пользователь Отредактировано 24.04.02 04:00 Количество правок: 1
|
Доброго времени дня.
> Здравствуйте, > > Извините за небрежность. > > > Утверждение 3 (об отсуствии p-y) слишком вольно > толкует > > св-ва мультипликативных подгрупп. > > Ну к чему эти мелкие (не изменяющие результат) придирки, > ведь очевидно, что подруппа a^x mod p - циклическая (a, > a^2, ..., a^n, ..., a^q ==1), я же не статью пишу, а на > форуме болтаю (комментарии высказываю :).
IMHO, На "мелочах" горит большинство доказательсв :)
Суть возражения была в другом.
Ваше утверждение 3 ( об отсутствии p-y) сводится к утверждению, что при a^q%p==1 (q<p) отсутствуют x0, x1 при которых a^x0+a^x1 кратно p.
Я не вижу как одно следует из другого.
IMHO, можно утверждать очень малую вероятность их существования, но не полное отсуствие.
a^x0 %p ==p- a^x1 %p
=> a^x0%p + a^x1 %p = p или a^x0+a^x1= ip
|
|
|