Bu zor bir soru, ancak örnek verebilirim.
q≡3,7(mod8) bir asal olsun, p=2q+1 de bir asal olsun.
Z/pZ halkasının eleman sayısı p−1=2q, Burada ¯2∈Z/pZ elemanının derecesi ya q ya da 2q (2 olamaz, o şerefe −1≡2q nail). Biz (nedense) ilk durumun olmasını istiyoruz. Demek ki 2q≡1(modp) ama ayni zamanda
2p−12≡(2p)(modp).Ancak sağdaki elemanın ne olduğunu biliyoruz.
(2p)={1 if p≡1,7(mod8),−1 if p≡3,5(mod8).Demek ki
p≡1,7 olan Sophie Germain asalları istediğiniz özelliği sağlıyor.
7=2⋅3+1 olduğundan bir Germain asalı, ve modülo
8 istediğimiz kalan sınıfında.
Bir sonraki örnek de
23=2⋅11+1. Burada da
2'nin
11'inci kuvveti
1'e eşit olur.
Yalnız dikkat edin, tüm örnekleri verdiğimi iddia etmiyorum,
p=31 istediğiniz özelliği sağlar ama benim verdiğim formda değildir.