не принадлежащая H. Можно считать, что a и b неотрицательны; действительно, вместе с матрицей A не принадлежат H матрицы AP i, i = 0; 1; 2; 3, равные соответственно
c d d c c d d c |
a b ; |
b a ; |
a b ; |
b a ; |
и у одной из них верхняя строка состоит из неотрицательных элементов. Далее, выберем матрицу A с неотрицательной верхней строкой
так, чтобы сумма a + b была наименьшей возможной. Если a b, b 6= 0, то матрица с неотрицательной верхней строкой
c d 1 |
1 c d |
d |
AU 1 = a b 1 |
0 = a b |
b |
тоже не принадлежит H, и сумма элементов е¼ верхней строки a меньше, чем a+b. Если же a b, a 6= 0, то матрица с неотрицательной верхней строкой
c d 0 |
1 c c + d |
AV 1 = a b 1 |
1 = a a + b |
тоже не принадлежит H, и сумма элементов е¼ верхней строки b меньше, чем a+b. В обоих случаях получается противоречие с мини-
мальностью суммы элементов верхней строки. Таким образом, одно из чисел a; b равно 0; поэтому определитель 1 матрицы A делится на
другое из этих чисел, и оно может быть равным только числу 1. Учи- тывая, что определитель матрицы A равен 1, получаем, что матрица
A может иметь только один из видов
Но мы видели, что все эти матрицы принадлежат H.
В свободном произведении циклических групп порядков 2 и 3, порожденных элементами p и q соответственно, всякое непустое неприводимое слово имеет вид ps0qt1 pqt2 : : : pqtn ps, s0; s = 0; 1, ti = 1; 2, n > 0, или сводится к единственной букве p. Для того, чтобы доказать, что
группа PSL(2; Z) является свободным произведением этих подгрупп,
достаточно показать, что всякое такое непустое слово не превращается в группе PSL(2; Z) в единичный элемент. Поскольку p нееди-
ничный элемент группы PSL(2; Z), остается показать, что при n > 0 в этой группе ps0qt1 pqt2 : : : pqtn ps 6= e, òî åñòü ÷òî
pqt1 pqt2 : : : pqtn 6= pk (k = 1 s0 s);
èëè, ÷òî òî æå, P Qt1 : : : P Qtn 6= P k в группе матриц SL(2; Z). Напомним, что мы обозначили матрицы P Q, P Q2 через U и V , так что