Ученые записки математических кафедр вып. 1970 г.

0J - —ЭаТ* 3, Т 1 + С3 => 0 . (50) На каждой конгруэнции семейства будем считать £ ” * 0 . Инвариан­ ты 3, я 3 , t связанные с конгруэнцией и рассмотренные автором в работе t i ] V имеют в данном случае следующее значение 1 _ [оЛ оП - Ccc*cof3 Г “ 1 ” [ í o f o j » ] " Г ' 1 i = _ v [ oj ' uí ,1] + [u>, a * 4 trM ~ 3, ' (51) (52 ) Таким образом. Э, - 5, = Ч + V, , Э ^ - З Д =» —( V, +- V,) <л <1 (ч*. +N',1 = - уа (X _+ ч у . ДОСТАТОЧНОСТЬ. По условию комплекс расслаивается в однопа­ раметрическое семейство таких конгруэнций, для которых За= Д + ^ ) = = Е1* Отсюда [г* т3-Я,т"] . 0. * Следовательно? Т4- э4т* = Лг* (53) В силу равенства Э4= _ (V, +V*) = - За3, = - За = кр-, имеем (54) Так как Формы Т< и Тг линейно независимы, то из (53-54) заключаем, что любая конгруэнция семейства удовлетворяет уравнению /