Мундарижа. 1-боб. Арифметик прогрессиядаги туб сонлар

3-таъриф. нинг шартни қаноатлантирувчи барча қийматларида n нинг шартни қаноатлантирувчи қийматларида эса бўлган характерга k модули бўйича бош характер дейилади ва кўринишида белгиланади.

Юқоридаги 1- 3 таърифлардан да бўлса да ва , p модули бўйича бўлиши келиб чиқади.

Энди Дирихле характерларининг асосий хоссаларидан бири ортогоналлик хоссасини келтирамиз.

2-лемма. Ушбу

тенгликлар ўринли. Бу ерда йиғинди k модули бўйича барча та характерлар бўйича олинади.

Бу лемманинг исботи (1)- тенглик ва 1-3 таърифлардан келиб чиқади.