Лекція 4

Здобування кваратних коренів у деяких алгебраїчних системах

Квадратичні лишки

Означення 4.1 Нехай p¿ 2 – просте число. аZ називається

квадратичним лишком за mod p, якщо а ≠0 mod p і існує таке bZ, що
a=b2 mod p. В цьому випадку число b називають квадратним коренем із a за
модулем p.

Цілі числа, що не діляться на p і не є квадратичними лишками за модулем

p, називають квадратичними нелишками за модулем p.

Квадратичні лишки (нелишки), що належать Fp*, називаються зведеними

квадратичними лишками (нелишками). Множину зведених квадратичних
лишків за модулем p позначатимемо Qp. Зрозуміло, що х – квадратичний лишок
(нелишок) за модулем p тоді й тільки тоді, коли х mod p – зведений
квадратичний лишок (нелишок) за модулем p. Тому далі ми здебільшого
будемо вивчати зведені квадратичні лишки (нелишки).

Твердження 4.1 а – квадратичний лишок за mod p тоді і тільки тоді, коли

а(р-1)/2= 1 mod p.
У полі Fp існує (р-1)/2 квадратичних лишків за mod p.

Нехай аFp *. За малою теоремою Ферма а(р-1) = 1 mod p. Так як р –1 –

парне, то

а(р-1) – 1 = (а(р-1)/2 –1) (а(р-1)/2 +1) =0 mod p.

Поліном степеня п над полем має не більше за п коренів, тому існує не більше
за (р-1)/2 таких aFp *, що
 а(р-1)/2=1 mod p (4.1)

і не більше за (р-1)/2 таких aFp *, що

а(р-1)/2= -1 mod p. (4.2)

А так як для усіх р-1елементів Fp * виконується мала теорема Ферма, то рівно

для (р-1)/2 елементів Fp * виконується (4.1) і для (р-1)/2 елементів Fp *
виконується (4.2). Якщо а – квадратичний лишок, то а(р-1)/2= bр-1=1 mod p. 

Таким чином, у Fp* рівно половина елементів - квадратичні лишки і

половина - квадратичні нелишки.

Для практичних потреб потрібний критерій розпізнавання квадратичних

лишків. Це допомогає зробити символ Лежандра.
a
Означення 4.3 Символ Лежандра ( p ), де а – ціле, а p¿ 2 – просте числа
визначається співвідношенням:

a
( p )= 1, якщо а – квадратичний лишок;
a
( p )= - 1, якщо а – квадратичний нелишок; (4.3)
a
( p )= 0, якщо а ділиться на p.
Інакше можна сказати, що
a
( p )= а(р-1)/2 mod p, (4.4)

якщо aFp*.

Властивості символа Лежандра

1
1. ( p )= 1;
−1
2. ( p )= (-1) (р-1)/2;
 a b
3. Якщо а ≡b mod p, то ( p )= ( p );

ab a b
4. ( p )= ( p )∙( p );
2
ab b
5. ( p ) = ( );p

2 p 2−1

6. ( ) = (-1)
p 8
;
p ( p−1) ( q−1)
q
7. Якщо p, q   2 –різні прості, то ( ) = (-1)
q 2 2
( ).
p